Как Claude улучшил доказательство гипотезы Римана?

Создатель bun и теперь сотрудник Антропика Джаред Самнер просто попросил исследовательскую версию Claude "реши гипотезу Римана". Модель не смогла доказать саму гипотезу, но за полтора дня работы (в двух длинных сессиях, с кучей своих субагентов) сама нашла способ улучшить старый результат: теперь доказано, что как минимум 67% нулей дзета-функции лежат на критической линии (раньше было 41,6%).

Все промты в процессе были не про математику, а что-то из серии «keep going», «believe in yourself», «try again» и иногда «Push it».

Клод сам искал идеи, проверял их, комбинировал старые теоремы математиков и в итоге сам написал доказательство. Полное описание как Клод получил результат тут.