ИИ разнёс в щепки гипотезу, которую не могли опровергнуть 80 лет
Математики в шоке: нейросеть от OpenAI нашла контрпример к задаче Эрдёша о единичных расстояниях
Машины не только считают быстрее — они начали думать иначе. Модель искусственного интеллекта от OpenAI опровергла знаменитую гипотезу венгерского математика Пала Эрдёша. Задача о единичных расстояниях на плоскости продержалась почти восемь десятилетий, и всё это время учёные считали её верной. Или, как минимум, неопровержимой.
Суть проста: как много точек можно расположить на плоскости так, чтобы расстояния между ними были равны единице? Эрдёш в 1946 году предположил, что наилучшие конфигурации близки к квадратной решётке. Десятилетиями математики искали способы доказать эту гипотезу — и не могли найти контрпример. Считалось, что человеческий мозг упёрся в потолок.
И тут пришла нейросеть. Модель OpenAI, используя методы алгебраической теории чисел, построила набор точек, который нарушает предполагаемую закономерность. Это не просто случайный перебор — это оригинальное конструктивное решение. После публикации результатов американский математик Уилл Соин, развив ту же линию рассуждений, получил ещё более сильный результат. Так «безупречная репутация» гипотезы Эрдёша была разрушена.
Канадский математик Дэниел Литт назвал это уникальным прецедентом. По его словам, машинный разум впервые самостоятельно переформулировал классическую задачу и предложил подход, который никому из людей не пришёл в голову. При этом ИИ не просто подобрал пример — он построил целую архитектуру конфигураций, основанную на алгебраической теории чисел.
Для математического сообщества это событие стало неожиданностью. Многие десятилетиями пытались доказать гипотезу Эрдёша, а не опровергнуть её. Теперь же оказалось, что она неверна. Научная повестка в области дискретной геометрии резко изменилась. Вопрос «как доказать гипотезу?» сменился на «как далеко можно расширить найденное опровержение?».
«Машина сделала то, что не могли сделать лучшие умы человечества за 80 лет. Это не просто технический успех — это смена парадигмы», — прокомментировал один из экспертов.
OpenAI не раскрывает все детали работы модели, но подтверждает: решение было найдено без подсказок со стороны человека. Нейросеть сама сформулировала подход, который раньше не рассматривался. Теперь математики будут проверять, можно ли развить этот метод на другие открытые проблемы.
Стоит отметить, что речь идёт не о случайной удаче. ИИ предложил строгое математическое построение, которое можно проверить и воспроизвести. Это не чёрный ящик, выдающий результат без объяснений. Это вполне конкретный алгоритм, основанный на алгебраической теории чисел.
Для науки это одновременно и триумф, и вызов. Триумф — потому что показана сила машинного интеллекта. Вызов — потому что многие классические задачи могут быть переформулированы и решены ИИ способами, которые человеку не очевидны.
Гипотеза Эрдёша пала. И теперь уже не важно, как её пытались доказать. Важно, что на смену старым догмам приходит новый способ думать — с помощью машин. И это, пожалуй, главный итог этой истории.