Математики ВСЁ? Внутренняя ИИ-модель OpenAI опровергла гипотезу Эрдёша 1946 года
Пока все обсуждают агентов-кодеров, OpenAI тихо выкатили результат, от которого у академиков из Принстона отвисла челюсть. Их внутренняя модель самостоятельно решила (и опровергла) классическую задачу из дискретной геометрии, над которой «кожаные» ломали голову ровно 80 лет. И сделала это максимально элегантно.
Это уже не генерация кода по промпту, это чистая фундаментальная наука.
Суть проблемы, которую сформулировал Пал Эрдёш в 1946 году, звучит просто, есть n точек на плоскости. Нужно найти максимальное количество пар точек, расстояние между которыми равно ровно 1.
- Десятилетиями математики считали, что почти оптимальный ответ дают конструкции, похожие на квадратную решётку. Вокруг этой гипотезы строились все оценки.
- ИИ доказал, что это чушь. Модель построила бесконечное семейство конфигураций, где таких пар радикально больше. То есть была снесена не мелкая техническая неточность, а фундаментальная база задачи.
Хардкор
Модель сделала гениальный мув, она связала плоскую геометрию с алгебраической теорией чисел. В ход пошла тяжелая артиллерия, решетки Минковского, элементы нормы один и pro-3 башни числовых полей.
По сути, ИИ взял сложнейшие инструменты из совершенно другой ветки математики и виртуозно натянул их на геометрию. Профессор Нога Алон из Принстона уже публично признал, ответ оказался неожиданным, а методы нетривиальными.
Главный шок этой новости заключается в самом процессе работы. Участие человека здесь стремится к нулю:
- Формулировка. ИИ сам формализовал задачу.
- Решение. Внутренняя модель сгенерировала доказательство.
- Валидация. Автоматический AI-пайплайн провел первичную проверку на ошибки.
Людям оставили только роль ассистентов, причесать текст, поправить форматирование и довести PDF-ку до публикации.
Мы официально перешагнули черту. ИИ перестал быть просто поисковиком по чужим знаниям. Модель самостоятельно генерирует новую математику, находит неочевидные связи на высочайшем уровне абстракции и двигает науку вперед.
Почитать оригинал Блог OpenAI
Не отставайте от технологий! Подписывайтесь на Telegram-канал, чтобы быть в курсе последних трендов и лайфхаков.