AI资讯新闻榜单内容搜索-AI数学证明

关键词: AI新闻,Fable 5,Claude Fable 5,AI数学,AI数学证明

今天上午，一位在 Anthropic 工作的数学家 Levent Alpoge 发了一条推文。学术圈的反应很快。斯坦福的数论学家 Jared Duker Lichtman 转发并逐步拆解了这个反例，还顺手挖出了一段几乎像电影桥段的历史巧合（后面细说）

关键词: AI,deepseek,AI数学,人工智能

陶哲轩转发，AI搞数学证明的标准习题集来了！