Four LLM families rank the top 500 open math problems in 34,890 pairwise judgments
zero0_one1 · reddit · 2026-09-19
ProofAtlas published a list of the top 500 open problems in mathematics produced by 4 LLM families (GPT 6, Fable 5.1, GLM-5.3, DeepSeek V4 Pro): 34,890 pairwise judgments across 1,227 candidate problems, with repeated discovery rounds, source checks, deduplication, statistical aggregation and uncertainty/sensitivity checks.
The author also clarifies that the recent Navier–Stokes singularity result concerns smooth-forced flow (ranked #21); unforced 3D Navier–Stokes global regularity (Fefferman's statement A) remains open. Other entries: unforced 3D Euler blowup #32, Jacobian conjecture #92, sofic groups #167, planar unit-distance conjecture #211.
More from Research
- In the era of AI-written papers, this researcher writes ICLR intros with zero AI — benno_krojer · 2026-09-19
- Multimodal gene prioritization reveals nonlinear regulatory architecture in childhood-onset asthma — anshulkundaje · 2026-09-19
- Amin Karbasi: our paper asking if LLMs could solve easy conjectures 'did not age well' — aminkarbasi · 2026-09-19
- Dead fruit fly brain with 166,700 neurons gets robotic body and starts chasing flies again — algo_diver · 2026-09-19
- Numberphile posts video on claimed Navier-Stokes solution amid heated comment debate — burny_tech · 2026-09-19
- How AdaBoost Turns Weak Classifiers Into a Strong Predictor — burny_tech · 2026-09-19