OpenAI выложила 722 математических рукописи: от Римана до BSD
OpenAI выложила 722 математических рукописи: от Римана до BSD ⚡ OpenAI совершила беспрецедентный шаг, опубликовав 722 математические рукописи, созданные одной внутренней, еще не анонсированной моделью. Эти работы объединены в 372 группы результатов. По данным компании, модель проработала над примерно 4000 исследовательскими задачами, а вычислительные ресурсы, затраченные на каждый результат, эквивалентны трем часам работы ChatGPT Pro. Все материалы, включая PDF-файлы, исходный код и часть доказательств в Lean, были загружены на GitHub. 💡 В каталоге представлены работы по 17 направлениям, включая теорию чисел, алгебраическую геометрию и теоретическую информатику. Среди ключевых заявлений — доказательство отсутствия нулей дзета-функции Римана в области с действительной частью больше 7/8, что значительно расширяет известные границы. Также утверждается решение десятой проблемы Гильберта для рациональных чисел (невозможность создания универсального алгоритма) и прогресс в доказательстве гипотезы Бёрча и Свиннертон-Дайера (BSD) для эллиптических кривых. Отдельно выделены результаты по гипотезе Ходжа для абелевых многообразий с комплексным умножением и K3-поверхностей. 🤔 Помимо классических задач, модель заявляет о доказательстве того, что иррациональный показатель числа π равен 2 (оптимальное теоретичесное значение), а константа Каталана является иррациональным числом. В области теоретической информатики утверждается доказательство гипотезы о единственности игры (Unique Games Conjecture), предложенной Sanjeev Khot в 2002 году. Также в списке значатся работы по спиновым стеклам, квантовой магнитности и релятивистским уравнениям Власова-Максвелла. Примечательно, что большинство результатов получены по стандартному протоколу, но доказательства по дзета-функции Римана и гипотезе Ходжа были обработаны с участием человека. 📌 Что это значит на практике: Масштаб публикаций превышает возможности математического сообщества для верификации. Независимая группа экспертов, включающая лауреатов Филдсовской премии Timothy Gowers, Martin Hairer и физика Edward Witten, подчеркнула, что их участие в совете не означает автоматического признания корректности этих работ. Теперь на плечах академического мира лежит задача тщательной проверки каждого доказательства, что займет годы. 🚀 Реакция в научном сообществе неоднозначна. Математики выражают обеспокоенность тем, что скорость генерации результатов превышает скорость их понимания. Francesco Maggi из UT Austin отмечает, что исследователи не успевают анализировать новые методы. Ранее, в сентябре, уже возникали споры вокруг доказательств уравнений Навье-Стокса, где OpenAI и группа Tristan Buckmaster из NYU предъявили схожие результаты. Даже Terence Tao, обычно поддерживающий ИИ, назвал текущий темп развития «безумным». OpenAI заявила, что финансирование семинаров для помощи в изучении этих материалов, но процесс «разбора полетов» только начинается. Перевод и адаптация: AI Lab. Источник: QbitAI (量子位), https://www.qbitai.com/2026/10/501749.html #AI #Math #OpenAI #LLM #Research #Science