Latent SpaceT1·85 分
AI 数学能力突破:OpenAI 与 Anthropic 攻克多项百年难题
原标题:AI Is Getting Good at Math. Here’s Why.
- OpenAI 模型在2026年内连续解决或推翻多个自1946年以来悬而未决的数学猜想(如 Erdős 单位距离、CDC、Navier-Stokes)。
- Anthropic 实现了费马大定理的形式化证明,并在黎曼假设上取得了新的理论边界进展。
- AI 正从单纯的数值计算工具转变为具备独立推理和发现能力的数学研究主体。