menyenangkan: 3/4 bulan yang lalu saya menjalankan o3 untuk beberapa akademisi pada serangkaian masalah gaya AIME. Butuh waktu lama bagi mereka untuk menulis ringkasan hasil (96% irrc) sehingga Alex memecahkan bukti & IMO sementara itu lol

@littmath Yang mengatakan, tidak jelas apakah bukti akan diselesaikan pada saat mereka merilis draf itu