В Пекине ИИ помог решить задачу, непосильную для учёных умов

В Пекине ИИ помог решить задачу, непосильную для учёных умов
Иллюстрация: AI

Научное сообщество безуспешно работало над ней два десятилетия, передаёт корреспондент @Pavlodarnews.kz со ссылкой на МИР24.

Цзинь Шаньму, специалист в области нейрохирургии из Пекинского союзного медицинского колледжа, совершил значительный прорыв в математике, предоставив доказательство гипотезы Крузе. Эта гипотеза ставила в тупик ведущих математиков с 2004 года. Примечательно, что доктор Цзинь не имеет профессионального математического образования; его знания в этой области ограничивались университетскими курсами, а основную часть знаний он приобрел самостоятельно.

Изначально доктор Цзинь не ставил перед собой цель совершить математическое открытие. Он исследовал проблему, возникающую при проведении ультразвукового исследования головного мозга, и в процессе поиска решений столкнулся с задачами из области матричного анализа. Для работы он задействовал модель GPT 5.6 Sol на платформе ChatGPT Work. Расчёты и поиск решения заняли 16 часов автономной работы.

Гипотеза, предложенная французским математиком Мишелем Крузе, гласит, что норма применения любой функции к матрице не превосходит удвоенного максимального значения этой функции в пределах числового диапазона матрицы. Задача долгое время считалась одной из наиболее сложных в численной линейной алгебре.

Об этом прорыве стало известно благодаря математикам Алексу Таунсенду из Корнеллского университета и Энн Гринбаум из Университета Вашингтона. Таунсенд более года работал с моделями GPT, пытаясь решить гипотезу. И вот искусственный интеллект неожиданно обратил его внимание на новую статью в сети, в которой сообщалось о решении задачи. Автором статьи оказался Цзинь Шаньму.

Таунсенд, Гринбаум и сам Крузе изучили статью и подтвердили правильность доказательства, хотя формальная процедура рецензирования еще не завершена. Эксперты подчеркнули впечатляющий характер достижения, особенно учитывая отсутствие у Цзиня специализированной математической подготовки, как сообщает South China Morning Post.

История доктора Цзиня соответствует общей тенденции, когда искусственный интеллект всё активнее способствует совершению прорывов в математике. Так, в мае компания OpenAI объявила, что их внутренняя модель самостоятельно решила задачу о плоском единичном расстоянии, сформулированную венгерским математиком Паулем Эрдешем в 1946 году. В начале августа компания представила список из 10 задач, по которым её новая модель Astra достигла значительного прогресса.