Компания OpenAI заявила о прорыве, который может изменить представление о роли искусственного интеллекта в фундаментальной науке. Их новая модель рассуждений, по утверждению разработчиков, смогла получить оригинальное математическое доказательство, опровергающее известную нерешенную гипотезу в геометрии. Задачу впервые сформулировал легендарный математик Пал Эрдёш еще в 1946 году, и с тех пор она оставалась крепким орешком для нескольких поколений ученых .
Как машина учится рассуждать, а не угадывать
В отличие от языковых моделей, которые часто "галлюцинируют" и подбирают наиболее вероятный ответ, эта система построена на принципиально иной архитектуре. Она не ищет ответ в массиве выученных текстов, а выстраивает цепочку логических рассуждений шаг за шагом. Фактически, ИИ работал не как поисковик, а как математик, перебирая возможные пути доказательства и отсеивая тупиковые ветви. Формальная верификация полученного результата сейчас проводится независимыми экспертами, но первичные выводы уже называют историческими .
Помощник для поиска скрытых закономерностей
Этот успех перекликается с другим достижением в области ИИ-математики. Ранее в мае исследователи из Пенсильванского университета разработали новый метод для решения так называемых обратных задач — уравнений, которые позволяют восстановить скрытые причины по наблюдаемым следствиям. Внедрив специальные "сглаживающие слои", они сделали вычисления гораздо более стабильными. Это может найти применение в генетике, где понимание того, как именно работают гены на основе данных об их активности, критически важно для изучения болезней .
Вывод
Если верификация подтвердит заявление OpenAI, это станет моментом, когда ИИ перестал быть просто вычислительным инструментом и превратился в генератора новых математических истин. Это открывает путь к сотрудничеству, в котором человек формулирует вопросы, а машина предлагает нетривиальные пути их решения, потенциально ускоряя прогресс в физике, инженерии и компьютерных науках.