ИИ Claude помог ученым продвинуться в решении гипотезы Римана — 14 августа 2026 г. в 12:11:04.010
ИИ Claude помог ученым продвинуться в решении гипотезы Римана Друзья, сегодня делимся с вами ещё одной интересной новостью, о которой стало известно 10 августа🤓 Сотрудник журнала Anthropic предложил ИИ Claude попробовать разобраться с гипотезой Римана — одной из самых известных нерешенных задач в математике 📐 Гипотеза Римана сформулирована в 1859 году и с тех пор не поддается ни доказательству, ни опровержению. Она описывает скрытый порядок в распределении простых чисел: Риман показал, что оно полностью закодировано в нулях дзета-функции, и предположил, что все эти нули лежат на одной вертикальной прямой с вещественной частью 1/2 — ее и называют критической. Если это правда, простые числа распределены настолько равномерно, насколько это вообще возможно. На гипотезу опирается огромный пласт теории чисел, а Математический институт Клэя включил ее в список задач тысячелетия с наградой в миллион долларов❗️ Полностью решить задачу Claude не смог, но неожиданно добился успеха в смежной области. Раз доказать, что на прямой лежат все 100% нулей, не выходит, математики десятилетиями двигались обходным путем: доказывали, что на прямой лежит хотя бы какая-то доля нулей, и постепенно поднимали эту планку. Сельберг в 1942 году показал, что эта доля положительна, Левинсон в 1974-м довел ее до трети, Конри в 1989-м — до 40,77%, а последний рекорд, установленный в 2020 году, — 5/12, то есть около 41,6%. С 1974 года планка ползла вверх на единицы процентных пунктов, чаще — на доли: каждый шаг стоил годы работы. 🤩ИИ улучшил давно известную нижнюю границу для доли нулей дзета‑функции Римана, которые соответствуют гипотезе: показатель вырос с 41,6% до 67,2%! Модель при этом не изобрела новую математику — она заметила, что уже существующие человеческие результаты складываются в комбинацию, которую никто не попробовал: серия свежих работ Балуйота, Голдстона, Сурьяджаи и Тёрнедж-Баттербо, которые адаптировали технику Монтгомери 1973 года так, чтобы та работала без предположения о верности самой гипотезы, плюс статья Бомбьери 2000 года. По формулировке Anthropic, смелость хода в том, чтобы рассмотреть все пространство целиком, с нулями на прямой и вне ее одновременно. ИИ задействовал целую систему «субагентов», которые проверяли расчеты, искали контрпримеры, изучали научные статьи и перепроверяли доказательства. На все ушло более двух суток, тысячи проверок и сотни скриптов на Python. ☺️Самым забавным оказалось, что ученые слали модели сообщения поддержки — варианты "продолжай" и "верь в себя". И это, похоже, не шутка, а рабочий инструмент: Claude поначалу скептически оценивал свои шансы — возможно, потому что усвоил из обучения, что открытые математические проблемы ИИ не по зубам. Однако ободряющие промпты помогли модели преодолеть этот скепсис. Люди подключились уже на финальном этапе. Работу разобрали два штатных математика Anthropic, а затем — двое внешних экспертов, один из которых Брайан Конри, чей рекорд 1989 года держался двадцать с лишним лет, и Дэн Голдстон — соавтор тех самых работ, на которые Claude опирался. При этом никто не ждет, что такой подход приведет к полному доказательству гипотезы Римана. Модель попросили сделать невозможное — она предсказуемо не справилась, но по дороге нашла в уже опубликованных статьях то, что люди упустили. Но этот случай показывает, как ИИ может по‑новому комбинировать уже известные математические идеи и помогать двигать науку вперед ⏩ Отличной пятницы и выходных!😉 #uel_интересное #ии #математика #технологии #поддержка