VibeMathed tracks math problems AI models have helped prove or disprove
Abject_Response2855 · reddit · 2026-07-22
VibeMathed is a tracker for math problems that AI models have helped prove or disprove, spanning famous conjectures like the Jacobian conjecture and numbered Erdős problems. Each entry links to a checkable source, adds a verification label such as Lean-checked or expert-reviewed, and uses a notability score based on how many Wikipedia language editions cover the problem.
More from Research
- TMLR paper: enforced thinking doesn't reliably make LLM agents disclose key info to users — SharonYixuanLi · 2026-10-27
- Fern architecture claims 10M-token context with predictions still improving — AccBalanced · 2026-10-27
- Diamandis: AI Cancer Navigator and $100 Genome Sequencing Close the Care Gap — PeterDiamandis · 2026-10-27
- EMNLP Oral: training-free Nexus Sampling cuts KV-cache memory 10x; OpenResearcher tops BrowseComp-Plus at 54.8% — yuz9yuz · 2026-10-27
- ICML 2026 position paper: LLM 'thinking traces' are a harmful anthropomorphism — rao2z · 2026-10-27
- Forking gap follows a power law in context frequency; masking rare n-grams shrinks it — ZimingLiu11 · 2026-10-27