ru
Feedback
Machinelearning

Machinelearning

Открыть в Telegram

Погружаемся в машинное обучение и Data Science Показываем как запускать любые LLm на пальцах. По всем вопросам - @haarrp @itchannels_telegram -🔥best channels Реестр РКН: clck.ru/3Fmqri

Больше

📈 Аналитический обзор Telegram-канала Machinelearning

Канал Machinelearning (@ai_machinelearning_big_data) языкового сегмента Русский является активным участником. Сейчас сообщество объединяет 278 539 подписчиков, занимая 331 место в категории Технологии и приложения и 1 358 место в регионе Россия.

📊 Показатели аудитории и динамика

С момента создания невідомо проект демонстрирует стремительный рост, собрав аудиторию из 278 539 подписчиков.

Согласно последним данным от 06 октября, 2026, канал показывает стабильную активность. За последние 30 дней изменение числа участников составило -3 711, а за последние 24 часа — 142, при этом общий охват остаётся высоким.

  • Статус верификации: Не верифицирован
  • Уровень вовлечённости (ER): Средний показатель вовлечённости аудитории составляет 7.81%. В первые 24 часа после публикации контент обычно набирает 6.07% реакций от общего числа подписчиков.
  • Охват публикаций: В среднем каждый пост получает 21 740 просмотров. В течение первых суток публикация набирает 16 916 просмотров.
  • Реакции и взаимодействия: Аудитория активно поддерживает контент: среднее количество реакций на один пост — 157.
  • Тематические интересы: Контент сосредоточен на ключевых темах, таких как openai, claude, api, gemini, контекст.

📝 Описание и контентная политика

Автор описывает ресурс как площадку для выражения субъективного мнения:
“Погружаемся в машинное обучение и Data Science Показываем как запускать любые LLm на пальцах. По всем вопросам - @haarrp @itchannels_telegram -🔥best channels Реестр РКН: clck.ru/3Fmqri”

Благодаря высокой частоте обновлений (последние данные получены 07 октября, 2026) канал поддерживает актуальность и высокий уровень охвата публикаций. Аналитика показывает, что аудитория активно взаимодействует с контентом, что делает его важной точкой влияния в категории Технологии и приложения.

278 539
Подписчики
+14224 часа
-2547 дней
-3 71130 дней
Архив постов
✔️ Moonshot AI обсуждает размещение Kimi K3 у американских провайдеров Китайский стартап ведет переговоры с Microsoft, Amazon и Google о размещении флагманской Kimi K3 в Azure, AWS и Google Cloud. Moonshot хочет до 30% доходов с сервисов, построенных на K3. Переговоры на ранней стадии. Обсуждают, как делить выручку, кому будет открыт доступ к данным и как считать токены для выставления счетов. Контакты сторон идут на фоне давления американских регуляторов. Власти США обвиняют Moonshot в том, что компания обучала свою модель на ответах Fable 5 от Anthropic, а Минфин пригрозил ей торговым эмбарго. Moonshot отрицает, что использовала чужую интеллектуальную собственность. Microsoft, Google и AWS переговоры не комментируют. reuters.com ✔️ Google выпустила Gemini 3.5 Transcribe Модель распознает речь больше чем на 85 языках, вычищает слова-паразиты, давит фоновый шум и сама форматирует текст. Она подхватывает пользовательские словари, чтобы понимать сленг, не путается в буквенно-цифровых данных и умеет разбивать диалоги на реплики с таймкодами. Модель получила вызов функций - она может передавать задачи другим моделям семейства Gemini. Например, отправить им генерацию изображения или разбор файла. Модель работает через Gemini API в Google AI Studio. Ее уже встроили в клавиатуру Gboard для Android, в macOS-клиент Gemini и в корпоративную Enterprise Agent, на очереди Chrome.  blog.google ✔️ Anthropic свела память Claude и Cowork воедино То, что Claude запомнил о пользователе в одном интерфейсе, теперь работает и в другом. Причем память обновляется прямо по ходу разговора, а не пересобирается пересказом после его окончания. Управлять записями можно вручную - смотреть, править и удалять отдельные факты. По умолчанию Claude не запоминает данные о здоровье, религии и политических взглядах. Разрешить их сохранение можно в настройках - тогда о каждой такой записи система будет предупреждать. Новая память включена по умолчанию на тарифах Free, Pro и Max - в вебе, десктопных и мобильных клиентах. claude.com ✔️ Figure AI платит пользователям за видео для обучения роботов Компания выпустила на iOS и Android приложение Index. С помощью него люди снимают, как выполняют бытовые и рабочие задачи, и получают за ролики деньги. Данные идут на обучение модели Helix, которая управляет роботами Figure. За четыре месяца тестирования загрузили 16 млн видео и выплачено 15 млн долларов. Загруженное автоматически проверяется на брак и мошенничество, чистится от дублей и получает текстовые описания. На каждую тысячу часов приходится 373 типа задач и больше тысячи разных предметов, с которыми взаимодействует человек. В следующем году Figure собирается кратно нарастить сбор данных, а на выплаты и вычислительные мощности потратить больше миллиарда долларов. figure.ai ✔️ ElevenLabs представила функцию для редактирования фрагментов музыки Composer работает на модели Music v2 и правит трек по кускам, не перегенерируя его целиком. На вход идет аудиофайл, промпт или текст песни, дальше композиция сама разбирается на блоки - куплеты, припевы, переходы. Дальше можно переписать слова в одном куплете, поменять тональность припева или замедлить переход, не трогая остальное. Для любого фрагмента Composer генерирует несколько вариантов на выбор, а сами блоки можно дублировать, менять местами и растягивать, то есть пересобрать структуру песни целиком. Инструмент доступен на платформе ElevenMusic. ElevenLabs в X @ai_machinelearning_big_data #news #ai #ml

Как обеспечить непрерывность работы ИТ, когда условия постоянно меняются? Об этом будут говорить на IT Elements 2026 — четвертой бесплатной конференции для инженеров, архитекторов, ИТ- и ИБ-специалистов. Главная тема этого года — «Непрерывность 2.0. Новая надежда». За несколько лет инженерное сообщество накопило большой практический опыт: как строить новое, восстанавливаться после сбоев, защищать критические системы и находить решения там, где их раньше не было. Что ждет участников: 📌 100+ спикеров и практические инженерные кейсы; 📌 5 тематических треков — от строительства инфраструктуры до развития ИТ; 📌 технолаборатории и демозоны российских ИТ-решений; 📌 дискуссии с экспертами отрасли и нетворкинг; 📌 научно-популярный трек — о будущем ИИ, психологии, математике принятия решений и человеческом потенциале. 📅 9–10 сентября 📍 Формат: офлайн в Москве и онлайн 📣 Участие бесплатное. Успейте зарегистрироваться.

✔️ Китай наладил связь между Землей и Луной на скорости 100 Мбит/с Специалисты Китайской академии наук успешно протестировали
✔️ Китай наладил связь между Землей и Луной на скорости 100 Мбит/с Специалисты Китайской академии наук успешно протестировали оптический канал обмена данными на расстоянии свыше 400 000 километров. Эксперимент проводился с использованием окололунного спутника DRO-A. Команде удалось достичь скорости передачи команд от Земли к аппарату (uplink) на уровне 1,25 Мбит/с, тогда как скорость обратного потока телеметрии (downlink) составила 100 Мбит/с.
Подобная высокоскоростная двусторонняя лазерная связь развернута за пределами околоземной орбиты впервые.
Переход на эту технологию кардинально меняет пропускную способность каналов дальней космической связи. Для сравнения: передача одного снимка в разрешении 8K с лунной поверхности по традиционному микроволновому линку (около 5 Мбит/с) занимает до пяти минут. Новая лазерная система позволяет передать этот же объем всего за 12 секунд, что решает проблемы при отправке тяжелых научных данных на Землю. @ai_machinelearning_big_data #news #ai #ml

🚨 OpenAI признала серьёзный инцидент: исследовательские AI-агенты вышли за пределы тестовой среды и добрались до систем Hugg
🚨 OpenAI признала серьёзный инцидент: исследовательские AI-агенты вышли за пределы тестовой среды и добрались до систем Hugging Face. Во время внутренних тестов по кибербезопасности модели с ослабленными ограничениями: * нашли способы общаться друг с другом через инфраструктуру OpenAI * получили запрещённый доступ в интернет * использовали найденные уязвимости * выполнили код на десятках серверов Hugging Face * на одном сервере получили root-доступ * получили ограниченный доступ к закрытым данным и учётным данным OpenAI заявляет, что данные пользователей и работа её продуктов не пострадали. После расследования компания изолировала веса основной исследовательской модели, приостановила часть обучения новых моделей и усилила изоляцию, контроль доступа в интернет и автоматическое обнаружение опасного поведения. OpenAI называет произошедшее «предупредительным выстрелом»: современные AI-агенты уже способны самостоятельно находить слабые места в инфраструктуре и объединять усилия через неожиданные каналы. https://openai.com/index/hugging-face-incident-and-the-road-ahead/ @ai_machinelearning_big_data #openai

🔥 GLM-5.3-Flash официально доступна Новая модель Z.ai стала первой нативно мультимодальной моделью в серии GLM-5 и получила
🔥 GLM-5.3-Flash официально доступна Новая модель Z.ai стала первой нативно мультимодальной моделью в серии GLM-5 и получила архитектуру, заточенную под дешёвый длинный контекст. Главное: * 320B параметров, активны 18B * hybrid-архитектура: sparse attention + linear attention * attention compute снижен в 3,01 раза * KV-cache уменьшен в 4,44 раза * контекст до 1 млн токенов * нативная работа с изображениями и интерфейсами * подходит для coding, browser/GUI-задач, Blender, Office, research и работы с документами * в GLM Coding Plan даёт в 3 раза больше квоты, чем GLM-5.3 Model ID: glm-5.3-flash https://docs.z.ai/guides/vlm/glm-5.3-flash

⚡️ Анонимная Ox Alpha оказалась новой GLM Модель Ox Alpha появилась на OpenRouter в минувшие выходные в стелс режиме и сразу
⚡️ Анонимная Ox Alpha оказалась новой GLM Модель Ox Alpha появилась на OpenRouter в минувшие выходные в стелс режиме и сразу вышла на первое место по использованию, больше чем вдвое обогнав DeepSeek.
В OpenRouter называют этот запуск крупнейшим в истории площадки.
Сообщество вычислило автора раньше, чем тот представился по характерным ошибкам API и по устройству токенизатора - в Ox Alpha опознали почерк Zai. Признание компании догадку подтвердило - это новая версия GLM. Модель заточена под кодинг и сложные агентные задачи. Заодно она меняет прежнее деление линейки - раньше Zai держала отдельно текстовые GLM и визуальные GLM-V, а Ox Alpha мультимодальна. На OpenRouter модель бесплатна еще неделю, после чего Zai назовет коммерческие тарифы. Веса обещают выложить сегодня. @ai_machinelearning_big_data #news #ai #ml

⚡ Qwen показала Qwen3.8-Flash - мультимодальную MoE-модель и ранний превью архитектуры Qwen4. - 125B параметров + 51B N-gram
⚡ Qwen показала Qwen3.8-Flash - мультимодальную MoE-модель и ранний превью архитектуры Qwen4. - 125B параметров + 51B N-gram embeddings - активируется всего 6B параметров на токен - нативный контекст 262K, расширение до 1M через YaRN - новая архитектура: GDN + QSA hybrid attention, Gated Residual, N-gram Embedding и Muon optimizer - обучение обошлось примерно в 9 раз дешевле Qwen3.7-Plus Бенчмарки: - DeepSWE 1.1 - 58.7 - SWE-bench Pro - 62.5 - CoWorkBench - 73.9 - AndroidWorld - 84.5 - MathVision - 95.7 Продакшен-версия появится в QwenCloud: $0.16 / 1M входных токенов $0.47 / 1M выходных токенов Также Qwen открывает веса Qwen3.8-Flash-Next - ранней версии архитектуры, которую команда исследует для Qwen4. https://github.com/QwenLM/Qwen3.8-Flash-Next/blob/main/tech_report.pdf https://huggingface.co/Qwen/Qwen3.8-Flash-Next?spm=a2ty_o06.30285417.0.0.1d73c921FsyOPe&file=Qwen3.8-Flash-Next

✔️ OpenAI возвращает пятичасовой лимит подписчикам ChatGPT Plus С 26 августа для тарифа Plus снова заработает скользящее пятичасовое окно в ChatGPT Work и Codex. Руководитель Codex Тибо Соттьё объясняет это тем, что лимиты выравнивают нагрузку и не дают случайно спалить недельную квоту за одну сессию. Подписчиков Pro за 100 и 200 долларов изменение не касается - непрерывный доступ у них останется как минимум на несколько месяцев. В сообществе решение раскритиковали: одни жалуются на изменение условий после оплаты, другие - что выбирали Codex вместо Claude как раз ради долгих сессий, и теперь собираются пересматривать рабочий стек. Tibo в X ✔️ Google представила Gemini для юристов Gemini Enterprise for Legal подключается через коннекторы MCP к профильному софту: iManage, NetDocuments, DocuSign, Everlaw, RelativityOne и Thomson Reuters HighQ. Платформа разбирает контракты, ведет правовые исследования и следит за изменениями в нормативной базе. Права доступа при этом наследуются из корпоративных политик, которые у компании уже есть, отдельно раздавать их не нужно. Продукт пока в предварительном тестировании. Похожий инструмент Google уже запустила для финансового сектора, на очереди здравоохранение. google.com ✔️ NVIDIA показала Jetson Orin Nano 2 Вычислительный модуль рассчитан на дроны и устройства машинного зрения. Внутри восьмиядерный процессор Arm и 8 ГБ оперативной памяти, заявленная производительность - 78 TOPS. Габариты остались прежними, а инференс, по данным NVIDIA, идет вдвое быстрее, чем у версии Super - обновили тензорные ядра и подняли пропускную способность памяти. Прежнюю производительность модуль выдает при меньшем энергопотреблении. Через программный стек NVIDIA на модуле можно развернуть оптимизированные для edge-устройств визуальные и языковые модели семейств Cosmos, Nemotron, Gemma 4 и Qwen 3. В продажу Jetson Orin Nano 2 поступит в первой половине 2027 года. nvidia.com ✔️ Perplexity выпустила локального ассистента для устройств NVIDIA Portable Computer одной командой разворачивает инфраструктуру Perplexity на DGX Spark - планировщик задач, маршрутизатор и локальный поисковый индекс. Работает все на Qwen 3.8 27B и собственной PPLX 27B, следом добавят Nemotron 3.5 Lightning. Если задача сложная, локальный оркестратор может отправить запрос в одну из 15 облачных моделей. Наружу без явного разрешения пользователя не уходит ничего - это касается и коннекторов к Google Drive, Gmail, Slack и GitHub. Инструмент доступен подписчикам Pro и Max на Linux. Версию для Windows обещают в ближайшее время. Также в планах поддержка обычных ПК с видеокартами RTX. perplexity.ai ✔️ Anthropic отправила офис в Сан-Франциско на удаленку Компания временно перевела сотрудников головного офиса на удаленную работу - из-за возможной забастовки охранников, которых нанимает подрядчик Allied Universal. При этом в профсоюзе SEIU, представляющем охранников, планы на забастовку отрицают - голосование по этому вопросу даже не проводилось. Переговоры SEIU с охранными агентствами идут с апреля. Профсоюз добивается повышения зарплат, расширения медстраховки и профильного обучения. В ИИ-индустрии в целом обострилось внимание к физической безопасности - ранее в этом году с угрозами в свой адрес сталкивались сотрудники и Anthropic, и OpenAI. businessinsider.com @ai_machinelearning_big_data #news #ai #ml

✔️ OpenAI обещает лучший DevDay в истории компании Руководитель направления Codex Тибо Соттьё пообещал, что в этом году DevDa
✔️ OpenAI обещает лучший DevDay в истории компании Руководитель направления Codex Тибо Соттьё пообещал, что в этом году DevDay окажется лучшим за всю историю OpenAI.
Конференция пройдет 29 сентября в Сан-Франциско, открывающий кейноут покажут в прямом эфире.
Послужной список у DevDay говорит о том, что действительно есть чего ожидать: 🟢В 2023 году там показали GPT-4 Turbo, GPTs и Assistants API; 🟢В 2024-м - Realtime API, кеширование промптов и другие инструменты для разработчиков; 🟢В 2025-м - приложения в ChatGPT, AgentKit, API для Sora 2 и GPT-5 Pro, а заодно открыли Codex для всех. Что готовят в этот раз, Тибо не сказал. В комментариях вангуют релиз Astra, модель следующего поколения, обучение которой в конце июля OpenAI поставила на паузу. @ai_machinelearning_big_data #news #ai #ml

🔥 OpenAI показала первые результаты своего inference-чипа Jalapeño - и он обходит NVIDIA GB200/GB300 по ключевым метрикам. В
+2
🔥 OpenAI показала первые результаты своего inference-чипа Jalapeño - и он обходит NVIDIA GB200/GB300 по ключевым метрикам. В тестах на GPT-OSS 120B, DeepSeek R1 670B и Kimi K2.5 1T: - в 1,5-1,9× выше производительность на ватт - в 1,7-3,6× ниже end-to-end latency - до 4,1× выше скорость в интерактивных сценариях - до 1459 токенов/с на пользователя на GPT-OSS 120B - до 700 токенов/с на DeepSeek R1 TDP Jalapeño - 700 Вт, но в тестах потребление не превышало 550 Вт. OpenAI планирует начать развёртывание чипа до конца 2026 года. Gen 2 уже в разработке, Gen 3 формируется. https://openai.com/index/jalapeno-first-results/

✔️ OpenAI усилила защиту в Codex в ответ на инциденты удаления файлов Руководитель Codex Тибо Соттьё подвёл итог изменениям п
✔️ OpenAI усилила защиту в Codex в ответ на инциденты удаления файлов Руководитель Codex Тибо Соттьё подвёл итог изменениям последних недель, которые снижают риск деструктивных действий Codex. 🟡Контекст
Месяц назад в сети появились жалобы на то, что GPT-5.6 в Codex делает с файлами то, о чем его не просили. Самый серьезный кейс - команда, которая должна была почистить за собой временные файлы, вместо этого удаляла файлы пользователя. В ходе разбора выяснили, что Codex создает временные папки и потом чистит их, и в редких случаях чистил неправильно - он переиспользовал под временную работу системную переменную окружения, а некорректная команда очистки затем указывала на настоящий домашний каталог вместо временной папки. Второй случай проще - модель удаляла или перезаписывала временный путь, не посмотрев, что там уже лежит.
По итогам расследования добавили дополнительную защиту на нескольких уровнях: 🟢Инструкции самой модели. Codex теперь обязан проверять, что именно он собирается удалить, заводить временные каталоги заново, не переиспользовать системные переменные окружения, выбирать обратимые действия и останавливаться, когда масштаб операции неясен. 🟢Проверки на исполнении. Механизм, который выявляет рискованные команды удаления и отправляет их на ревью, усилили. Если команду отклонили, модель направляют к более безопасному способу. 🟢Ужесточение Full access. Включить полный доступ случайно стало труднее, предупреждения переписали понятнее, а самые рискованные сочетания разрешений дополнительно ограничили. 🟢Обновленный Auto-review. Он стал лучше распознавать деструктивные действия. 🟢Тесты и обучение. OpenAI собрала условия и данные, воспроизводящие найденные сбои. Сейчас добавляются RL-задачи и грейдеры под эти риски, а деструктивные действия вычищаются из обучающих данных. 🟡Что советуют делать самим Обновлять Codex и работать в одном из режимов песочницы - Ask for approval или Approve for me. Full access включать только там, где среде можно доверять и откуда легко восстановиться. @ai_machinelearning_big_data #news #ai #ml

Когда Claude 23 минуты думает над задачей… а потом просто упирается в лимит сессии

✔️ Hugging Face прощупывает интерес покупателей Платформа для хостинга моделей и датасетов наняла банки, чтобы выяснить, готов ли кто-нибудь купить бизнес. Речь пока не о сделке - тестирование рынка может закончиться и новым раундом финансирования. По данным источников, сейчас компанию оценивают примерно в 1,3 млрд долларов, тогда как в 2023 году оценка доходила до 4,5 млрд, - за три года почти в три с половиной раза ниже. Наиболее вероятными покупателями называют нынешних инвесторов Hugging Face - Google, Amazon, Nvidia, Intel и Salesforce. bloomberg.com ✔️ Alibaba запустила видеогенератор Wan3.0 Модель собирает тридцатисекундные ролики из текстовых документов, таблиц, презентаций и веб-страниц. В новой версии лучше работают референсы и реконструкция реальных объектов, а базовая длина ролика выросла. Alibaba целится в производство рекламы, коротких сериалов и музыкальных клипов. До официального запуска модель была в открытой бете. Иностранцы получают доступ к API через Alibaba Cloud. Секунда видео стоит 10 центов в 720p и 20 центов в 1080p, то есть полный тридцатисекундный ролик в 1080p обойдется в 6 долларов. reuters.com ✔️ Antigravity теперь управляется с телефона Агентом можно рулить со смартфона или из браузера, ничего дополнительно не устанавливая. В интерфейсе видно сессии в реальном времени, туда же ставятся задачи и оттуда проверяются результаты. На телефон приходят уведомления, когда агент закончил работу или ждет от человека подтверждения. Подключиться можно сразу к нескольким машинам и быстро между ними переключаться, причем монитор хосту не нужен - Antigravity запускается и работает и без него. Обновление раскатывают постепенно, первыми его получают подписчики Google AI Ultra. antigravity.google ✔️ FDA впервые разрешило автономного робота для забора крови Американский регулятор выдал разрешение по процедуре системе Aletta голландского стартапа Vitestro. Робот делает всю процедуру сам: накладывает жгут, дезинфицирует кожу, находит вену, вводит иглу, меняет пробирки, убирает расходники и заклеивает прокол. Вены он ищет ближней инфракрасной съемкой, ультразвуком и допплерографией - ими же отличает вену от артерии. В клинических испытаниях на 1600 пациентах игла попадала с первой попытки в 94,5% случаев. Aletta рассчитана на амбулаторный прием взрослых. Один оператор может вести сразу три таких аппарата. fda.gov ✔️ В Южной Корее микроэлектроника догоняет медицину по конкурсу в ВУЗы На фоне ИИ-бума корейские абитуриенты пошли в микроэлектронику. По данным Jongno Academy, частного центра подготовки к поступлению, средний проходной балл на профильные специальности в ведущих вузах дошел до 96,2. Медицинские факультеты, где конкурс исторически самый высокий в стране, держат 97,2. Университеты вместе с Samsung Electronics и SK Hynix запускают целевые программы с гарантированным трудоустройством. А школьники, чтобы поступить на инженерные направления, все лето занимаются в специализированных центрах Сеула. ft.com @ai_machinelearning_big_data #news #ai #ml

Visual GenAI: открытый курс от Yandex Research и преподавателей ШАДа В открытом доступе появились материалы курса «Генеративн
Visual GenAI: открытый курс от Yandex Research и преподавателей ШАДа В открытом доступе появились материалы курса «Генеративные модели в компьютерном зрении». Курс посвящён современным генеративным моделям для изображений, видео и 3D. Что внутри: - Глубокая теоретическая база по диффузионным моделям - Эффективные техники обучения и сэмплирования  - Гибридные генеративные подходы на базе диффузии, которые используются сейчас в индустрии - Авторегрессионная визуальная генерация - Генерация видео, мультимодальные и 3D-модели Особенность курса — практические домашние задания, где рассматриваются актуальные техники из статей за последние пару лет, которые могут пригодиться, если захотите пойти работать в этом направлении. Материалы подойдут тем, кто уже знаком с базой по генеративным моделям и хочет понять, что сейчас происходит в research и R&D по этому направлению. Материалы: https://github.com/dbaranchuk/VisualGenAI

📈 OpenRouter вырос примерно в 9000 раз за 2,5 года В январе 2024 года через OpenRouter проходило около 10 млрд токенов в нед
📈 OpenRouter вырос примерно в 9000 раз за 2,5 года В январе 2024 года через OpenRouter проходило около 10 млрд токенов в неделю. К августу 2026-го - уже больше 90 трлн токенов в неделю. Рост - примерно в 9000 раз. По данным OpenRouter, примерно с февраля агенты уже генерируют больше токенов, чем обычные пользователи. Один агентный запрос в среднем потребляет примерно в 15 раз больше токенов. Агент рассуждает, вызывает инструменты, читает результаты, пишет код, запускает подзадачи и повторяет цикл снова. https://menlovc.com/perspective/stripe-to-acquire-openrouter-why-everyone-is-obsessed-with-model-routing/ @ai_machinelearning_big_data #OpenRouter

📌 Palomar - реестр проверенных LEAN-доказательств Последние месяцы доказательства, сгенерированные ИИ, посыпались валом как
📌 Palomar - реестр проверенных LEAN-доказательств Последние месяцы доказательства, сгенерированные ИИ, посыпались валом как для новых результатов, так и для старых, причем часть из них формализована на Lean и проверить такой репозиторий непросто, особенно если ты не эксперт. Нужно убедиться: 🟠что заявленные формальные утверждения действительно имеют доказательства, проходящие проверку типов; 🟠что в доказательствах нет жульничества; 🟠что формальные утверждения по смыслу совпадают с тем, что описано словами. Под эту задачу и Теренс Тао запустил Palomar - реестр математики, верифицированной на Lean. Инициативу вырастили Lean FRO и ICARM. Прием заявок уже идет, чтобы в него попасть, в репозитории должно быть три вещи: 🟢challenge file с коротким и читаемым человеком описанием заявленных результатов на Lean; 🟢solution module с доказательством любой длины; 🟢файл formalization.yaml, где те же результаты изложены обычным языком и собраны метаданные и раскрытия. Снимок поданного репозитория проверяют двумя этапами. Сначала инструмент Comparator смотрит, что solution module типизируется и доказывает ровно то, что заявлено в challenge file. После этого языковая модель сверяет, похоже ли неформальное описание в на то, что заявлено формально. Прошел оба - попал в реестр. Принимают формализации и старых результатов, и новых. Кто автор доказательства - человек, ИИ или оба вместе - значения не имеет. @ai_machinelearning_big_data #news #ai #ml

+1
⚡️ Xiaomi показала конкурента NVIDIA DGX Spark Xiaomi представила компактный локальный AI-компьютер на трёх собственных чипах - O3, O100 и D100. Прототип поддерживает связку моделей 120B и 3B и умеет переключаться между «быстрой» и «медленной» моделью в зависимости от задачи. По формату это прямой конкурент DGX Spark: запуск крупных моделей и AI-агентов локально, без облака. Дженсен Хуанг ранее предупреждал об эффекте экспортных ограничений США:
«Как только они построят полный стек, начнут экспортировать его так быстро, как только смогут».
@ai_machinelearning_big_data #Xiaomi

Вы уже заметили, что сайты банков и контрагентов стали открываться с предупреждением «Подключение не защищено»? Дело в том, ч
Вы уже заметили, что сайты банков и контрагентов стали открываться с предупреждением «Подключение не защищено»? Дело в том, что GlobalSign отзывает SSL-сертификаты у российских компаний, и те переходят на сертификаты Национального удостоверяющего центра Минцифры (НУЦ). Chrome, Safari, Firefox и Edge таким сертификатам не доверяют — и сайты перестают открываться. Из-за этого встают платежи, работа с ЭДО и закупки на госплощадках. Сертификаты отзывают постепенно, по мере истечения срока, так что список недоступных сайтов будет пополняться ещё месяцами. Вот что можно с этим сделать. Способ первый: поставить корневые сертификаты НУЦ вручную. Ставить придётся на каждый компьютер, включая домашние ноутбуки и телефоны сотрудников, а потом проверять, что после обновления системы всё осталось на месте. В больших компаниях это займёт не один день. Способ второй: разослать сертификаты сразу на все компьютеры, через систему управления устройствами или групповые политики. Это сработает, если такая система уже есть и все компьютеры подключены к домену. С личными устройствами сотрудников так не получится. Способ третий: установить Яндекс Браузер для организаций. Он поддерживает все нужные сертификаты безопасности, поэтому сайты открываются в нём без ошибок. Настройками можно управлять централизованно, а соединение шифруется по TLS. Установите Браузер в вашей компании!

🌟 Turbovec: библиотека векторного поиска на основе гугловского TurboQuant Библиотека написана на Rust, есть привязки для Pyt
+2
🌟 Turbovec: библиотека векторного поиска на основе гугловского TurboQuant Библиотека написана на Rust, есть привязки для Python, а в основе - TurboQuant, алгоритм сжатия векторов, который Google описали в статье, принятой на ICLR 2026.
Сама библиотека к Google отношения не имеет, это независимая реализация чужого алгоритма.
🟡Turbovec сжимает данные примерно в восемь раз Коллекция из 10 миллионов документов, занимающая в исходном виде 31 гигабайт, умещается в 4. Поиск при этом, как утверждает автор, идёт быстрее, чем в FAISS - одного из самых распространённых инструментов в этой области. По замерам turbovec обгоняет FAISS в среднем в 3,4-3,5 раза при 4-битном сжатии и на 20-26% при 2-битном, в зависимости от железа. 🟡Удобные мелочи Индекс не нужно предварительно обучать - векторы просто добавляются по мере поступления. Сохранение инкрементальное, на диск уходит только то, что изменилось с прошлого раза, поэтому даже на большом индексе это занимает миллисекунды. Поиску можно передать список разрешённых документов - скажем, чтобы пользователь видел только свои файлы. Удаление работает по постоянным идентификаторам, ссылки на записи не плывут. Тем, кто уже сидит на LangChain, LlamaIndex, Haystack или Agno, автор предлагает готовые адаптеры - меняется одна строка импорта, остальной код остаётся как был. 📌Лицензирование: MIT License 🖥 Github @ai_machinelearning_big_data #AI #ML #VectorSearch #TurboQuant #Rust

Как быстро вырасти до уровня, где ты уже не просто выполняешь задачи, а влияешь на продукт и бизнес? В Т-Банке запустили «Мин
+8
Как быстро вырасти до уровня, где ты уже не просто выполняешь задачи, а влияешь на продукт и бизнес? В Т-Банке запустили «Мини-СЕО» - шестимесячную программу, где участники работают напрямую с топ-менеджерами над реальными стратегическими проектами. Можно попасть в одно из направлений: развивать автосегмент и регионы, работать с AI-продуктами и 3P, оценивать влияние продуктов на экосистему, искать новые точки роста или участвовать в создании B2B-маркетплейса. Без учебных кейсов: 40 часов в неделю, реальные задачи и опыт, который сложно получить на обычной стажировке. Программа подойдёт студентам и джунам с хорошей базой в математике и аналитике. Подать заявку можно до 25 сентября.