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
- PixelBench: testing multimodal models pixel-by-pixel instead of with QA — bdsqlsz · 2026-11-04
- François Chollet: modeling brain wiring as an engineering problem constrained by genome size and time — CatAstro_Piyush · 2026-11-04
- OffsecCyber dataset combines HackerOne reports and CVEs to train pentesting LLMs — AccBalanced · 2026-11-04
- Monofact rate in training data governs LLM scientific discovery, preprint finds — CatAstro_Piyush · 2026-11-04
- qwenTPU compiles a TPU into Qwen3.5 weights, achieving exact integer matmul — CatAstro_Piyush · 2026-11-04
- Jev model improves ICL demonstration retrieval via distillation into a lightweight MLP — kalyan_kpl · 2026-11-04