OpenAI выложила на GitHub 722 статьи по математике, написанные невыпущенной моделью

OpenAI выложила в открытый доступ 722 статьи по математике, написанные внутренней ещё не выпущенной моделью. В каждой решается какая-то открытая математическая задача; работы сгруппированы в 372 семейства связанных исследований по разделам математики. Публикация вызвала критику академического сообщества.

Математики указывают, что результаты такого уровня должны оформляться полноценными научными статьями, а не сообщениями в соцсетях. По их мнению, публикация решений без рецензирования нарушает научную этику.

В компании решили, что проверять модели на бенчмарках уже неинтересно — они насытились, — и вместо этого выдали агенту 4000 открытых исследовательских задач. В среднем на один результат уходило около трёх часов размышлений.

Среди самых значимых доказательств:

• гипотеза Ходжа для CM-абелевых многообразий — частный случай гипотезы Ходжа из списка задач тысячелетия;
• расширение зоны без нулей дзета-функции Римана до Re(s) > 11/12, то есть доказано, что все нетривиальные нули лежат в полосе 1/12 < Re(s) < 11/12 — промежуточный результат для гипотезы Римана;
• решение задачи факторов свободных групп, открытой с 40-х годов прошлого века: доказательство закрывает один из старейших вопросов теории алгебр фон Неймана;
• Unique Games Conjecture — главный вопрос о пределах приближённых вычислений: для многих NP-трудных задач она утверждает, что лучшие известные алгоритмы уже оптимальны и улучшить их можно, только если P = NP. Доказательство закроет вопрос сразу для огромного класса задач.

Сроки публикации и её полный состав в компании не раскрыли.