有趣的是：3到4個月前，我為一些學者運行了o3，解決了一組AIME風格的問題。他們花了這麼長時間才寫出結果摘要（98%），在此期間，Alex已經解決了proof+IMO，哈哈。