Дайджест: 13 октября 2026
Дайджест: 13 октября 2026 🇺🇸 OpenAI публикацией 722 доказательств обрушил академическую математику OpenAI выложил 722 ИИ-сгенерированных математических доказательства, созданных непубличной моделью; через два дня три работы отозвали из-за ошибок, а формализацию Lean прошло только около 42% результатов. Филдсовский лауреат Думинил-Копен заявил, что модель «уничтожила» его область, а 25 лауреатов Филдсовской премии подписали заявление о «серьёзном рассогласовании ИИ с математикой». 💡 На пальцах: Для начинающих исследователей — в математике и смежных науках — конкуренция с ИИ за «свои» задачи становится реальностью уже сейчас. 🔗 tmtpost.com 🇨🇳 Huawei догоняет Nvidia на рынке ИИ-чипов Китая По данным IDC, доля Nvidia на китайском рынке ИИ-ускорителей упала до 34% (поставки снизились на 44%, до 678 тысяч чипов), а Huawei нарастил долю до 28%, поставив 572 тысячи чипов. Экспортные ограничения США и курс Пекина на импортозамещение привели к тому, что поставки неграфических ИИ-чипов впервые превысили поставки GPU. 💡 На пальцах: Для России это сигнал, что китайские альтернативы Nvidia становятся массовыми и зрелыми, а значит потенциально доступнее как канал обхода санкционных ограничений. 🔗 livemint.com ⚖️ Минобороны открыло разработчикам архив видео с дронов Минобороны РФ предоставило более чем 40 разработчикам беспилотных систем доступ к общему архиву видеозаписей боевого применения дронов для обучения нейросетей, о чём 12 октября сообщил замминистра Дмитрий Щербинин. Ведомство разработало единый классификатор данных, а результаты работы компаний будут проверяться и использоваться для обучения собственных моделей ИИ Минобороны. 💡 На пальцах: Для оборонных компаний это означает доступ к редкому массиву реальных боевых данных, что ускорит разработку отечественных систем распознавания для дронов. 🔗 Коммерсантъ #НейроНовости #ИИ #Китай #дроны