Claude продвинулся в гипотезе Римана – но пока не решил её
Anthropic устроила Claude испытание, которое обычно оставляют людям: модель отправили работать над гипотезой Римана, одной из самых известных нерешённых задач математики.
Над ней работают с 1859 года, но полноценного доказательства до сих пор нет.
Сразу главное: Claude гипотезу Римана не решил. Зато в ходе эксперимента модель увеличила долю функций, для которых удалось получить доказательство, с 41,6% аж до 67,2%!
Это не закрывает задачу, но представляет собой серьёзный математический прогресс: расширилась область, в которой удалось получить строгие результаты.
Почему это вообще важно
Гипотеза Римана связана с распределением простых чисел и свойствами дзета-функции Римана. Её доказательство позволило бы значительно лучше понять структуру простых чисел и целый класс связанных математических проблем.
Поэтому здесь важно другое: модель смогла расширить границы уже доказанного результата. Для математики и человеческой науки в целом это потенциально гораздо полезнее эффектной демонстрации возможностей ИИ.
Самое смешное: сложных промптов почти не было
Руководивший экспериментом Джаред Самнер не писал огромные инструкции с десятками правил. Значительную часть времени его команды сводились к двум словам:
«Продолжай».
Иногда добавлялось:
«Верь в себя».
И это довольно показательно. Пока индустрия годами обсуждает сложный prompt engineering, в одном из серьёзных математических экспериментов человек фактически просто заставлял модель не бросать поиск.
Получается новый вариант взаимодействия с reasoning-моделями: человек задаёт направление, Claude перебирает варианты, находит новые подходы, а затем математик проверяет результат.
ИИ пока не заменяет математика
В математике недостаточно выдать убедительную формулу. Один ошибочный переход способен уничтожить всё доказательство.
Поэтому ценность Claude здесь не в том, что он якобы «стал математиком». Гораздо интереснее его роль как машины для поиска новых решений и конструкций, которые затем можно проверять обычными математическими методами.
И до самой гипотезы Римана ещё очень далеко. 67,2% – это не 100%, а расширение частного доказанного результата не является доказательством знаменитой гипотезы.
Но если подобные эксперименты станут нормой, математики получат инструмент, способный неделями исследовать огромное пространство возможных подходов и находить направления, на которые человек мог бы потратить годы.
И главный мем из этой истории уже готов. Промпт-инжиниринг 2026 года: «Продолжай. Верь в себя».
