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.
Related event: Four LLM Families Rank the Top 500 Open Math Problems(3 posts)→
More from Research
- Amazon: RAG must move beyond factual grounding to surface diverse opinions — _reachsumit · 2026-11-04
- ShiftRAG bypasses RAG's textual bottleneck by feeding retrieval signals as soft tokens — _reachsumit · 2026-11-04
- Meta's Atomic Creator Tokens beat Semantic IDs: +19.8pt Recall@15 and 2.7x lower latency — _reachsumit · 2026-11-04
- HiGenTrans transfers LLM knowledge into generative recommenders at input, representation and decision levels — _reachsumit · 2026-11-04
- SA-OPSD distills self-teacher knowledge at beam-search pruning boundaries for generative recommendation — _reachsumit · 2026-11-04
- MV-Thinker: Multi-View Thinking with Adaptive Generation for Generative Recommendation — _reachsumit · 2026-11-04