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
- Protein language models can learn homo-oligomer contacts from single sequences — anshulkundaje · 2026-07-22
- Commercial frontier models blocked attack forensics because they misread the responder — morqon · 2026-07-22
- LeCun’s JEPA pitch gets a concrete world-model paper behind it — nikola_mr64990 · 2026-07-22
- MIT opens a large free AI library with classic books, lecture notes, and courses — ZabihullahAtal · 2026-07-22
- Research thread points to a finding from protein language models trained on sequence data — anshulkundaje · 2026-07-22
- Podcast Explores If a Single Cell Can Learn and Exhibit Cellular Memory — arjunrajlab · 2026-07-22