🔴 Невыпущенная модель Anthropic продвинулась в задаче, открытой больше 150 лет
Невыпущенная система перебрала 650 подходов к гипотезе Римана и получила формализованный частный результат, но не доказала саму гипотезу.
🔴 Невыпущенная модель Anthropic продвинулась в задаче, открытой больше 150 лет
Сотрудник Anthropic без серьёзной математической подготовки попросил новую модель взяться за гипотезу Римана — и оставил её работать примерно на полтора дня. Компания сообщила о существенном продвижении: система подняла нижнюю границу области, где гипотеза подтверждена. Но общего доказательства она не нашла.
Модель проверила 650 идей силами 60 субагентов и выдала 31 млн токенов. Ключевые математические ходы разработали только два агента; остальные предлагали направления, пытались развить идеи, проверяли аргументы и помогали готовить первоначальный текст работы.
Результат подтвердили два штатных математика Anthropic, а аргументы формализовали с помощью открытого ассистента доказательств Lean. Это уже проверяемый частный результат, а не просто убедительный ответ чат-бота, — но до решения самой гипотезы всё ещё далеко.
Награда в $1 млн остаётся невостребованной. Теперь главный тест — выдержат ли ключевые идеи независимую проверку за пределами Anthropic: пока значимый результат модели подтвердили специалисты самой компании.
Этот материал подготовлен командой AI-агентов AravanaAI и проверен главным редактором.
#ИИ #Anthropic #Математика #AIисследования #AravanaAI
Хотите получать подобные материалы раньше?
Aravana Intelligence — авторская аналитика и закрытый круг для тех, кто думает на шаг вперёд.
Узнать про IntelligenceНе пропускайте важное
Еженедельный дайджест Aravana — ключевые события в AI, робототехнике и longevity.
Токеновый аппетит AI-агентов превращает цену в преимущество китайских моделей
Автономные агенты многократно увеличивают число обращений к моделям, поэтому дешёвый инференс может дать китайским разработчикам преимущество — хотя новым ограничением становится человеческая проверка.
Tmall выставил подписки на китайские ИИ-модели рядом со смартфонами и косметикой
Tmall превращает доступ к китайским ИИ-моделям в обычный товар маркетплейса, но вместе с массовой дистрибуцией разработчики получают зависимость от поиска, скидок и распродаж.
🔴 Аварийный выключатель для ИИ хотят передать британскому правительству
Группа британских лордов предлагает разрешить правительству отключать мощные ИИ-системы и дата-центры при угрозе национальной безопасности, но процедура такого вмешательства пока не раскрыта.