PulseAugur
中
实时 05:48:59
实体 Best-Birkbeck-Brasca-Rodriguez

Best-Birkbeck-Brasca-Rodriguez

PulseAugur coverage of Best-Birkbeck-Brasca-Rodriguez — every cluster mentioning Best-Birkbeck-Brasca-Rodriguez across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 0
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_236635 ·

    Anthropic 的 Claude AI 已将费马大定理证明形式化 · 跟踪 8 个来源

    Anthropic 的 AI 模型 Claude 使用 Lean 证明助手成功形式化了费马大定理的完整证明。这项历时 11 天的重大成就，涉及生成数百万行代码和数千个中间定理。虽然形式化验证了一个现有的数学证明路线，但它代表了 AI 辅助自动形式化的重大进展，展示了大型语言模型解决复杂、可验证数学挑战的能力。