Four LLM Families Rank the Top 500 Open Math Problems

ProofAtlas released a Top 500 Open Problems list in mathematics, collaboratively ranked by four LLM families through tens of thousands of pairwise comparisons, with the Riemann Hypothesis topping the list and new results including a forced-regime Navier-Stokes finding.

2026-09-19 ~ 2026-09-20 · 3 related posts