Four LLM Families Rank Top 500 Open Math Problems

ProofAtlas released a 'Top 500 Open Problems' list in mathematics, collaboratively produced by four LLM families (GPT, Claude, GLM, DeepSeek) over several weeks with nearly 35,000 pairwise comparisons, including new results on Navier-Stokes for the forced case.

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

• Four LLM families rank the top 500 open math problems in 34,890 pairwise judgments — zero0_one1 · 2026-09-19
• 4 LLM families rank the Top 500 open problems in math via 34,890 pairwise judgments — burny_tech · 2026-09-20