Невыпущенная модель Anthropic продвигается в решении ключевой математической проблемы
Anthropic объявила, что невыпущенная модель ИИ достигла прогресса в решении гипотезы Римана, значительно увеличив нижнюю границу решений, для которых она выполняется. Модель координировала 60 субагентов в течение полутора дней, испробовав 650 вариантов решения и использовав 31 миллион выходных токенов. Результат был подтверждён двумя штатными математиками и формализован с помощью ассистента доказательств Lean.
Гипотеза Римана — одна из самых известных нерешённых задач математики, касающаяся распределения простых чисел, — остаётся недоказанной уже более 150 лет, и за её доказательство обещана премия в 1 миллион долларов. Компания Anthropic объявила, что её ещё не представленная публике модель добилась заметного прогресса: она существенно подняла нижнюю границу решений, для которых гипотеза заведомо
Показать ещё ↓
Источник: 3DNews —
оригинал