数学界震动！Claude一口气写下19万行源码，揪出13年前证明错误

人工智能

Claude 写出 19 万行源码，查出 13 年前数学证明漏洞

这件事的核心就是 Claude 借助形式化证明工具，自动生成约 19 …

硅轨广播
2026年11月13日
0 4 0 0

联系我们

联系：143 0457 151

工作时间：周一至周五，9:30-18:30，节假日休息