北京協和醫院的一名神經外科住院醫師，利用 GPT-5.6 Sol 模型證明了數值線性代數中一個存在二十年的數學猜想。這項突破是該醫師為了支持其關於經顱超聲波的研究而完成的。該證明直接幫助了他進行經顱聚焦超聲波神經調制的研究工作。此案例突顯了先進 AI 模型在解決純計算機科學領域之外，複雜且歷史悠久的數學問題時的實用價值，並展示了專業工具如何加速醫學等多樣化科學領域的研究進程。

事件背景

數值線性代數是處理矩陣和向量計算演算法的數學分支，這些計算是許多科學模擬的基礎。經顱聚焦超聲波（tFUS）是一種利用聲能調控大腦活動的非侵入式技術，需要精確的數學建模才能有效定位。該領域猜想的證明通常涉及嚴謹的計算驗證和理論推導。

社群觀察

社群評論反映了娛樂與認可的混合情緒。用戶們注意到 AI 常被稱為騙局卻能解決複雜數學問題的諷刺現象。有人將其與之前的 AI 里程碑如 Tai 公式故事相比較，將其視為展示 AI 不斷增長能力的精彩示範。