OpenAI drops 722 math manuscripts claiming 4D Kakeya proof; Tao-led mathematicians revolt
创业邦 · wechat · 2026-10-10
OpenAI released 722 math manuscripts on GitHub, averaging 3 hours of ChatGPT Pro compute per result, with only 42% Lean-formalized. Two 272-page papers signed "OpenAI" claim the stronger 3D Kakeya maximal function conjecture and full Hausdorff dimension in 4D (previous best: 3.059), building directly on Fields medalist Hong Wang's framework — "Wang" appears 23 times in the 3D paper. Unformalized and unreviewed, the proofs may contain errors, OpenAI admits. Terence Tao and mathematicians issued a statement calling the dump "a display of power, not scholarship," urging a boycott; LeCun countered that math is entering a new era focused on new concepts and conjectures.
Related event: OpenAI Releases 722 Math Manuscripts Claiming Proof of 4D Kakeya Conjecture(2 posts)→
More from Companies & People
- Kimi K3.1 reportedly launching mid-October with long-horizon agent focus; K2.8 pricing raises concerns — teortaxesTex · 2026-10-10
- Three mistakes startups make hiring head-of-creator roles, from someone repeatedly offered them — FinanceYF5 · 2026-10-10
- Stanford team lists published work: triage, labs, discharge summaries — jonc101x · 2026-10-10
- Stephen Ma: hospitalist implementing ambient AI scribes and ML workflows — jonc101x · 2026-10-10
- Stanford colloquium set for Oct 15, in person in Palo Alto or livestream — jonc101x · 2026-10-10
- April Liang: ML decision support for lab overuse, AI scribe timing studies — jonc101x · 2026-10-10