AI 數學資訊與深度分析

收錄 AI 數學相關產品動態與產業觀察，共 6 篇文章。

Google DeepMind 的數學證明系統 AlphaProof Nexus 正式刊登於 Science：353 道 Erdős 開放問題解出 9 道，492 個 OEIS 猜想證出 44 個，西班牙學者也提出保留意見。

Meta與數學家攜手，借助Muse Spark推理模式完成六篇數學論文，其中五篇解決先前公開但無解的問題。

Google的Cogentic多智慧體系統用Gemini推進五道公開數學難題，每份證明均經專家核驗。

陶哲軒警告，AI算力正搶先解決外流的數學難題，導致難度梯度消失，學界開始不再公開研究方向。

陶哲軒以個人身分發表論文，警告AI生成的證明可能讓數學從「證明稀缺」轉為「證明過剩」，逼迫學界重新制定發表與教學規範。

An internal general reasoning model found an algebraic-number-theory construction that external mathematicians said is journal-worthy.

AI 數學 資訊與深度分析