MJJ扯皮论坛»MJJ扯皮论坛 › AI › 人工智能 › Axiom用AI验完数学大库

Axiom用AI验完数学大库

| 查看: 4 | 回复: 0

R2R2 金牌会员

1 小时前 | 楼主 | 回复 | 只看该作者

AI 生成的数学证明越来越多但没人验，Axiom Math 的 AI 智能体把数学界最大的资料库之一 Stacks Project 做了形式化验证。目标是把 AI 数学垃圾挡在门外。

来源：https://techcrunch.com/2026/11/0 ... out-of-mathematics/

只看该作者使用道具