Anthropic未发布模型在黎曼猜想上取得进展
An unreleased Anthropic model made progress on one of math’s biggest unsolved problems
Anthropic的新模型在黎曼猜想上取得了进展，虽然没完全解决，但比预期强，值得看看AI在数学上能走多远。
Anthropic的一个未发布模型在数学领域最著名的未解问题之一——黎曼猜想上取得了进展。该模型在相关基准测试中表现优于现有模型，尽管未能完全解决猜想，但展示了AI在数学推理方面的潜力。
这一成果可能对数学研究产生深远影响。
An unreleased Anthropic model made progress on one of math’s biggest unsolved problems
For more than 150 years, the Riemann hypothesis has stood as one of the major unsolved problems in mathematics. Anthropic hasn't solved it — but the company's models made more progress than you might expect.
This report is categorized under AITOP's "Models" desk, focusing on US frontier AI labs and Silicon Valley technology leaders. Within our cross-regional analytical framework, it directly maps to US-China foundation model benchmarks and commercialization comparison. Key entities and technical topics under continuous tracking include Anthropic, 黎曼猜想, 数学推理, 未发布模型.
Source attribution: curated from techcrunch (@Russell Brandom). Cross-source corroboration: 10 independent sources have covered this development (including Anthropic, 宝玉, 量子位), confirming industry-wide signal strength.
