每天听简报，了解最新科技、AI、软件资讯
一个数学小白，花一个月和差不多四万美元算力，靠AI啃下康威五十年前的未解猜想，证明通过了自动验证工具的机械检查，但还没经专业数学家审核。他一开始直接让Claude硬解，对方满嘴自造黑话，写出他吐槽为蹩脚科幻的胡话，什么控制列证实了共振必要性猜想。后来他改用ChatGPT挑刺，又搭了一整套多智能体流水线，有推进的、有专门挑错的，烧了差不多四百亿个token，中间两次以为大功告成又被自己戳穿，第四周才真正证出来。评论区有人调侃这是无限猴子定理的AI版，也有人质疑他凭什么说这是自己的证明，明明都是模型在干活。
进度保存在本设备 · 登录同步