從數學證明到代碼驗證，AI 也能檢查邏輯？Mistral 公開「Leanstral 1.5」
深入了解 Mistral 推出的全新開源模型 Leanstral 1.5，這是一款能自動驗證複雜數學證明與軟體代碼錯誤的 AI。
Tag: 數學
數學界的捉迷藏：AI 與數學家發現「稀有三角形」的秘密
AI 與數學家合作，證明了在特定數學領域中，晶格三角形為何幾乎不存在。
AI 解決了高懸 80 年的數學難題？人類數學家感到驚訝的意外原因
OpenAI 的人工智慧自行解決了 1946 年提出的艾狄胥單位距離問題。本文將深入淺出地解釋 AI 如何正在改變數學研究的歷史。
百年數學難題被 AI 破解？我們每天喝的咖啡中隱藏的「秘密」
Google DeepMind 與紐約大學利用 AI 找到了納維-斯托克斯方程的新解法。本文將為您深入淺出地解釋這將如何改變天氣預報與飛機設計的未來。
AI，會是解開攻不可破數學難題的鑰匙嗎？Google「AI for Math」計畫開啟的新時代
Google DeepMind 與全球頂尖數學家攜手合作。我們將以淺顯易懂的方式說明「AI for Math」倡議的核心內容，探討 AI 如何解決複雜的數學難題並加速科學發現。
數學難題，AI 會是解開關鍵嗎？Google DeepMind 的「AI for Math」計畫
如果有一個能幫忙解決困難數學問題的聰明 AI 夥伴呢？我們將以淺顯易懂的方式，為您介紹 Google DeepMind 與全球頂尖研究機構合作啟動的「AI for Math」倡議。
數學天才也放棄的難題，AI 能解決嗎？Google DeepMind 啟動「AI for Math Initiative」
介紹 Google DeepMind 與世界頂尖大學合作，旨在利用人工智慧解決數學難題的新計畫「AI for Math Initiative」。