11.08.2026 10:34
❗️Claude только что заметно продвинул одну из самых сложных задач мировой математики В Anthropic дали экспериментальной
❗️Claude только что заметно продвинул одну из самых сложных задач мировой математики
В Anthropic дали экспериментальной версии модели почти невозможное задание — всерьёз попробовать решить гипотезу Римана, над которой математики работают с 1859 года.
Саму гипотезу Claude пока не доказал, но по пути получил новый результат в связанной задаче:
— Модель нашла способ повысить доказанную минимальную долю нулей дзета-функции Римана, которые соответствуют гипотезе, с 41,6% до 67,2%;
— Предыдущий результат улучшали десятилетиями, поэтому скачок получился огромным;
— Два математика из Anthropic проверили доказательство, а Claude отдельно сделал его формальную версию на Lean, которая прошла проверку;
— Для этого модель сначала перебрала 650 идей, но ни одна не сработала;
— Во второй попытке Claude около полутора дней управлял примерно 60 своими агентами: они провели тысячи численных проверок, выполнили 2400 команд, написали сотни скриптов и скачали 54 научные работы, чтобы убедиться, что такой результат ещё никто не получал;
— Всего эксперимент занял 31 миллион выходных токенов;
— При этом руководивший экспериментом Джаред Самнер вообще не математик и почти не давал Claude сложных инструкций;
— Большую часть времени его «промпты» сводились к вариантам «продолжай» и «верь в себя»;
— В итоге модель, которую просто отправили штурмовать гипотезу Римана, случайно получила отдельный новый математический результат.
В Anthropic дали экспериментальной версии модели почти невозможное задание — всерьёз попробовать решить гипотезу Римана, над которой математики работают с 1859 года.
Саму гипотезу Claude пока не доказал, но по пути получил новый результат в связанной задаче:
— Модель нашла способ повысить доказанную минимальную долю нулей дзета-функции Римана, которые соответствуют гипотезе, с 41,6% до 67,2%;
— Предыдущий результат улучшали десятилетиями, поэтому скачок получился огромным;
— Два математика из Anthropic проверили доказательство, а Claude отдельно сделал его формальную версию на Lean, которая прошла проверку;
— Для этого модель сначала перебрала 650 идей, но ни одна не сработала;
— Во второй попытке Claude около полутора дней управлял примерно 60 своими агентами: они провели тысячи численных проверок, выполнили 2400 команд, написали сотни скриптов и скачали 54 научные работы, чтобы убедиться, что такой результат ещё никто не получал;
— Всего эксперимент занял 31 миллион выходных токенов;
— При этом руководивший экспериментом Джаред Самнер вообще не математик и почти не давал Claude сложных инструкций;
— Большую часть времени его «промпты» сводились к вариантам «продолжай» и «верь в себя»;
— В итоге модель, которую просто отправили штурмовать гипотезу Римана, случайно получила отдельный новый математический результат.