OpenAI 表示其模型協助產出十項數學與理論電腦科學的新成果，顯示公司正更認真地進軍研究級 AI。

OpenAI 表示，將提供 10 萬名學術研究人員免費使用 ChatGPT，讓先進模型進入科學工作流程與實驗室。

德國的開放模型 Soofi S 宣稱在完全開放的英文與德文基準測試中名列前茅，同時其創作者也揭露並修正了一次測試資料外洩。

Mistral AI 近日推出 Leanstral 1.5，這是一款 Apache-2.0 授權的 Lean 4 程式碼代理模型，據報可解出 PutnamBench 672 題中的 587 題。

科學家利用 OpenAI 的 ChatGPT-5 Pro 取得新穎的數學證明與黑洞發現，儘管仍有持續的限制，這也標誌著 AI 輔助研究的範式轉變。