ИИ решает задачи, открытые с 1946 года — математики в смятении

За последние месяцы ИИ-системы OpenAI, Anthropic и Epoch AI закрыли несколько математических задач, открытых десятилетиями: Гипотезу о единичных расстояниях (не решалась с 1946 года), серию задач Эрдёша и дважды взломали FrontierMath — бенчмарк, специально созданный чтобы ИИ его не одолел. Более 3 000 математиков подписали Лейденскую декларацию с тревогой о будущем профессии.

1Что именно было решено

OpenAI опровергла Гипотезу о единичных расстояниях, которая не поддавалась математикам с 1946 года. Команда Карнеги-Меллон, объединив SAT-солверы с ИИ-сгенерированным кодом, решила задачу из теории Рэмси. Epoch AI дважды взломала бенчмарк FrontierMath — набор задач олимпийского и исследовательского уровня, разработанный так, чтобы модели не могли их решить простым подбором.

2Реакция сообщества: от оптимизма до тревоги

Терренс Тао сравнивает ИИ с «усердным и неутомимым аспирантом» и видит впереди золотой век совместной работы. Тимоти Гауэрс, напротив, предупреждает о разрушении математической культуры: если доказательство выдаёт машина, умение ценить его красоту некому передавать дальше. Шесть задач тысячелетия на премию $1 млн каждая пока не решены ни одним ИИ.

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