前OpenAI後訓練VP Fedus回應陶哲軒:AI從敲門者變成建築師的數學辯證
為何重要
AI正從協助解題的「工具」轉型為產生原創洞見的「研究夥伴」,這標誌著高階推理能力的質變,並顯示出AI代理協作模式對研發效率的改寫。對產業而言,這既是技術突破的護城河,也引發了關於資料隱私、智慧財產權歸屬及學術倫理的重大合規挑戰。
針對25位菲爾茲獎得主聯署警告AI過度追求解題將毀壞數學理解,前OpenAI後訓練VP Liam Fedus反駁認為應用目前AI邊界限制未來想像,主張AI終將具備提出洞見與建構概念框架的能力。
- 模型能力已從IMO競賽進展至挑戰Erdős單位距離猜想、幾何猜想及千禧年難題。
- OpenAI今年5月動用代數數論工具反証了近80年歷史的Erdős單位距離猜想,獲菲爾茲獎得主肯定。
- OpenAI在約88小時內動員約1萬個自主AI Agent,配合Lean工具解決Navier–Stokes方程奇點問題。