Ещё не выпущенная модель OpenAI подготовила 722 математические работы
OpenAI открыла репозиторий с 722 математическими рукописями, подготовленными внутренней, пока не выпущенной моделью. Работы объединены в 372 семейства: в каждое входят связанные результаты, дополнительные доказательства или следствия.
Новая модель OpenAI решила более 100 открытых математических задач
OpenAI утверждает, что внутренняя модель, которую начали обучать 28 августа, уже решила более 100 давних открытых задач почти по всем основным областям математики. 24 дня обучения — и больше сотни открытых задач. Звучит так, будто OpenAI решили заспидранить математику, но пока это слухи. Разбираемся в очередных сплетнях.
На наших глазах творится история: OpenAI заявили, что их ИИ решил задачу тысячелетия
Еще несколько лет назад мы проверяли нейросети вопросами вроде «сдаст ли ChatGPT экзамен» и «сможет ли написать рабочий код с первого раза». Планка довольно быстро уехала куда-то совсем в другую сторону.8 сентября OpenAI опубликовала работу, в которой утверждает, что ее экспериментальная ИИ-система нашла решение задачи существования и гладкости уравнений Навье–Стокса.Это одна из семи знаменитых задач тысячелетия. За решение каждой Clay Mathematics Institute назначил премию в $1 млн. За четверть века из списка официально закрыли только одну: гипотезу Пуанкаре.
Ни одна ошибка не нова: почему провал ИИ в First Proof был предсказуем заранее
В начале июня 2026 вышли результаты First Proof Second Batch — первого бенчмарка, который одновременно: (1) состоит из исследовательских задач, (2) заведомо не встречавшихся в обучающих данных, и (3) проверяется живыми математиками вслепую по правилам журналов.Заголовки привычно написали: «ИИ провалил тест по математике». Но самое интересное в отчёте — не счёт, а то, что ни один тип ошибок не нов. Каждую можно было предсказать заранее из классических работ о математическом мышлении и надёжности проверок. Если сложить эти источники, результаты First Proof перестают удивлять.
