lao1 me
AI服务器日常推广公告
搜索
菜单
主题回帖收藏
  • undercat
    Claude 在 11 天内完成费马大定理首个机器验证的 Lean 形式化证明
    作者的博客,里面有一些背景故事: ![图片](https://cdn3.ldstatic.com/original/4X/7/6/f/76fbfdf25e91d7533cc31e0e796183084877c213.png) Xena – 4 Sep 26 ![图片](https://cdn3.ldstatic.com/original/4X/f/0/4/f045a3665eba665dd775b
    undercat2026-09-05AI1fuermo
    AI
  • woyaoqudaye
    ox-alpha (x-preview-f-free) 模型又发现新线索!
    这是模型幻觉?如果是的话只能说明训练材料里有国内数据吧 感觉还是之前的那个backtrace更有说服力一些
    woyaoqudaye2026-08-24AI2fuermo
    AI
fuermo
fuermo
Lv1 · lao1 0
TA的主题TA的回帖我的称号TA的收藏
提示