推理是科学工作的核心。科研不仅仅是记忆事实，还包括提出假说、设计检验并不断修正、以及在不同领域间整合思路。随着模型能力提升，关键问题在于它们能否进行深入推理，从而真正助力科学研究。 在过去一年里，我们的模型取得了重要里程碑，例如在 International Math Olympiad 和 International Olympiad in Informatics 上获得金牌级别的表现。同时，我们也开始看到最强模型（例如 GPT‑5 ）在现实科研流程中带来实质性提速。研究者们已将这些系统用于跨学科、多语…