樂趣：3/4 個月前，我為一些學者運行了 o3，解決了一組 AIME 風格的問題。他們花了很長時間才寫出結果摘要（96% irrc），以至於 Alex 在此期間解決了證明和 IMO，哈哈

@littmath 這麼說來，不清楚在他們發布那份草案之前，證明是否會被解決。