Китайские учёные с помощью самостоятельно разработанной большой языковой модели Intern-S2 нашли решение математической задачи мирового уровня. Событие называют важной вехой в научных открытиях с использованием ИИ.
Учёные сравнили опубликованное OpenAI доказательство для уравнений Навье — Стокса с его версией на Lean и нашли расхождения. В нескольких ключевых местах машинный вариант, проверяемый компьютером, содержит более слабые утверждения.
Часть сотрудников OpenAI считает, что ИИ может сделать традиционную математику неактуальной. Себастьен Бубек не согласен: по его мнению, технология расширит возможности математиков и повысит значимость их работы.
За последний год OpenAI, Anthropic и другие лаборатории объявили о прорывах в нескольких давних математических задачах. Местами результаты превзошли ожидания исследователей, включая решение одной из задач тысячелетия.
OpenAI снова умудрилась испортить хорошую новость. Компания регулярно совершает прорывы в математике, но так же регулярно проваливает их анонсы — и попытка исправить репутацию обернулась новым скандалом.
OpenAI создала независимую консультативную группу на базе Института перспективных исследований в Принстоне. Группа получила название Advisory Group on Mathematics and Artificial Intelligence и призвана дать математикам больше влияния на математические исследования компании.
Второй математик обвинил OpenAI в неэтичном поведении и отсутствии прозрачности относительно происхождения данных для обучения моделей. Скандал разгорелся спустя всего несколько дней после похожего спора о том, использовала ли компания неопубликованные научные работы.
Профессор математики NYU Тристан Бакмастер объявил о трёх доказательствах, включая предварительный результат по одной из главных нерешённых задач теоретической математики. Работа велась совместно с математиком Anthropic Левентом Альпёге с использованием моделей Codex и Claude.
Anthropic с помощью модели Claude создала проверяемую компьютером версию доказательства Великой теоремы Ферма — одного из сложнейших математических утверждений.
OpenAI опубликовала решения десяти давних математических проблем, что вызвало бурную реакцию в научном сообществе. Многие ведущие математики признают: это стало неожиданностью, хотя ИИ по-прежнему плох в элементарной арифметике и не может правильно назвать дни недели. Однако на высоком уровне абстрактной математики модели достигли впечатляющих результатов.