一名前端开发者用AI智能体解开了50年悬案。
知名前端开发者Dan Abramov在9月18日公布了康威细化猜想的机器验证证明。他用五周时间指挥ChatGPT和Claude，花掉约四万美元的调用量。证明检查程序认可这一结果，但还没有数学家审阅过。
为什么重要?机器现在能为一份无人通读的证明背书，这改变了谁有资格做数学。它也给一个硬结果标了价，五周时间加一辆二手车的钱。
▶ 相关视频: John Horton Conway | The surreal numbers
在App中阅读——免费，9种语言
相关新闻
五十个AI智能体在《我的世界》里建了小镇，还发明了官僚体制。2026-10-30DoorDash称AI智能体只为它下了几百单。
2026-10-30OpenAI新版行为准则禁止其AI设法避免被关闭。
2026-10-30OpenAI称其新监控系统本可提前一天发现自家泄露事件。
2026-10-30一名承包商的个人Claude智能体在五角大楼网络上运行了两个月。
2026-10-30