OPENAI · MATH · 2026-10
數海
OpenAI 數學成果中文百科 — 372 個 AI 產出的數學研究結果，
中文導覽、學科分類、Lean 驗證狀態，一站查完。
–結果家族
–手稿
–學科
–Lean 已驗證家族
01學科分佈
02瀏覽全部
沒有符合的結果，換個關鍵字試試。
03關於本站
資料來源
全部資料來自 OpenAI 公開的 github.com/openai/math（2026-10-06 發布）。由未公開的內部模型產出 719 篇手稿，整理為 372 個結果家族；約 42% 主要結果附 Lean 形式化證明。
中文簡介
每條目的中文白話簡介由 AI 生成，目的是讓非數學專業讀者快速理解「這在研究什麼問題」。細節請以原文摘要與論文 PDF 為準。
重要提醒
這些結果未經同行評審，OpenAI 官方也聲明部分未形式化的結果可能有誤（發布隔天即撤回 3 篇、修正 14 篇）。本站是導覽工具，不是學術裁判。