В открытый доступ выложили 722 научные работы с продвижением в сложнейших мировых теориях: на каждую задачу у новой закрытой нейросети уходило в среднем около трех часов вычислений.
В архиве есть полные и частичные выкладки, включая заметные сдвиги по трем «проблемам тысячелетия». Правда, окончательно закрыть эти вековые задачи модель все-таки не смогла.
Что именно опубликовали авторы:
- 372 семейства математических результатов, полученных внутренней моделью.
- Доказательства на формальном языке Lean для быстрой машинной проверки.
- Подробные цепочки рассуждений и статистику попыток, но пока только по 10 задачам.
Без брака не обошлось: минимум три готовых решения авторы уже отозвали из-за найденных математических ошибок.
Математик Теренс Тао уже назвал этот релиз концом эпохи «Math 1.0». А чтобы ученые успевали разбирать гипотезы ИИ, компания оплатит серию профильных семинаров.
Что это значит
Нестандартные вычисления и строгую аналитику от нейросетей нельзя внедрять без независимой проверки: даже флагманские модели продолжают ошибаться в сложной логике.
