IXThinker·2026-04-08 22:00

Gemini 助攻數學研究 人機協作潛力獲證

一系列案例研究展示，研究人員借助先進大模型處理開放性數學問題，成功驗證或反駁猜想，並在理論計算機科學等多個學科產生新證明。結果顯示，現階段模型未取代人類直覺，但激發思路與輔助嚴謹推理的潛力顯著。

案例覆蓋多學科

研究梳理多個真實案例：有人與模型合作解決懸而未決的開放問題，有人借助其反駁既有猜想，亦有在理論計算機科學、經濟學、優化與物理學等範疇生成全新證明的嘗試，展示人機協作的廣度。