OpenAI взломала 80-летнюю математическую задачу без специализированной модели

Универсальная рассуждающая модель OpenAI только что взломала 80-летнюю гипотезу из дискретной геометрии. Систему не обучали делать математику. Она работает на той же архитектуре, что пишет письма и код на Python, и во вторник она выдала новое семейство геометрических конфигураций, которое к этому моменту проверили четыре математика.

У задачи обманчиво простое формулировка. Возьмём n точек на плоскости. Сколько пар из них могут находиться ровно на одинаковом расстоянии друг от друга, скажем, на одно единичное? Пол Эрдёш поставил этот вопрос в 1946 году и предложил верхнюю границу: порядка n в степени (1 плюс o(1)), сокращение для «едва больше линейного». Десятилетиями лучшие известные конфигурации шли от вариаций квадратной решётки, и решётка стояла очень близко к этому потолку. Действующие математики обращались с этой границей как с по сути точной.

Модель OpenAI границу не ужесточила. Она её сломала. Система выдала целое семейство расположений точек, в котором не меньше n в степени (1 плюс δ) пар на единичном расстоянии, для какого-то фиксированного δ больше нуля. Это не доводка; это контрпример центральному утверждению гипотезы. Уилл Сэвин, один из четырёх математиков, читавших работу, довёл новый показатель до чистого выражения. Томас Блум, Мелани Вуд и Нога Алон, остальные участники проверки, подтвердили, что конструкция держится.

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

Реакции работающих математиков пришли в течение первого дня. Тимоти Гауэрс, лауреат Филдсовской медали, назвал это «первым по-настоящему ясным примером того, как ИИ решает по-настоящему известную математическую задачу». Александр Вэй, исследователь OpenAI, написал, что результат из тех, которые рецензент Annals of Mathematics принял бы «без малейших колебаний». Это последнее утверждение проверяемо. Доказательство выложено как PDF, вместе с сопроводительным документом замечаний, и более широкое математическое сообщество уже его читает.

Рамка, к которой жмётся OpenAI, такова: это первый случай, когда система ИИ самостоятельно решает заметную открытую задачу, центральную для одной из областей математики. Слово «самостоятельно» делает здесь много работы. Модель породила конструкцию; доказательство просеяли, дочистили и продавили на прочность четыре живых математика прежде, чем вышел какой-либо анонс. Различие существенно, потому что OpenAI здесь уже была.

В октябре 2025 года компания пустила утверждение, будто другая её внутренняя модель решила десять открытых задач, поставленных Эрдёшем. За считаные дни математики показали, что несколько из этих «решений» были либо уже известны, либо просто неверны. OpenAI отозвала общее утверждение. Тот эпизод и есть причина, по которой объявление этой недели начинается с имён проверявших, а не с имени модели. Четыре математика и есть гарантия.

Другая деталь, которую стоит удержать, — какого типа модель выдала результат. OpenAI не раскрыла имени системы, только то, что это универсальная рассуждающая модель, та самая семья, которая ведёт чат, пишет код и закрывает обращения в поддержку. Никакой математически специализированной разновидности в петле нет. Та же архитектура, что справляется с повседневной перепиской, справилась и с этим. Вывод в том, что узким местом для математики, движимой ИИ, был, возможно, не модель, заточенная под математику. Возможно, это были вычисления и терпение.

То, что это узкое место ломается, и есть настоящая история. Долго рабочей гипотезой исследователей было, что подлинно оригинальная математика потребует систем под заказ: автоматических доказательников, фреймворков формальной верификации, узких моделей, обученных на корпусе доказательств. То, что приземлилось во вторник, — другой тип свидетельства. Рассуждающую модель навели на знаменитую, нерешённую, восьмидесятилетнюю задачу; дав ей достаточно простора, чтобы думать, она выдала нечто, что Сэвин, Блум, Вуд и Алон сочли верным. Путь от окна чата до Эрдёша оказался короче ожидаемого.

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

Меняется ожидание. Год назад вопрос об ИИ в математике звучал так: смогут ли эти системы когда-либо выдавать оригинальные доказательства весом. С этой недели вопрос звучит иначе: какая открытая задача упадёт следующей и сохранят ли математики, проверяющие доказательства, ту степень признания, которую получили здесь Алон и его коллеги.

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

OpenAI взломала 80-летнюю математическую задачу без специализированной модели

Похожие материалы

ChatGPT теперь живёт внутри Excel и Google Sheets и правит формулы, пока вы наблюдаете

Крупицу металла из 10 000 атомов удержали в двух местах одновременно

GPT-5.5 только что появился в AWS, положив конец семилетней монополии Microsoft на OpenAI

ИИ меняет то, как мы думаем, пишем и выполняем задачи

Сканирование 380 000 приложений, собранных при помощи ИИ, нашло тысячи без какой-либо аутентификации

Что, если ваш стартап — это только вы и 10 000 ботов? Как стать «единорогом» без найма сотрудников

Обсуждение