Новый ИИ OpenAI решил 90 сложных математических задач

Компания OpenAI опубликовала результаты работы своего нового секретного искусственного интеллекта, способного решать сложнейшие математические задачи.

Система обработала 722 научные статьи, охватывающие комбинаторику, алгебраическую геометрию и теорию чисел. ИИ успешно решил 90 из 500 ведущих открытых проблем в данной области.

Ключевые достижения

• Гипотеза Ходжа: решён частный случай для абелевых многообразий СМ-типа.
• Дзета-функция Римана: доказано расширение зоны без нулей до полуплоскости Re(s) > 11/12.
• Задача факторов свободных групп: закрыт вопрос теории алгебр фон Неймана, открытый с 1940-х годов.
• Unique Games Conjecture: получено доказательство главной гипотезы о приближённых вычислениях.

Все материалы доступны на GitHub для изучения мировым научным сообществом.