Anthropic рассказала о тестировании пока не выпущенной модели Claude, которая смогла добиться заметного прогресса в задаче, связанной с гипотезой Римана – одной из самых известных нерешенных проблем математики. Она появилась еще в XIX веке и связана с распределением простых чисел. За ее полноценное доказательство до сих пор обещают $1 млн.
 
Но самое интересное здесь в том, что гипотеза Римана не решена. Модель продвинулась в исследовании поведения нулей дзета-функции Римана – долю случаев, для которых удалось подтвердить нужное расположение, повысили с 41,6% до 67,2%.
 
До недавнего времени ИИ в математике в основном воспринимался как очень быстрый помощник – проверить вычисления, перебрать варианты, найти закономерность, подсказать направление доказательства. Но постепенно ситуация меняется. Новые модели начинают не просто воспроизводить известную математику, а искать новые математические идеи.
 
Это принципиально новые сценарии для ИИИ. Мы привыкли к тому, что человек остается автором идеи, а нейросеть становится мощным инструментом. Однако привычная модель постепенно переворачивается – ИИ предлагает гипотезу или конструкцию, а человек пытается понять, почему это вообще работает.