OpenAI 發布內部前沿模型數學新成果，於 GitHub 分享 Lean 證明與運算力估算
成果涵蓋 372 個相關家族，平均每項耗費約三小時的 ChatGPT Pro 思考算力，部分已具備 Lean 證明，官方正準備發布該驅動模型。
OpenAI News綜合 2 家一手來源
完整日報
AI 日報 2026-10-07
53 則值得知道的變化
要聞
3 則模型發布
2 則研究與評測
7 則陶哲軒等25位菲爾茲獎得主聯名警告AI解題過快恐致「證明消化不良」，OpenAI 回應成立顧問小組但拒絕內部干預
陶哲軒警告 AI 快速產出 Lean 驗證證明卻缺乏人類理解，恐引發數據污染；OpenAI 雖為此成立顧問小組，但明文排除對其內部數學進展提供建議。
量子位單一來源
據報新論文指 ChatGPT 解決 31 年未解數學證明，人類作者僅負責理解與解釋
據報新論文指 ChatGPT 成功找出與高效電腦搜尋及取樣相關的未解數學證明，人類研究員主要僅負責理解並解釋 AI 產出。
Reddit r/singularity單一來源
論文提出 Wavefront Decoding 自我投機解碼框架，為循環語言模型提升最高 4.81 倍解碼速度
此免訓練框架利用權重共享特性，將不同深度的草稿生成與驗證合併批次處理，在 Huginn-3.5B 模型實測達 4.81 倍加速。
Reddit r/LocalLLaMA單一來源
論文提出 FactorEngram 記憶體架構，採基底層級閘控提升 1B 模型效能
該架構採用共享基底向量字典，允許上下文獨立調節各記憶組件，克服傳統查表法處理多義詞的瓶頸，並確認最佳插入點為中間層。
Reddit r/LocalLLaMA單一來源
Reddit 討論探討 Transformers、RNNs 與 SSMs 記憶體機制，並以 BDH 架構分析有限狀態壓縮瓶頸
該文比較 RNN 隱藏狀態、Transformer 的 KV cache 與 Mamba 選擇性保留機制，並以 BDH 探討工作記憶的突觸層面解釋。
Reddit r/MachineLearning單一來源
網友實測為 21M 模型外掛 6.4B 參數查找表，效能媲美 114M 密集模型且可於 SSD 運行
專案透過 NVMe SSD 讀取 4-bit 查找表，在 RX 9070 僅耗 0.4GB VRAM 即可達 140 tok/s，但長提示詞讀取較慢。
Reddit r/LocalLLaMA單一來源
據報 Astra 與 Claude 成功證明 11 個正方形的最佳裝箱問題，並於 Lean 完成形式化
兩款 AI 模型合作解決了數學領域中關於 11 個正方形裝箱的最佳化問題，並將證明過程在定理證明軟體 Lean 中進行了形式化驗證。
Reddit r/singularity單一來源