OpenAI сообщила в понедельник, что ее модель рассуждений общего назначения решила проблему плоских единичных расстояний — открытый вопрос дискретной геометрии, впервые поставленный математиком Полом Эрдёшем в 1946 году. Это достижение знаменует собой первый случай, когда система ИИ самостоятельно решила известную открытую проблему, центральную для области математики.
Что обнаружил ИИ
Почти 80 лет математики считали, что оптимальные решения проблемы Эрдёша примерно напоминают квадратные решетки. Модель OpenAI опровергла это предположение, создав совершенно новое семейство конструкций, обеспечивающих лучшую производительность. Доказательство было получено от модели рассуждений общего назначения, а не от системы, созданной специально для математики, и было формализовано на языке верификации Lean.
Экспертная верификация
Лауреат Филдсовской премии Теренс Тао проверил и принял доказательство, придав ему достоверность в математическом сообществе. Результат был описан как начало новой эры, когда системы ИИ могут удерживать длинные цепочки рассуждений и связывать идеи из удаленных областей.
Последствия за пределами математики
OpenAI заявила, что те же способности, которые обеспечили этот математический прорыв, скоро ускорят работу в биологии, физике, инженерии и медицине. Компания подчеркнула, что человеческое суждение остается необходимым: ИИ может искать, предлагать и проверять, но люди выбирают важные проблемы и интерпретируют результаты.