An unreleased Anthropic model made progress on one of math's biggest unsolved problems | TechCrunch · AuraTracer

SummaryAI generated

According to TechCrunch, on August 11, 2026, Anthropic’s model, which has not yet been released publicly, made progress in the field of mathematics. The model successfully solved one of the major unsolved problems in the mathematical community for a long time. Currently, this achievement is still in the internal testing phase and has not been publicly disclosed or released yet.

Related eventsRELATED EVENTS

2026-09-07 21:02The `GPT-6 Astra model was released, and OpenAI President Brockman confidently declared, “Welcome to the era of AGI.”
2026-09-08 19:21OpenAI released GPT-6 Astra, marking the arrival of the AGI era, with capabilities for autonomous computer operation and scientific research.
2026-09-08 22:40① Nvidia CEO Jensen Huang posted that OpenAI’s GPT-6 Astra, released last week, was trained using approximately 100,000 NV Link 72 clusters, and he believes that General Artificial Intelligence (AGI) has officially arrived; ② GPT-6 Astra can directly operate computers and software to perform complex tasks such as programming, reaching the most advanced level in multiple fields. OpenAI has announced the beginning of the AGI era.

Key entitiesKEY ENTITIES

AnthropicRussell Brandom

Event frameEVENT FRAME

Launch

Anthropic 未发布模型在黎曼假设上取得数学突破

Coverage · reports per dayLANGUAGE SPLIT

Entity relations

SignalsSIGNALS

Keyword heat

Anthropic1
Russell Brandom1

All reports (1)SOURCES

↗

T TechCrunch 归档 8月 p12 en 2026-08-11 08:00

An unreleased Anthropic model made progress on one of math's biggest unsolved problems | TechCrunch

Anthropic 宣布其未发布模型在数学重大未解问题黎曼猜想上取得显著进展，大幅提高了该猜想成立解的下界。该模型由一名无深厚数学背景的 Anthropic 员工提示“尝试证明”后，自行协调跨 1.5 天任务完成。测试过程中，模型评估了 650 个不同想法，协调 60 个子代理并消耗 3100 万输出令牌。其中两个子代理负责开发关键数学概念，其余分别承担构思、验证及撰写工作。两项内部数学家确认了该发现，并使用开源证明助手 Lean 进行了形式化。这是大型语言模型在数学领域突破的延续，此前 OpenAI 的"Astra"模型已证明多项 Erdos 问题，Anthropic 还推翻了雅可比猜想。尽管部分数学家担忧 AI 可能削弱作者责任标准，但 Fields 奖得主蒂莫西·格沃思认为这未必是负面变革。