乐趣:3/4 个月前,我为一些学者运行了 o3,解决了一组 AIME 风格的问题。他们花了很长时间才写出结果摘要(96% irrc),以至于 Alex 在此期间解决了证明和 IMO,哈哈
@littmath 也就是说,目前尚不清楚当他们发布该草案时证据是否会得到解决
209.38K