IXThinker·2025-06-13 16:00

DeepMind開源形式化猜想庫獲陶哲軒讚

Google DeepMind正式開源「形式化猜想」GitHub項目，將數學猜想以形式化語言重新表述，讓AI工具能讀懂並嘗試解決。項目由解析數論的蘭道猜想出發，長期關注形式化數學的陶哲軒發長文點評，業界反響熱烈。

項目內容

這個公開數據庫把數學猜想用形式化語言重新表述，令AI工具能夠讀懂並嘗試解決這些問題。項目從解析數論的蘭道猜想開始，將逐步擴充，被視為AI破解數學難題之路的重要基建，已在GitHub開放。