IXThinker·2025-06-01 12:10DeepMind開源AI數學猜想習題集
DeepMind開源了一套形式化數學猜想庫，收錄經典猜想的形式化表述，獲數學家陶哲軒轉發推薦，被視為AI輔助數學證明的標準習題集。
猜想庫內容
這個形式化數學猜想庫收錄多個經典猜想的形式化表述，例如解析數論中著名的四個朗道問題，讓研究者與AI模型有統一的切入點，方便對照與訓練。
IXThinker 會員內容
呢篇係 Archive 內容。登入即可解鎖全文，仲有成個 15,000+ 篇、每日更新嘅 AI 動態資料庫。
免費登入／註冊解鎖全文 →Google 或電郵地址即可，即刻解鎖。