數學
網絡
讀懂複雜世界的數學家新法：解決「圖形三明治」難題
困擾數學界 20 多年的「圖形三明治」難題終於被解決了。這項能分析複雜網絡的全新數學工具，將如何改變我們的未來技術，我們為您深入淺出地說明。
Tag: 數學
AI 破解了 27 年難題？數學家提出質疑與數據盜用爭議
針對數學界長年難題「非索菲克群（non-sofic group）」的證明，本文深入淺出地解釋了 OpenAI 與數學家安德烈亞斯·托姆（Andreas Thom）之間引發的數據盜用爭議。
AI 破解了 166 頁的數學難題？「納維-斯托克斯」與「Lean」的登場
AI 據稱解決了數學界七大難題之一的納維-斯托克斯問題，這究竟意味著什麼？讓我們為您簡單介紹電腦直接進行證明的方法——「形式化證明」。
AI 破解了百年的數學難題？學術界引發軒然大波的真正原因
OpenAI 宣佈利用人工智慧解決了數學難題「納維-斯托克斯問題」，但隨之而來的研究抄襲爭議，讓各界對其真實性產生了激烈爭論。
AI 破解了百年數學難題？「納維-斯托克斯」問題解決方案的真相
OpenAI 的次世代 AI 模型與 1 萬個代理程式聲稱已解決了數學界的難題「納維-斯托克斯」方程式。本文將為您簡單說明為何這項進展如此重要，以及目前引發的爭議。
AI 竟在 11 天內證明了 300 年歷史的數學難題？
AI 模型 Claude 成功以電腦可驗證的形式證明了數學難題「費馬最後定理」，引發熱議。本文將帶您輕鬆了解 AI 的數學能力及其意義。
AI 能自己解數學題嗎？沒有指揮官的科學家村「車站（Station）」
我們將深入了解一個全新的環境「車站」，在這個環境中，AI 無需中央控管，就能自動確定研究主題並透過合作達成數學發現。
解決數學難題的 AI『阿斯特拉（Astra）』，真的是人類的救星嗎？
OpenAI 公開的次世代 AI 模型阿斯特拉解決了數學界的 10 個難題。這個模型有什麼特點？它真的像廣告說的那麼厲害嗎？
AI「Astra」破解10大數學難題，人類曾望而卻步
OpenAI 公布的次世代模型 Astra 成功解決了數學與計算機科學領域的 10 大難題。本文將深入淺出地解析該模型解決這些難題的意義及其運作機制。
數學界的難題只需1小時？AI 證明了「麥斯威爾猜想」是錯的
近期發布的 OpenAI AI 模型 GPT-5.6 Sol 在解決了困擾數學界 50 多年的難題後備受矚目。我們將探討 AI 如何跨越單純的寫作，成為科學發現的全新主角。
AI 解決了 30 年的數學難題？人工智慧真的理解了嗎？
我們將為您詳細說明 OpenAI 最新 AI 模型 GPT-5.6 Sol 如何解決困擾數學界 30 年的難題，以及這項技術將如何改變我們的日常生活。
50年難題只需1小時？AI破解數學界的重大難題
OpenAI 的最新 AI 模型 GPT-5.6 Sol Ultra 在 1 小時內證明了困擾數學界 50 年的「循環雙覆蓋猜想」。本文將深入淺出地解釋 AI 如何改寫數學歷史。
從數學證明到代碼驗證，AI 也能檢查邏輯？Mistral 公開「Leanstral 1.5」
深入了解 Mistral 推出的全新開源模型 Leanstral 1.5，這是一款能自動驗證複雜數學證明與軟體代碼錯誤的 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」。