標籤 整數乘法

OpenAI 九月底公開整數乘法低於 n log n 的條件式預印本後，GitHub 上的 integer-mult-bounds 儲存庫幾天內湧入近四百個 PR，把指數節省參數 κ 從約 2 的負 14 次方推到負 10.43 次方；每一輪都附精確分數、釘選 commit 與可重播憑證，維護者以 Codex 協助審查，但全部結果仍是條件式，Lean 形式化也未完成。