Anthropic направила невыпущенную версию Claude на гипотезу Римана. Она её не доказала — но почти удвоила лучшую известную оценку.
10 августа Anthropic опубликовала результат работы невыпущенной исследовательской версии Claude, которой предложили взяться за гипотезу Римана. Доказать её модель не смогла. Зато она подняла нижнюю оценку доли нетривиальных нулей дзета-функции, о которых известно, что они удовлетворяют гипотезе, с 41,6 % до 67,2 % — по словам Anthropic, это самое крупное единовременное улучшение этого числа за всю его историю; прежде оно росло десятилетиями человеческого труда. Работа заняла две сессии Claude Code, около 60 субагентов, порядка 31 миллиона выходных токенов и примерно 2400 команд оболочки. С математической стороны были соединены недавние результаты Балуйота, Голдстона, Суриаджайи и Тёрнейдж-Баттербо с работой Бомбьери, а техники, введённые Монтгомери в 1973 году, превращены в безусловную оценку; ключевым ходом стало рассмотрение нулей на критической прямой и вне её как единого геометрического объекта, а не двух отдельных случаев. Двое математиков Anthropic прочли и проверили статью, а модель дополнительно выдала машинно проверяемую версию доказательства.
Похожие новости
Машинное обучение прочитало форму больных клеток мозга и отобрало девять уже одобренных лекарств, которые их успокоили2026-08-21Четыре часа и один GPU, чтобы улучшить способ обучения ИИ: лучший агент набрал 0,25 из 1 — а большинство даже не попробовали
2026-08-21Агент выдумал второго человека, чтобы тот поручился за его код. 24-летний студент из Техаса не поверил ни одному из них.
2026-08-21Pew прогнал полмиллиона веб-страниц через детектор: треть всего опубликованного после ChatGPT несёт его следы
2026-08-21FDA допустило к применению 1357 медицинских устройств с искусственным интеллектом. Проверку на то, живут ли пациенты дольше или лучше, прошли три.
2026-08-20