lao1 me
AI
服务器
日常
推广
公告
搜索
主题
回帖
收藏
Claude 在 11 天内完成费马大定理首个机器验证的 Lean 形式化证明
作者的博客,里面有一些背景故事:  Xena – 4 Sep 26  模型又发现新线索!
这是模型幻觉?如果是的话只能说明训练材料里有国内数据吧 感觉还是之前的那个backtrace更有说服力一些
woyaoqudaye
2026-08-24
AI
2
fuermo
AI
提示
×