#陶哲軒

OpenAI GPT 5.2 展現驚人數學推理能力，協助破解 11 個艾狄胥猜想。陶哲軒等頂尖數學家關注 AI 如何處理數學領域的「長尾」難題，形式化證明工具 Lean 與 Aristotle 成為關鍵。