一名前端开发者用AI智能体解开了50年悬案。
知名前端开发者Dan Abramov在9月18日公布了康威细化猜想的机器验证证明。他用五周时间指挥ChatGPT和Claude，花掉约四万美元的调用量。证明检查程序认可这一结果，但还没有数学家审阅过。
为什么重要?机器现在能为一份无人通读的证明背书，这改变了谁有资格做数学。它也给一个硬结果标了价，五周时间加一辆二手车的钱。
▶ 相关视频: John Horton Conway | The surreal numbers
在App中阅读——免费，9种语言
相关新闻
中国电信新开源模型能装进一张游戏显卡。2026-09-20Claude Code现在会读竞争对手也在用的那份规则文件。
2026-09-19智谱让GLM把自己的服务系统速度提到了三倍。
2026-09-19阿里开源了一个能在CT上识别146种疾病的模型。
2026-09-19Meta的Muse智能体现在能读你Mac上的文件和邮件。
2026-09-19