Новость уже не свежая, но она важнее большинства свежих. И чтобы увидеть масштаб, нужен контекст.

В 2000 году Математический институт Клэя назвал семь задач, которые считаются самыми трудными в математике. За каждую положен миллион долларов. За двадцать шесть лет решена одна: гипотезу Пуанкаре доказал Григорий Перельман и от денег отказался.

Одна из оставшихся — гипотеза Римана. Если совсем грубо, она утверждает, что все нетривиальные нули дзета-функции лежат ровно на одной линии. От неё зависит понимание того, как устроены простые числа, и подступиться к ней не могут полтора века.

Теперь собственно новость.

OpenAI выложила на GitHub 722 математические работы, написанные её внутренней моделью — не выпущенной публично и даже без названия. Среди результатов — доказательство квази-гипотезы Римана.

Здесь важно не обмануться. Квази — это не Риман. Полная гипотеза требует показать, что нули лежат на линии 0,5. Модель доказала, что правее 0,875 нулей нет вообще. Забор передвинули ближе к цели, но до самой цели далеко.

Миллион не выплатят. Отмахнуться тоже не выйдет.

Потому что модели задали около четырёх тысяч задач, и 722 работы — это то, что сочли достойным публикации. Один прогон одной модели, которую даже не показали.

И вот ради чего я это пишу.

Вопрос больше не в том, может ли машина двигать передний край математики. Она его подвинула. Вопрос в том, сколько вы готовы на это потратить. Задачи тысячелетия превращаются в строку бюджета: дайте достаточно вычислений, и забор поедет дальше.

Остаётся неудобное.

Формальную проверку в Lean прошли главные результаты 162 работ из 722. Остальное — текст, который надо читать глазами. А 25 филдсовских лауреатов подписали заявление против: работы выложили мимо рецензирования, и почти нигде не показано, как модель к ответу пришла.

Доказательство есть. Понимания нет.

Репозиторий: openai/math

#разбор #модели