Anthropic направила невыпущенную версию Claude на гипотезу Римана. Она её не доказала — но почти удвоила лучшую известную оценку.
10 августа Anthropic опубликовала результат работы невыпущенной исследовательской версии Claude, которой предложили взяться за гипотезу Римана. Доказать её модель не смогла. Зато она подняла нижнюю оценку доли нетривиальных нулей дзета-функции, о которых известно, что они удовлетворяют гипотезе, с 41,6 % до 67,2 % — по словам Anthropic, это самое крупное единовременное улучшение этого числа за всю его историю; прежде оно росло десятилетиями человеческого труда. Работа заняла две сессии Claude Code, около 60 субагентов, порядка 31 миллиона выходных токенов и примерно 2400 команд оболочки. С математической стороны были соединены недавние результаты Балуйота, Голдстона, Суриаджайи и Тёрнейдж-Баттербо с работой Бомбьери, а техники, введённые Монтгомери в 1973 году, превращены в безусловную оценку; ключевым ходом стало рассмотрение нулей на критической прямой и вне её как единого геометрического объекта, а не двух отдельных случаев. Двое математиков Anthropic прочли и проверили статью, а модель дополнительно выдала машинно проверяемую версию доказательства.
Похожие новости
США собрали 16 стран, чтобы поставить ИИ в центр науки.2026-10-05Пять открытых задач пали в обычном окне чата.
2026-10-05Сырые модели решили задачи, которые не берёт их отточенная версия.
2026-10-04Обычные фотографии вывели модель на 70% в тесте на логику.
2026-10-04Google вывел свои чипы для ИИ на орбиту ради проверки на прочность.
2026-10-03