陶哲軒創辦AI x Science組織

🔑 增強重點摘要

• •SAIR基金會於2026年2月10日在UCLA正式啟動，由陶哲軒與多位諾貝爾獎、圖靈獎和菲爾茲獎得主共同創辦，旨在透過開放基礎設施民主化先進AI工具[1][2]
• •陶哲軒在2026年3月初的IPAM會議上宣布AI已為數學和理論物理做好準備，因為AI現在『節省的時間超過浪費的時間』，他已將文獻搜索、代碼編寫、繪圖和驗證等多項任務交由AI處理[5]
• •SAIR基金會的策略包括建立共享數據集、可重複性協議和研究員獎學金，以解決當前AI科學研究中的透明度、可訪問性和驗證等治理問題[1]
• •陶哲軒強調形式驗證工具（如Lean）的重要性，以防止AI生成看似精緻但隱含邏輯漏洞的證明，並預見數學家的工作將轉向問題選擇、工作流設計和結果檢驗[5]
• •計算成本每年下降約30%，使中型實驗室能進行大規模模擬，這為SAIR基金會的時機提供了經濟基礎，而過去的類似嘗試因缺乏廉價計算資源和開放標準而失敗[1]

🛠️ 技術深入

• •陶哲軒使用ChatGPT進行文獻搜索、代碼生成、繪圖製作、計算運行和可行性評估
• •文獻搜索時間從數小時或數週縮短至數分鐘，並能生成相關論文的有用映射
• •採用Lean等形式驗證工具進行逐行證明驗證，確保AI輔助的數學論證的嚴謹性
• •AI在假設生成、模擬和數據整理中展現加速潛力，但在某些方向仍存在不可靠性
• •蛋白質結構預測器（如AlphaFold類工具）指導實驗生物學家進行更高價值的濕實驗室測定

🔮 前景展望AI analysis grounded in cited sources

⏳ 時間線