Меньше чем через месяц после публикации нескольких сотен работ с решениями давних математических задач OpenAI представила ещё три крупных открытия — в математике, физике и информатике.
В области физики и информатики компания привлекла внешних экспертов, которые будут сопровождать представление результатов. Эксперты по математике рекомендовали напрямую опубликовать полученные результаты, чтобы исследователи могли их проанализировать.
Что доказано
Открытие связано с локальным сглаживанием волнового уравнения в евклидовом пространстве. С помощью вспомогательного уравнения в частных производных ИИ доказал гипотезу Согге для волн в пространствах размерностью не менее двух.
Это доказательство также подтвердило несколько гипотез Какеи и оценки Штейна — известных результатов в гармоническом анализе.
Что это значит
Волновое уравнение описывает распространение звука, света и сейсмических колебаний. Локальное сглаживание — вопрос о том, насколько «гладким» остаётся решение вблизи точки с течением времени.
Гипотеза Согге была сформулирована в 1980-х и десятилетиями оставалась открытой для многомерных случаев. Доказательство через вспомогательное уравнение — необычный путь, который человеку было бы сложно найти вручную.
Как публикуют
Результаты компания решила опубликовать напрямую, как это было сделано 6 октября. Эксперты рекомендовали и в будущем публиковать работы ИИ в научных репозиториях и сопровождать их формализованными в Lean доказательствами.
Lean — язык формальной математики, где каждая строка проверяется компьютером. Если доказательство формализовано, оно не может содержать логическую ошибку: это принципиально для доверия к результатам ИИ.
Контекст
В октябре 2026 года OpenAI уже публиковала сотни работ с решениями математических задач. Это вызвало споры: часть математиков сомневалась в качестве, часть — в том, что задачи были тривиальными без явного доказательства.
Формализация в Lean — ответ на эти возражения. Если доказательство проверено машиной, спорить о его корректности не нужно.
Что это значит для науки
Если ИИ действительно закрывает открытые математические задачи, это меняет работу исследователей: рутинная часть доказательств может перейти к моделям, а человек сосредоточится на постановке вопросов.
Но пока рано говорить о прорыве: нужна независимая проверка, и именно поэтому публикация в репозитории с Lean-формализацией важнее самого анонса.
По теме: GPT-6 Astra и Apple iMac и MacBook Pro на M6.
Ещё про AI
Все материалы →
23.10 · Новости1Password for Agents: ИИ-ассистенты войдут в аккаунты без пароля
23.10 · НовостиАтаки дронов на дата-центры: потеряно 115 МВт мощностей
23.10 · НовостиMicrosoft убрала 8 ярлыков Copilot из проводника Windows 11
22.10 · НовостиYouTube объяснил скрытие дизлайков: это интерфейс для авторов