VibeMathed tracks math problems that AI models have helped prove or disprove, from famous conjectures like the Jacobian conjecture to the numbered Erdős problems at erdosproblems.com.
Each entry links a checkable source, carries a verification label (Lean-checked, expert-reviewed, or site-confirmed), and shows a notability score: the number of Wikipedia language editions with a dedicated article, so household names stand out from niche ones.
You must log in or register to comment.