FomLab

ИИ решил одну из самых сложных математических задач? Не всё так просто Несколько дней назад появилась довольно громкая новость: OpenAI сообщила о серьёзном прорыве в одной из так называемых задач тысячелетия. Если совсем просто, это несколько математических проблем настолько сложных, что за решение каждой назначена премия в 1 миллион долларов. Одна из них связана с уравнениями Навье—Стокса. Эти уравнения помогают описывать движение жидкостей и газов — например, воды или воздуха. Но в их математическом устройстве уже много десятилетий оставался фундаментальный вопрос, который никто не мог окончательно решить. И вот OpenAI заявила, что её новая ИИ-система получила доказательство одного из ключевых результатов в этой области. На этом месте интернет довольно быстро превратил новость в: «GPT-6 решил задачу тысячелетия». Но дальше история стала значительно интереснее. Группа математиков заявила, что уже довольно давно работала над очень похожей проблемой и сама активно использовала для исследований Claude, Codex и другие ИИ-инструменты. У исследователей возник вопрос: могла ли их работа каким-либо образом повлиять на результат OpenAI? OpenAI это отрицает. Учёные, в свою очередь, тоже не говорят, что могут доказать прямую кражу их работы. Поэтому сейчас я бы точно не стал выбирать одну из сторон. Тем более что само доказательство ещё предстоит внимательно проверить математическому сообществу. Формально задача тысячелетия пока не считается закрытой. Но мне здесь кажется гораздо интереснее другое. Не так важно, кто именно в итоге получит формальный приоритет — человек или ИИ. Потому что по обе стороны этой истории искусственный интеллект уже участвовал в настоящей научной работе. В одном случае математики использовали ИИ как инструмент исследования. В другом OpenAI запустила большое количество ИИ-агентов, которые совместно искали решение. И в результате проблема, над которой математики работали десятилетиями, действительно серьёзно сдвинулась с места. Мне кажется, именно это здесь и есть главная новость. Мы очень быстро переходим от нейросетей, которые помогают написать письмо или сделать презентацию, к системам, которые участвуют в исследованиях на самом переднем крае науки. Кто в итоге окажется автором конкретного доказательства — ещё предстоит разобраться.

Нас уже 100. Для большого Telegram-канала цифра совсем небольшая. Но для FomLab, который я запустил только в начале сентября, это очень приятный первый рубеж. Спасибо всем, кто подписался, читает посты, пересылает их знакомым и даёт обратную связь.