OpenAI победила математику — компания выложила сразу 722 работы, написанные её ещё не выпущенной ИИ-моделью. Это не просто пачка задачек: работы объединены в 372 семейства результатов и охватывают теорию чисел, алгебру, геометрию, теорию вычислений и другие области. По одной из оценок, модель закрыла 90 из 500 крупных открытых проблем. Из самого громкого: 🙂 Unique Games Conjecture — OpenAI заявляет о полном доказательстве, причём для результата уже есть формализация. 🙂 Гипотеза Ходжа — получен новый частный результат. 🙂 Свободные групповые факторы — заявлено решение одного из давних вопросов теории алгебр фон Неймана. Часть работ уже снабжена машинно проверяемыми доказательствами, остальные сейчас будут разбирать учёные со всего мира. Математики сегодня не спят.