OpenAI 把一批 AI 數學成果一次放到 GitHub，包含 Lean 形式化證明、推理過程紀錄與算力估算。Hacker News 上線幾小時就累積上百則討論，焦點集中在 Unique Games 猜想、整數乘法與 FFT 的複雜度突破，以及封閉模型解開放難題的爭議。
我把官方公告全文翻譯與網友反應整理成一頁視覺圖表，直接嵌在下方，手機版可點連結另開。
手機版若顯示不全，可直接開啟：OpenAI 數學大爆發視覺整理
來源：OpenAI 公告、GitHub repo、HN 討論串。證明正確性待社群覆核，引用前先查 repo 最新修訂。