Пекинский нейрохирург, проводивший исследования в области ультразвуковой визуализации мозга, неожиданно стал автором прорыва в фундаментальной математике. Он доказал гипотезу, которая оставалась нерешенной с 2004 года.
Пекинский нейрохирург Цзинь Шаньму, постдокторант и ординатор Пекинской больницы Союза медицинского колледжа, занимался прикладными задачами — он искал способы улучшить качество ультразвуковых изображений головного мозга. В ходе работы он столкнулся с математической проблемой, которая привела его к изучению области, известной как линейная алгебра.
В итоге врач смог доказать так называемую гипотезу Крузейша — сложную математическую задачу, сформулированную французским ученым Мишелем Крузейшем. Гипотеза утверждает, что результат любых вычислений с таблицей чисел никогда не будет больше, чем удвоенный самый большой результат из этого набора. Это фундаментальное утверждение в линейной алгебре, важное для численных расчетов в физике, инженерии и компьютерных науках, которое два десятилетия не поддавалось доказательству.
Главным инструментом Цзиня стал не математический талант (хотя он, безусловно, проявил незаурядные способности), а искусственный интеллект. Врач использовал языковую модель GPT-5.6-Sol на платформе ChatGPT Work. Автономный сеанс работы ИИ длился 16 часов, после чего алгоритм выдал готовое доказательство.
Примечательно, что формального математического образования у Цзиня практически нет. По специальности он геолог, а затем переквалифицировался в медицину. Все, что он знает о высшей математике, — результат самообразования. Тем не менее, его работа уже получила признание: два известных американских математика опубликовали отчет о переписке с китайским врачом. Они подтвердили, что вместе с самим Крузейшем ознакомились с рукописью и признали доказательство корректным. Правда, статья еще не прошла формальное рецензирование в научном журнале.
Этот случай — не единичный. В последнее время искусственный интеллект все чаще участвует в решении сложнейших математических задач. Так, в мае 2026 года OpenAI сообщила, что ее модель самостоятельно справилась с задачей, поставленной еще в 1946 году венгерским математиком Палом Эрдешем. А компания Anthropic недавно заявила, что их ИИ-модель Claude, хотя и не смогла доказать знаменитую гипотезу Римана, достигла серьезного прогресса в смежной области.
Читайте также: Решением 250-летней задачи Эйлера о 36 офицерах стала квантовая запутанность