ProofAtlas Ranks Top 500 Math Open Problems With LLM Judgments; PageRank Idea Follows
sytelus · x · 2026-09-20
ProofAtlas released a Top 500 ranking of open math problems using pairwise LLM comparisons, reliability-weighted across model families (OpenAI 1.00, Claude 1.00, GLM 0.95, DeepSeek 0.90). Riemann Hypothesis tops the list, followed by P vs NP and Collatz. Sytelus proposes a follow-up: build a dependency graph of open problems and run PageRank to surface the most leverage-rich problems.
Related event: Four LLM Families Rank the Top 500 Open Math Problems(3 posts)→
More from Research
- Anthropic says it may imminently hit RSP threshold for AI-accelerated R&D, releases provable inference work — tobyordoxford · 2026-11-04
- Google scanned 1,033 real household products, packed into a 345 MB GLB for three.js — victormustar · 2026-11-04
- These 10 GPU optimization papers are why your model runs fast today — NandoDF · 2026-11-04
- INT8 isn't the problem: I benchmarked samplers on INT8 flow models — YakovSava · 2026-11-04
- Karpathy Boosts Open Hacker News Dataset: 10M+ Posts Usable as a Personal Knowledge Base — huangyun_122 · 2026-11-04
- PixelCraft: A Multi-Agent Framework Targets Multimodal AI's Chart-Reading Failures — burkov · 2026-11-04