OpenAI выложила на GitHub 372 математических результата ИИ — от четырёхмерной гипотезы Какеи до гипотезы Римана
OpenAI опубликовала 722 рукописи, сгруппированные в 372 семейства результатов, полученных невыпущенной внутренней моделью. Многие доказательства проверены в Lean, но математики критикуют отсутствие промптов и доступа к модели.
6 октября 2026 года OpenAI выложила в репозиторий на GitHub большую партию математических результатов (в 18:00 по восточному времени США, 15:00 PT). По данным The Verge, там 722 рукописи, сгруппированные в 372 семейства результатов; все они получены ещё не выпущенной передовой моделью.
Что заявлено
- Каждый результат, по словам OpenAI, решает или существенно продвигает открытый вопрос математики или теоретической информатики.
- Среди заявленного, как пишет Scientific American, — решение четырёхмерной гипотезы Какеи, улучшения важных компьютерных алгоритмов и продвижение к гипотезе Римана.
- Многие доказательства уже проверены в Lean — языке формальной проверки доказательств, поэтому почти наверняка верны; остальные математикам придётся разбирать месяцами.
- Представитель OpenAI сообщил Scientific American, что почти все результаты получены одним промптом, данным одному ИИ-агенту (оговорившись, что некоторые могли потребовать нескольких попыток). Прежний результат по Навье — Стоксу, напротив, получил «рой» из 10 000 агентов за миллионы долларов вычислений. The Verge приводит слова OpenAI, что «средний результат» потребовал вычислений примерно на три часа размышлений ChatGPT Pro.
Критика
Независимая консультативная группа математиков, созванная OpenAI в сентябре, рекомендует публиковать модель, точный промпт и время вычислений для каждого результата. OpenAI раскрывает лишь среднее время и некоторую статистику — без промптов — и говорит, что рекомендации для неё не обязательны. «Нужно требовать доказательств», — сказал Scientific American математик MIT Эндрю Сазерленд. Дэниел Литт (Университет Торонто) публикацию приветствовал, а Теренс Тао ранее критиковал «безумный» темп результатов ИИ-лабораторий.
Оговорка: это заявления OpenAI; независимая проверка результатов, не формализованных в Lean, только начинается.