Claude 正式化费马大定理；AI 模型发布激增
热门实体
24小时 · 实时
查看动量榜 →
Anthropic 的 Claude AI 已实现一项重大里程碑，完成了首个端到端、计算机可验证的费马大定理形式证明。这项成就耗时 11 天，使用了约 1300 万行 Lean 代码和超过 30,000 个中间定理，极大地加速了此前需要数年人工努力的过程。该项目利用了一个名为 Prove2Me 的平台进行多智能体协作，凸显了 AI 在复杂数学推理和大规模代码生成方面的能力日益增强，突破了形式验证的界限。…
PulseAugur 热点
过去 24 小时
订阅以阅读完整简报
PulseAugur Pro 订阅者可全权访问每一份每日简报 —— 无论是今日还是历史的任何一天。免费读者可完整查看最新简报,以及历史简报的预览。