⚡️ Сегодня ночью OpenAI прошла математику — компания выложила сразу 722 статьи, которые написал их новый секретный ИИ. Он с лёгкостью решил сложнейшие задачи человечества.
Среди них — работы по комбинаторике, алгебраической геометрии, теории чисел и другим крайне проблемным для человека областям.
При этом ИИ решил 90 из 500 ведущих открытых проблем (!) в математике. Кто хотя бы чуть-чуть шарит, понимает, насколько это гигантский скачок.
Крупнейшие открытия:
• Гипотеза Ходжа из списка задач тысячелетия. ИИ решил её частный случай для абелевых многообразий СМ-типа.
• Доказательства о расширении зоны без нулей дзета-функции Римана до полуплоскости \(\text{Re}(s) > 11/12\)
• Решение задачи факторов свободных групп. ИИ закрыл один из старейших вопросов теории алгебр фон Неймана, он был открытым ещё с 1940-х годов.
• Unique Games Conjecture. Доказательство знаменитой и главной гипотезы о приближённых вычислениях.
Прямо сейчас эти решения изучают лучшие учёные со всего мира. Все статьи доступны на Гитхабе — по ссылке.
https://github.com/openai/math