乐趣：3/4 个月前，我为一些学者运行了 o3，解决了一组 AIME 风格的问题。他们花了很长时间才写出结果摘要（96% irrc），以至于 Alex 在此期间解决了证明和 IMO，哈哈

@littmath 也就是说，不清楚在他们发布草案时，证明是否会被解决。