有趣的是：大約 3/4 個月前，我為一些學者解決了一組 AIME 風格的問題。 他們花了這麼長的時間來撰寫結果的摘要（如果我沒記錯是 96%），在此期間 Alex 解決了證明和 IMO，哈哈。

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

有趣的是：3/4個月前，我在一組類似AIME的問題的私人測試集上運行了o3，為一些學術研究進行測試。他們花了這麼長時間才寫出結果的摘要（96%），而在此期間，Alex解決了IMO。

@alexwei_ 你能告訴世界每個問題有多少代幣嗎？

本週總結： - 我們發布了使用代理的通用計算機 - 在 atcoder 問題競賽中被一位人類擊敗 - 用自然語言證明解決了 5/6 個新的 IMO 問題 所有這些都基於同一個強化學習系統

17名美國青少年，年級9-12，約有5名美國國際數學奧林匹克金牌得主，但約有20名孩子達到金牌水平。因此，國際數學奧林匹克金牌是千分之一的數學天才（對於18歲的青少年；但我敢打賭下一屆普特南也會如此）。99.9999百分位。

我為我們剛發布的IMO結果感到興奮的原因： - 我們幾乎沒有進行IMO特定的工作，我們只是持續訓練通用模型 - 所有自然語言證明 - 沒有評估工具 我們需要一個新的研究突破，而@alexwei_和團隊做到了。

如果你聲稱預見了這一切，那你最好有多元的盈虧來支持這個說法。

大型語言模型仍然被低估

我覺得這對你們中的一些人今天可能會有幫助：