بچه‌های اوپن‌ای‌آی یهو اومدن ۷۲۲ تا مقاله سنگین ریاضی منتشر کردن که همه‌ش دستپخت جدیدترین مدل هوش مصنوعی خودشونه

OpenAI just released 722 AI-written math papers. Here are the 4 biggest claims in plain English. None have been confirmed by outside mathematicians yet. 1/ Quasi-Riemann hypothesis. Zeta has no zeros with real part above 7/8. It's not the Riemann hypothesis (that needs 1/2), but nobody had ever cleared a fixed strip before. Has a Lean proof. https://github.com/openai/math/blob/main/preprints/The-Quasi-Riemann-Hypothesis-September-30-2026/paper.pdf 2/ Unique Games Conjecture. The central open question on which problems computers can't even approximate well. A proof means the best known algorithms for problems like Max-Cut can't be beaten unless P = NP. Has a Lean proof. https://github.com/openai/math/blob/main/preprints/The-Unique-Games-Theorem-September-23-2026/paper.pdf 3/ Hodge conjecture for CM abelian varieties. A special case of a Millennium Prize problem, about which topological features of a shape come from pieces defined by polynomial equations. No Lean proof yet. https://github.com/openai/math/blob/main/preprints/The-rational-Hodge-conjecture-for-CM-abelian-varieties-September-30-2026/paper.pdf 4/ Free group factors. Open since the 1940s: are the operator algebras built from free groups on 2 and 3 generators the same? Claimed answer: yes, all of them are. Has a Lean proof. https://github.com/openai/math/blob/main/preprints/An-isomorphism-of-the-free-group-factors-September-23-2026/An-isomorphism-of-the-free-group-factors-September-23-2026.pdf