OpenAI 新模型解決 10 項菲爾茲獎級數學難題
OpenAI 宣佈推出一款新模型，能夠解決 10 項菲爾茲獎（Fields Medal）研究等級的複雜數學難題。這標誌著 AI 在執行高階邏輯推理與科學發現能力上的重大里程碑。
Search
Tag: #mathematics40 results
OpenAI 公布 Astra 模型，成功解決 10 個未解數學難題
OpenAI 發表了下一代旗艦模型 Astra，該模型已成功解決 10 個數學與理論計算機科學領域的未解難題。此模型展現了在高等數學研究與形式化驗證方面的巨大潛力。
GPT-5.6 一小時內破解 50 年數學猜想，展現多智能體協作潛力
GPT-5.6 在數學研究領域取得突破，於一小時內破解了困擾學界 50 年的數學猜想。該系統透過 700 字的提示詞（Prompt）成功調度 64 個子智能體協同工作。
First Proof測試：人類在嚴謹數學研究中仍優於AI
First Proof計畫針對四個AI系統進行了原創且未公開的研究級數學題測試，結果顯示儘管AI表現亮眼，但在整體研究能力上仍落後於頂尖人類數學家。
OpenAI 破解了一項 80 年歷史的數學難題
OpenAI 研究人員成功解決了一項困擾數學界八十年之久的難題。這項突破凸顯了 AI 模型在高等科學推理與形式化證明驗證方面日益增強的能力。
OpenAI 模型解決了 80 年未解的數學難題
OpenAI 宣布其內部 AI 模型成功反證了一個長達 80 年的離散幾何猜想。此成果已獲得外部數學家的驗證，標誌著 AI 在執行複雜數學推理能力上的重要里程碑。
OpenAI 模型自主解決 80 年數學難題
OpenAI 宣布其最新的推理模型自主證明了數學家 Paul Erdős 於 1946 年提出的幾何猜想。這標誌著 AI 在自主進行高階數學推理能力上的重大里程碑。
Google DeepMind 強大的 AI 數學協作者
Google DeepMind 推出強大的 AI 系統，設計用作進階數學任務的數學協作者。本文亦強調 Codex 可自動化任何手動任務。
谷歌「AI聯合數學家」來了！刷新最難數學AI基準SOTA，牛津教授用它解開群論懸案
谷歌推出「AI聯合數學家」，在最難數學AI基準刷新SOTA。牛津教授利用它解決群論長期懸案。這是谷歌AI for Math的最新進展。