跳到主要內容
YunNEWS
今日
日報
週報
主題
主題
陶哲軒
3 則報導
·
橫跨 3 期
·
2026-07-28 起
一起出現的主題
#ICM
1
#First Proof
1
#Lean
1
#GPT
1
#SAIR Foundation
1
#開放數學模型計畫
1
2026-09-20
·
量子位
陶哲軒宣布啟動 SAIR 開放數學模型計畫，聚焦形式化證明並徵集算力與資金
2026-09-06
·
量子位
GPT-6 Astra 將孿生素數間距上界縮至 186，陶哲軒警告黑盒解題恐扼殺數學發展
2026-07-28
·
量子位
陶哲軒談AI數學危機