Эксперимент с экспериментальной моделью Anthropic показал, как ИИ может помогать в мате... — 14 сентября 2026 г. в 10:02:25.668
Эксперимент с экспериментальной моделью Anthropic показал, как ИИ может помогать в математических исследованиях — даже не решая исходную задачу полностью. Модель не доказала гипотезу Римана, но, по описанию эксперимента, объединила результаты нескольких современных работ и статьи Бомбьери, добившись оценки, согласно которой 67,2% нетривиальных нулей дзета-функции находятся на критической прямой. Это не решение гипотезы: достаточно одного исключения. Работа строилась итеративно: модель перебрала около 650 идей, затем координировала субагентов, выполняла команды и писала скрипты. Исследователь постоянно просил её продолжать после неудачных попыток. Практический вывод: ИИ полезен как инструмент поиска связей между существующими результатами и проверки гипотез. Но его выводы требуют математической проверки, а настойчивый цикл генерации и критики не гарантирует правильность.