Сотрудник журнала Anthropic предложил ИИ Claude попробовать разобраться с гипотезой Римана — одной из самых известных нерешенных задач в математике. За ее доказательство даже обещают миллион долларов, а сама гипотеза появилась еще в 1859 году. Полностью решить задачу Claude не смог, но неожиданно добился успеха в смежной области.
ИИ улучшил давно известную нижнюю границу для доли нулей дзета‑функции Римана, которые соответствуют гипотезе: показатель вырос с 41,6% до 67,2%. Ученые много лет выясняли, какая часть особых точек этой функции лежит там, где предсказывает гипотеза, и шаг за шагом поднимали эту планку. Claude смог ее увеличить.
В работе он объединил результаты нескольких математиков и опирался на статью Бомбьери 2000 года. Чтобы прийти к результату, ИИ задействовал целую систему «субагентов», которые проверяли расчеты, искали контрпримеры, изучали научные статьи и перепроверяли доказательства. На все ушло полтора дня, тысячи проверок и сотни скриптов на Python.
Два математика из Anthropic изучили работу Claude и подтвердили ее достоверность, а еще вместе с ИИ подготовили формальное доказательство, которое можно проверить автоматически. При этом никто не ждет, что такой подход приведет к полному доказательству гипотезы Римана. Но этот случай показывает, как ИИ может по‑новому комбинировать уже известные математические идеи и помогать двигать науку вперед.
Ранее Наука Mail рассказывала о том, что новая модель OpenAI решила 10 давних проблем в математике.