Исследования
Результат по математике Anthropic показывает, почему открытие ИИ всё ещё нуждается в стандарте доказательств
Неопубликованная модель Anthropic продвинулась в исследовании гипотезы Римана с помощью большого многоагентного поиска, но этот результат также подчеркивает, почему проверка, атрибуция и формальное доказательство остаются важными в исследованиях с поддержкой ИИ.
Майкл Г ·
Anthropic утверждает, что невыпущенная модель достигла значительного прогресса в гипотезе Римана, одной из самых известных нерешённых задач в математике. Компания не заявляла о полном доказательстве. Вместо этого она сообщила о продвижении в нижней границе решений, для которых гипотеза верна, а затем проверила и формализовала результат с помощью ассистента доказательств Lean.
Метод столь же примечателен, как и результат. Anthropic сообщает, что система протестировала 650 идей с помощью 60 субагентов примерно за полтора дня, используя 31 миллион выходных токенов. Большинство агентов не приходили к ключевому пониманию; некоторые генерировали альтернативы, другие проверяли аргументы, а меньшая группа помогала собрать формальную статью.
Это разделение труда является правдоподобной картиной автоматизации исследований. Модели могут исследовать гораздо большее пространство гипотез, чем человек, работающий в одиночку. Но исследование — это не доказательство, и, казалось бы, элегантный аргумент может потерпеть неудачу из-за скрытого предположения. Формальные системы и экспертная проверка — это не бюрократия; это способ, с помощью которого область делает результат подотчетным.
The Гипотеза Римана противостоял доказательству более 150 лет и остается одной из Проблем Тысячелетия Института математики Клея. Любое достижение заслуживает тщательной проверки, потому что стандарт необычно высок. То же самое верно для более широкого потока математических утверждений, созданных с помощью ИИ, который теперь поступает из нескольких лабораторий.
Самый важный вывод заключается не в том, что модель заменила математика. Важно то, что инструменты для генерации, проверки и передачи математических идей быстро сходятся, делая институты, которые их проверяют, более важными, а не менее.
Темы: Anthropic, математика, исследование ИИ