數學領域一項重大的 AI 里程碑，這對研究而言令人振奮，卻讓從事這項工作的人感到不安。

• OpenAI 的系統攻克了 10 個長期未解的數學猜想，換作是人類做出這些成果早已獲得肯定。
• 這些問題確實存在，但屬於冷門領域——是紮實的成果，而非今年最頂尖的突破，且大多可用既有方法解出。
• AI 在能夠暴力嘗試數百萬次的地方，或答案容易由電腦驗證的地方表現出色，在深奧的原創理論上則較為遜色。
• 這些證明是在一個名為 Lean 的系統中經過嚴謹驗證的，但大多數由 AI 生成的數學仍需要人類來確認其正確性。
• 有些數學家對機器正在接管他們所熱愛的探索工作，感到真切的恐懼；也有人預測，對數學家的需求將會激增，以驗證這股新成果洪流並在其基礎上進一步發展。

展望：這些工具預計將持續快速進步，迫使數學的教學方式以及這個專業的結構產生變革。