1946年，匈牙利数学家保罗·埃尔德什留下一道几何难题：平面上任意放置若干个点，最多能有多少对距离恰好为1？
他推测, что раскладка квадратной решётки уже близка к оптимуму, и заявил: «Никто не сможет сделать лучше».
После этого почти 80 лет математики шли вперёд, сменяя друг друга. Последний существенный прогресс случился более 40 лет назад. Эта задача стала для математического сообщества тихим рубежным камнем.
20 мая 2026 года OpenAI объявила: её ИИ за полтора дня опроверг предположение Эрдёша.
Не поиск готового ответа и не оптимизация существующих методов — а перенос целого набора совершенно новых инструментов из, казалось бы, не связанных с задачей разделов алгебраической теории чисел. Так была построена коллекция точек, о которой люди прежде и не догадывались — напрямую опровергнув то классическое заключение, которое считалось «почти оптимальным».
Лауреат Филдсовской премии Тимоти Гауэрс сказал: «Если ты математик, то, прежде чем продолжать читать, лучше сначала сесть».
Это не единичный случай. Уже через чуть больше месяца, 27 июня 2026 года, группа из пяти исследователей собрала простейший конвейер с GPT 5.5 Pro и Claude Opus 4.8 и за один заход решила 9 открытых математических задач, включая 4 задачи COLT, которые много лет беспокоили теоретиков информатики, 1 задачу из FOCS и 4 открытые задачи по коммутативной алгебре. Один из авторов задачи, профессор Колумбийского университета, с сожалением отметил: «Эта проблема мучила меня целых два года».
От «решения задач» к «открытиям» — AI потребовался всего два года.
В 2023 году большие модели даже «9.11 и 9.9, что больше» начинали давать сбой. В 2024 году AlphaProof от DeepMind взял серебро на Международной математической олимпиаде и решил 4 задачи из 6. В 2025 году GPT-5 начал вносить ключевые оценки для проблемы Элдерша, а математики после корректировки завершили доказательство. В начале 2026 года AI самостоятельно опровергла гипотезу о единичном расстоянии. К середине 2026 года один конвейер в массовом порядке закрыл 9 открытых задач.
Скорость сжимается экспоненциально.
Более глубокое изменение в том, что AI больше не просто «быстрый человеческий вычислитель». Он начинает заходить в проблемы с направлений, куда люди прежде не ступали. Гипотеза Элдерша была опровергнута не за счет геометрической интуиции, а благодаря междисциплинарной стыковке — алгебраической теории чисел с перекрестным заимствованием. Эта «дальняя гибридизация» — прыжок мышления, как раз и является сильной стороной AI.
Математик Том Тротт сказал: «Если бы Элдерш был жив, он бы пришел в неописуемый восторг».
Но кроме восторга, есть и некая сложная привкусность. Переслание CEO OpenAI Сэма Альтмана из четырех слов: «Впечатления очень сложные».
В чем сложность? Когда команда студентов бакалавриата может с помощью AI-конвейера решить проблему, которая держала профессора в напряжении два года, само определение «эксперта» переписывается. Когда AI за полтора дня делает то, чего люди не смогли достичь за 37 лет, барьеры знаний и профессиональные «средневековые крепости» незаметно растворяются.
Это не конечная точка. В конце поста команда Пэн Биньхуи пишет: «Мы планируем расширить этот подход на все научные области».
От математики к теоретической физике, от вычислительной биологии к криптографии — в любой области, где можно точным языком определить «гипотезу» и «проверку», возможна та же ускоряющая динамика.
Люди потратили 37 лет, чтобы не перевалить через гору, а AI за полтора дня перевалил через нее. А за горой — бесчисленное множество других гор.
Разница в том, что раньше мы «искали» с помощью людей. А теперь мы будем «искать» вместе — человек и машина. Или пусть AI сначала проложит путь.
Половодье уже пришло. Первая реакция в математике — шок, вторая — проверка, третья — сесть и заново осмыслить значение слова «открытие».