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