TechMoon 科技月球
WordPress、SEO 與 AI 工具實測指南
OpenAI 整數乘法界線，社群四天把理論節省量推高超過十倍
OpenAI 九月底公開整數乘法低於 n log n 的條件式預印本後，GitHub 上的 integer-mult-bounds 儲存庫幾天內湧入近四百個 PR，把指數節省參數 κ 從約 2 的負 14 次方推到負 10.43 次方；每一輪都附精確分數、釘選 commit 與可重播憑證，維護者以 Codex 協助審查，但全部結果仍是條件式，Lean 形式化也未完成。
用 AI 摘要這篇文章：
OpenAI 在 2026 年 9 月 23 日放進 openai/math 儲存庫的數學預印本《Integer multiplication below n log n》，10 月 7 日上午（台北時間）登上 Hacker News，到 10 月 11 日累積了一百一十分與八十三則討論；討論串展開約三小時後，一個名為 integer-mult-bounds 的 GitHub 儲存庫隨即成立。接下來幾天，這個由 Douglas Colkitt 維護的社群研究儲存庫湧入接近四百個 Pull Request（提交修改請求，以下簡稱 PR），把預印本框架下的條件式指數節省參數 κ，從 0.0000510169 的早期已審檢查點一路推進到 0.000723571590007464，相當於從約 2 的負 14.26 次方推到負 10.43 次方，幅度約十四倍。
10 月 10 日完成的最新一輪審查，把兩位貢獻者的成果組合成新基準：DreamingOfClouds 重新設計的區域位元電路（PR #276），加上 Rohan Arun 把 880 個混合閘重新分配到共用傳遞框（PR #279），組合出精確值 90446448750933/125000000000000000 的 κ 見證（witness，指可獨立驗算的具體參數組），比前一個已審值提高 1.90%。這組數字連同來源 PR 清單、憑證檔的 SHA-256 雜湊與一條重播指令，寫進儲存庫的 selected-result.json 一起發布。
數字推進得快，儲存庫自己劃下的界線也同樣清楚：所有結果都是條件式，繼承 OpenAI 預印本的模型與一般化歸約；有限重播與書面審查不能取代完整的形式證明；而且這些比較的是漸近指數節省量，與任何程式的實測速度無關。這場接力值得看的地方，就在推進速度與誠實邊界同時成立。
一場四天的接力：已審 κ 從負 14 次方級推到負 10.43 次方
前後差異全部寫在儲存庫 README 與 selected-result.json 裡，而且每一輪都以精確分數給出，避開四捨五入後的概數。以 2026 年 10 月 11 日的儲存庫現況為準，各輪結果的推進如下，除 PR #144 在 README 標為發布結果外，其餘各輪都留有審查紀錄：
| 檢查點 | κ 值 | 約當 2 的次方 | 這一輪的內容 |
|---|---|---|---|
| 社群早期檢查點 | 0.0000510169 | −14.26 | 配對組裝與區間條帶，越過 2 的負 15 次方門檻 |
| 成對立方體結構（PR #144） | 0.0004609169 | −11.08 | icekylinx 的新電路結構，約為前一輪已審主線的九倍 |
| 協調框與入口 bank（PR #186） | 0.0006618855 | −10.56 | Dugongue 組合多位貢獻者的技巧 |
| 五階段 bank（PR #210） | 0.0007100462 | −10.46 | eumemic 的結構，釘選在 commit 298f7c1 |
| gen4 組合（PR #276＋#279） | 0.0007235716 | −10.43 | 目前獲選見證，10 月 10 日審查完成 |
表中「約當 2 的次方」即 log₂κ，例如 −10.43 代表 κ 約等於 2 的負 10.43 次方。有幾個讀法值得注意。每輪的百分比都由前一個已審值起算：gen4 組合比 PR #210 的已審值高 1.90%，比更早發布的 0.0004609169 檢查點高 56.99%；這些都是指數節省量的相對變化，跟運算時間扯不上邊。另一個細節是狀態分離：PR #210 的審查完成後，主分支的獲選值其實還停在 PR #186 的 0.0006618855，直到 gen4 組合上線才一次跳到位。獲選、已審、候選三種狀態在這個儲存庫裡分開管理，數字較大不代表已通過同等審查。早期檢查點那一輪的規模感也留在文件裡：位元網路參數 m=575、實體角色 137,151,806 個，七個最終指數邊際全為正數，遞迴節省量以精確分數 102039046058023/2000000000000000000 給出。
selected-result.json 的格式本身就是一種主張。status 欄寫明「Published on main: maintainer-reviewed conditional construction」，也就是「發布在主分支：維護者審查過的條件式構造」；kappa 欄給精確分數；source_prs 列出組成這個見證的 11 個 PR；再附上憑證檔雜湊、審查報告路徑，以及 make gen4-bank-verify 這條讓任何人重跑檢查的指令。參與規模也有紀錄可查：截至 10 月 11 日，儲存庫累積 396 個 PR、其中 36 個已合併，issue 計數為零，往來幾乎全走 PR，PR 編號也已經用超過 279。外部訊號也對得上進度：10 月 8 日有人在 Hacker News 貼出「他們剛合併了我的整數乘法 PR」，10 月 9 日另一則討論串的標題寫著社群把 OpenAI 的 FFT 證明推過 10 的負 4 次方，與儲存庫裡 0.0004609169 的已審值相互印證；不過這兩則討論串熱度都不高，主要流量仍集中在 OpenAI 預印本本身那則一百一十分的討論串。
已審不等於已證明：審查報告裡的三道防線
10 月 10 日的 gen4 審查報告署名「Douglas Colkitt, with OpenAI Codex assistance」，內容交代了三件事，也是這場協作最值得參考的部分。
重播與再生的完整性。本地重播跑完九個必要階段，112 個套件輸入全部保持不變，五個產出物精確重生成；同一個釘選版本另有一趟 GitHub Actions 的 Linux 執行紀錄，在 Python 3.11 與 3.13 兩個環境都通過重播與再生。審查者自己本地用的則是 Python 3.14.6 與 SymPy 1.14.0。
檢查器的獨立性。報告附上兩個不引入任何貢獻者程式碼的獨立檢查器：一個對 880 個入選子空間做有理數域上的秩與非退化檢查，並且會拒絕人為植入的秩退化突變，證明檢查本身有能力抓錯；另一個把產出字的 19,930 個形式欄全部雙向執行一遍。README 的證據段另載明，對保留幾何結構的完整檢查覆蓋全部 4,073,300 個資料對。報告同時註明，這些本地檢查不能取代完整的字重播。
範圍的明確切割。PR #279 的作者在整合進行的同時，又往同一個 PR 推了帶更大宣稱的新修訂；審查報告原文寫得直接：該後續修訂不在本次審查範圍，也未納入這個獲選見證。獲選的 κ 因此停在四個原始 commit 的組合，沒有跟著換成那個更大的數字。已審與未審的界線在這裡直接決定一個數字能不能被引用，與行政流程無關。
這輪改動的技術內容，報告同樣用可核對的數字交代。DreamingOfClouds 的新位元電路把虛擬輔助暫存器從前一版的 18,908 降到 17,904，經過 1,494 組補償重用配對後，留下 16,410 個獨立的髒暫存器；Rohan Arun 則把 880 個來源對混合閘重新分配到既有的共用傳遞框，框的秩總量維持不變，遞迴端的收益變好。這類描述的價值在於每個數字都對得上憑證檔，抽象的「大幅優化」四個字替代不了。
AI 的參與方式在文件裡有明確揭露：維護者的審查與整合工作使用 OpenAI Codex；成對立方體查詢模組保留原始的 Claude 披露；各貢獻者的 AI 披露與授權條款隨原始提交一併保存。參與者名冊同樣攤開：README 與貢獻者文件合計列出超過二十位具名貢獻者，各自標上 PR 號與負責的部分，並註明名單是 GitHub 貢獻者身分，不等於已驗證的 Twitter 帳號；平行進行、最後沒有採納的工作也保留在其名下。對照常見的 AI 研究宣傳，這份帳本的方向剛好相反：不宣稱 AI 解出了什麼，而是把人與模型各做了什麼寫清楚，證明責任留在維護者的審查上。把「AI 推進研究」做成可驗證形態的案例，先前還有 Google DeepMind 的 Dream-RSI 專案，同樣把重現線索攤在公開儲存庫裡。而 OpenAI 自家對數學研究的治理走另一條路：數學顧問團 AGMAI 負責發布端的制度設計，明文不管研發速度。
κ 到底在省什麼：漸近指數，不是你的乘法速度
整數乘法的複雜度問題問的是：兩個 n 位數相乘，最壞情況需要多少基本操作。2019 年 Harvey 與 van der Hoeven 把上限壓到 O(n log n)，儲存庫的貢獻者文件也明文保留對這條分析脈絡的歸功。OpenAI 的預印本在特定計算模型與假設下，給出低於 n log n 的條件式結果，形式寫成 T(n) = O(n·(log n)^(1−κ))：κ 是從 log 項指數上省下來的比例，κ 越大，log 項的指數被壓得越低。社群接力賽的目標，就是在同一套條件式框架內把 κ 往上推。
條件式三個字在這個儲存庫裡有具體內容。README 反覆標注保留的假設：解析性質、遞迴的均勻性、固定數量的紙帶，以及全尺寸編譯器、加權圖表、路由、精度回復等介面；這些假設原封不動跟著每一輪結果走。換句話說，κ 的每個數字都附帶一長串前提，前提動搖，數字就跟著失效，這也是儲存庫堅持把已審與定理成立分開寫的原因。OpenAI 預印本提供的計算模型與一般化歸約，也在同樣意義下作為前提整組繼承。
這也是整場事件最容易被誤讀的地方。κ = 0.0007235716 的意思是 log 項指數從 1 降到約 0.99928，對任何現實規模的輸入，效應趨近於零。README 在多個歷史結果段落的結尾重複同一句提醒：這些數字衡量的全部是指數節省量，實測執行時間從來不在量測範圍。所以研究價值在於條件式框架內能證到多大、通往完整證明的路還有多長，跟日常程式、加密演算法或任何今天跑得到的乘法都沒有直接關係。
真正受影響的是複雜度理論與形式驗證圈。OpenAI 今年在數學圈動作不斷，從宣稱 88 小時攻千禧難題引發的證據檢視，到後來的顧問團制度，數學預印本一批批放進同一個儲存庫；這次的事件顯示，公開預印本加上可分叉的原始碼，讓外部社群有機會在幾天內接手推進，不必等傳統同儕審查的週期。想參與的人門檻不高：儲存庫以 Apache-2.0 授權釋出，上游 OpenAI 原稿以檔案雜湊釘選在 upstream/ 目錄，且儲存庫明文聲明這不是 OpenAI 官方發布或背書。
Lean 形式化還沒走完，這些事到 10 月 11 日仍無定論
另一個儲存庫 platypii/integer-mult-bounds-lean 正在把結果推向 Lean 4 形式化，10 月 11 日當天仍在推送。它的 README 開頭就寫：進行中，端到端的乘法定理尚未證明。書面審查與有限重播靠的是人的判斷與約定範圍，Lean 則把每一步推理寫成機器可檢查的證明；這個儲存庫把命題定義在固定字母集與固定紙帶數的確定性圖靈機上，先寫出目標命題，再逐節補證。目前的形式化目標刻意選了保守許多的 83/10^12 見證（大於 2 的負 34 次方等級），落後最新的 κ 一大截；README 逐項列出已檢查與未完成的部分，其中 Section 5 仍然開著。換句話說，就算社群的 κ 再往上推，完整定理的形式證明是另一條獨立推進的軸，兩邊速度不相等。
到 10 月 11 日為止，還有幾件事沒有定論。審查報告排除在外的後續增量何時送審、會不會通過，決定下一個已審值。儲存庫自述「conditional on the original OpenAI #109 framework」，模型與一般化歸約繼承自 OpenAI 預印本，預印本自身的常數與假設細節，以原文與 upstream/ 釘選的原始碼為準。396 個 PR、36 個合併、176 個星標這些數字都是 10 月 11 日的快照，儲存庫仍在活躍推送，數字持續變動。這些結論的保存期限很短：下一次 selected-result.json 變更、PR #279 增量的審查結果，或 Lean 儲存庫 Section 5 關閉，任何一件發生，數字與定論就會跟著改寫。
從 clone 到 make gen4-bank-verify：重播獲選見證的完整路徑
多數讀者不需要做任何事：這是理論複雜度圈的接力賽，不影響任何日常運算。想驗證或貢獻的人，路徑是完整的：把儲存庫 clone 下來後，先安裝 research/five-stage-gen4-banks/requirements.txt 的相依套件，再執行 make gen4-bank-verify 重播目前獲選見證；完整測試套件需要 Python 3.11 以上、C++17 編譯器與 Boost 標頭檔；形式化目標另用釘選版本的 Lean 執行，版本同樣寫在文件裡。憑證、審查報告與歷史修補檔都在儲存庫內；歷史修補各自標明適用範圍，它們是並列的替代方案，彼此不能疊加使用。歷史修補表裡最強的純參數見證停在 5.8e-33 等級，與主線的已審值差距近三十個數量級，正好說明範圍標示為什麼重要。
這場接力真正留下來的是那套把快速協作約束成可信知識的格式：精確分數、釘選 commit、可重播憑證、不採納未審宣稱、條件假設全部保留在檯面上。κ 的數字每幾天就會換一次，這套讓別人能檢查、能累積的機制才是留得下來的部分。
