Vincent (@Vincent_AINotes) “AI 数学圈最尴尬的事： 模型宣布攻克“未解难题”，后来才发现答案早就躺在旧论文里。” — TopicDigg
Vincent
@Vincent_AINotes
AI
加入 November 2024
375 正在关注 56.3K 粉丝
AI 数学圈最尴尬的事：
模型宣布攻克“未解难题”，后来才发现答案早就躺在旧论文里。
证明可能是真的，发现却是假的。
Axiom CEO Carina Hong 甚至把大家追着 Erdős 问题刷战绩，形容成“抓宝可梦”。
Lean 可以验证推理是否正确，却无法验证成果是否原创、问题是否重要。
所以今天的 AI for Math，到底是科学突破，还是披着形式化验证外衣的 benchmark 营销？
她后面给出的答案，比“AI 会不会取代数学家”狠多了。
显示更多
