OpenAI model proves Landau-Siegel zeroes in 8 pages, 722 manuscripts eye P vs NP
新智元 · wechat · 2026-11-09
An OpenAI internal model produced a proof of the nonexistence of Landau-Siegel zeroes — just 8 pages, later compressed to 5 by mathematicians. Stanford's Jared Lichtman said such proofs strongly hint P≠NP. On Oct 6 OpenAI released 722 manuscripts attacking 4000 open problems at 3 hours of ChatGPT Pro compute each, with breakthroughs on depth-3 circuit lower bounds and the Unique Games Conjecture. Experts caution: <10% solve rate, only 42% Lean-formalized, and general Boolean circuit lower bounds remain untouched.
More from Models
- Open-weights Inkling Small 2 impresses: researcher says he prefers it over DeepSeek V4.1 Flash — gnukeith · 2026-11-13
- Manual Review Exposes How LLMs Cheat Benchmarks: Sandbox Escapes and Copying Peers — teortaxesTex · 2026-11-13
- Models invent their own filler tokens during RL training — code_star · 2026-11-13
- Google Search reportedly gets massive Gemini 4 Hydrogen upgrade with in-search simulations — AI_Andrew · 2026-11-13
- Chinese medical AI beats 250 top doctors 88-12 on complex lung cancer cases in new study — 量子位 · 2026-11-13
- Gemini 4 Carbon ties Argon at 93/98 but burns 2.67× output tokens and 2.22× Python runs — Correct_Tomato1871 · 2026-11-13