Scientific American опубликовал статью, где указывается на высокую вероятность клеветы математика Тристана Бакмастера в адрес OpenAI насчёт того, что вендор LLM якобы использовал чаты математика для решения уравнения Навье-Стокса. Гонсало Као-Лабора, математик из EPFL, отметил, что это очевидно не так и ИИ выбрал совсем другой подход.
Напомню, что Тристан Бакмастер заявлял, будто ИИ использовал его подходы из чатов. Далее выяснилось, что он работал в паре с сотрудником Anthropic Левентом Альпёге.
Напомню, что решение уравнения Навье-Стокса входит в 7 важнейших задач современной математики, известных как «Проблемы тысячелетия», за которую вручается премия 1 миллион долларов. Кроме ИИ смог из них решить только ещё одну задачу Григорий Перельман — гипотезу Пуанкаре.
Проблема для математиков ещё в том, что при большом вкладе в математику серией работ и решении задачи такого уровня обычно почти автоматически вручается медаль Филдса, которая аналог Нобелевской премии в математике. Сейчас новая модель OpenAI опубликовала 722 значительных работы по математике и решила «проблему тысячелетия».
Формально если не сам ИИ, то кто-то из группы разработки LLM должен получить высшие математические награды. Однако это беспрецедентные события, и мало кто понимает, как реагировать на то, что самый гениальный математик современности уже не человек.
https://www.scientificamerican.com/article/openais-blockbuster-navier-stokes-proof-isnt-what-we-thought-it-was/
Post #5343
2.87K