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