仔細閱讀這個：OpenAI 在 IMO 中獲得了金牌，這是通過一個新的推理模型（那個短暫出現的新 o3 alpha 模型？） 在短短 15 個月內，他們從 AIME 的 12% 進步到 IMO 的金牌。結論： 明年，這些模型可能會好到能夠發展出新的定理。 天啊。