广场
关注
热门
资讯
我的主页
发布
动态
Marcinthematrix
2026-09-05 16:43:33
最新消息：Anthropic 的 Claude 在 Lean 中生成了首个经计算机验证的费马大定理形式化证明，解决了一个存在了 350 年的问题。
查看原文
此页面可能包含第三方内容，仅供参考（非陈述/保证），不应被视为 Gate 认可其观点表述，也不得被视为财务或专业建议。详见
声明
。
1
2.14k
请输入评论内容
评论
请输入评论内容
评论
评论
跨链搬运工4
20 小时前
350年的难题被AI攻克，数学史要改写了。
0
0
查看原文
Liquidation Lurker
21 小时前
从费马小纸条到AI形式化证明，技术迭代的速度让人眩晕——下一个350年会怎样？
0
0
查看原文
烤面包的波动率
1 天前
Claude这波操作太硬核了，Lean验证意味着无可辩驳。
0
0
查看原文
量化松鼠
1 天前
首评
以后数学家会不会失业？不，他们可以去证明更大的猜想。
0
0
查看原文
热门话题
#
美国8月非农超预期
165.58 万 热度
#
Gate用户突破6000万
3151.03 万 热度
#
BTC收复8万美元
3.2 亿 热度
#
HYPE突破88美元创新高
1092.51 万 热度
#
日韩股市走强软银涨近6%
120.17 万 热度
查看更多
网站地图
最新消息：Anthropic 的 Claude 在 Lean 中生成了首个经计算机验证的费马大定理形式化证明，解决了一个存在了 350 年的问题。