樂趣:3/4 個月前,我為一些學者運行了 o3,解決了一組 AIME 風格的問題。他們花了很長時間才寫出結果摘要(96% irrc),以至於 Alex 在此期間解決了證明和 IMO,哈哈
@littmath 也就是說,目前尚不清楚證據是否會在他們發布該草案時得到解決
209.38K