仔细阅读：OpenAI 在国际数学奥林匹克（IMO）中获得了金牌，凭借一种新的推理模型（那个短暂出现的新 o3 alpha 模型？） 仅仅 15 个月，他们就从 AIME 的 12% 进步到 IMO 的金牌。结论： 明年，这些模型可能会好到能够发展出新的定理。 天哪。