學術 AI

Clay Mathematics Institute 正在審查 OpenAI 的 AI 生成 Navier–Stokes 解法，使 100 萬美元數學獎金的主張暫停。

Inherent 表示其 Faraday AI 代理在論文複現上擊敗了更大型的 Anthropic 與 OpenAI 系統，突顯較小模型與研究導向代理的潛力。

Anthropic 為符合歐盟透明度規範，正在為 Claude 的文字加上浮水印，這也引發了關於 AI 偵測、職場使用、學術誠信與隱私的討論。

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 輔助研究的範式轉變。