🧮 Три часа вычислений на математический результат: самая неожиданная цифра в релизе OpenAI Компания опубликовала 722 рукописи, созданные ещё не выпущенной моделью. Среди заявленных результатов: • область без нулей дзета-функции при Re(s) > 7/8, названная решением квазигипотезы Римана; • решение десятой проблемы Гильберта над рациональными числами; • доказательство иррациональности постоянной Каталана. По оценке OpenAI, средний результат потребовал вычислений, эквивалентных примерно трём часам размышлений ChatGPT Pro. При этом работы по дзета-функции и гипотезе Ходжа были исключениями из стандартной процедуры. Если эти доказательства выдержат проверку, масштаб события будет огромным. Но пока результаты находятся на разных стадиях верификации: для многих опубликованы формализации в Lean, для остальных сама OpenAI допускает ошибки. Это серьёзная заявка на ускорение математических исследований. Предсказание «сверхинтеллект уже в 2027 году» из этих данных пока не следует. https://github.com/openai/math