当前位置：
AIGC文章详情

Claude用11天1300万行代码完成费马大定理形式化证明

源自49位全网作者

16:32

精选参考来源

1
刚刚，Claude 5.1 发布！全球最强模型来了

机器之心 2026-09-02

来自微信公众号
2
我用数学测试了 GPT-Astra。它是一个量子飞跃。你可以与模型对话，并在 Lean 中实时证明陈述。这种感觉绝对惊艳。你可以验证你的想法，编译真理。对于数学家来说，这感觉就像我们终于进入了这样一个时代，我们可以完全专注于构思和探索。一旦逻辑设定好，每个引理就会顺畅流动。以前验证总是落后，但 Astra 非常快，对于许多任务，形式化过程会在你用 Codex 写论证时同步进行。如果你告诉模型使用 literate programming + LaTeX，你最终会得到你的证明与 Lean 代码相结合，一切都像你写的那样解释清楚，混合着易于消化的 Lean 小代码块。我不想回到那个证明的唯一确认只是“啊哈”的时代。现在“啊哈”后面跟着一个绿色的勾号，它确实告诉你，你已经捕捉到了本质。想象一下，将世界上所有的引理组合到一个巨大的数据库中，指向发现它们的人和模型，该有多酷。你组合和混合你的想法，站在巨人的肩膀上。但现在你看得更远，构建得更快。而我们才刚刚处于这些变化的开端。还有这么多工作要做，这么多乐趣！引用：GPT-6 Astra is here! This is a big moment for our research team - years of work on pretraining, reinforcement learning, and post-training have come together in our most capable and aligned model yet. It can build and test software, work across apps on your computer, and even help x.com/OpenAI/status/…网页链接

斌叔OKmath 2026-09-04

来自新浪微博
全部
来源
内容由AI生成

精选参考来源

1. 刚刚，Claude 5.1 发布！全球最强模型来了

微信公众号 2026-09-02 00:00:00

2. 我用数学测试了 GPT-Astra。它是一个量子飞跃。你可以与模型对话，并在 Lean 中实时证明陈述。这种感觉绝对惊艳。你可以验证你的想法，编译真理。对于数学家来说，这感觉就像我们终于进入了这样一个时代，我们可以完全专注于构思和探索。一旦逻辑设定好，每个引理就会顺畅流动。以前验证总是落后，但 Astra 非常快，对于许多任务，形式化过程会在你用 Codex 写论证时同步进行。如果你告诉模型使用 literate programming + LaTeX，你最终会得到你的证明与 Lean 代码相结合，一切都像你写的那样解释清楚，混合着易于消化的 Lean 小代码块。我不想回到那个证明的唯一确认只是“啊哈”的时代。现在“啊哈”后面跟着一个绿色的勾号，它确实告诉你，你已经捕捉到了本质。想象一下，将世界上所有的引理组合到一个巨大的数据库中，指向发现它们的人和模型，该有多酷。你组合和混合你的想法，站在巨人的肩膀上。但现在你看得更远，构建得更快。而我们才刚刚处于这些变化的开端。还有这么多工作要做，这么多乐趣！引用：GPT-6 Astra is here! This is a big moment for our research team - years of work on pretraining, reinforcement learning, and post-training have come together in our most capable and aligned model yet. It can build and test software, work across apps on your computer, and even help x.com/OpenAI/status/…网页链接

新浪微博 2026-09-04 00:00:00

3. 拆解 Claude 5.1：38 小时不睡觉的背后，Anthropic 正在终结「模型论」

微信公众号 2026-09-02 00:00:00

4. AI证明了一个数学新定理

知乎 2026-08-29 00:00:00

5. AI写代码总有Bug？AWS工程师用Lean4形式化验证给出解法 | AI Engineer

哔哩哔哩 2026-09-02 00:00:00

1
0
扫一下，分享更方便，购买更轻松
0评论

当前文章无评论，是时候发表评论了
提示信息

取消
确认
评论举报

最新文章 热门文章
查看更多

已收藏
去我的收藏夹