ИИ приблизился к разгадке гипотезы Римана: модель Anthropic проверила 650 идей за полтора дня

На проект ушел 31 миллион токенов, но награда тоже хороша.

Нейросеть Anthropic продемонстрировала серьезный прогресс в работе над гипотезой Римана, одной из самых известных математических загадок. Проектом занималась одна из экспериментальных моделей компании.

Гипотеза Римана описывает закономерности распределения простых чисел. За ее полное доказательство фонд Clay Mathematics Institute предлагает награду в $1 миллион. Нейросеть Anthropic занялась гипотезой после запроса одного из сотрудников компании.

Когда модели предложили попытаться доказать гипотезу Римана, нейросеть распределила задачу между 60 субагентами и продолжала работу около полутора дней. За это время модель проверила 650 идей, связанных с различными подходами к доказательству гипотезы.

Два субагента занимались разработкой основных математических концепций, еще несколько групп предлагали новые направления поиска, проверяли рассуждения и помогали подготовить научное описание результата. В общей сложности модель потратила 31 миллион токенов.

Результат проверили два сотрудника-математика Anthropic, предложенные нейросетью аргументы дополнительно формализовали с помощью Lean. Доказать гипотезу модели не удалось, но она смогла существенно (с 41.6% до 67.2%) увеличить нижнюю границу диапазона решений, для которых гипотеза Римана остается верной.

Словом, заработать $1 миллион нейросети пока не удалось.