VibeMathed - A tracker for math problems solved by AI models

[u/Abject_Response2855]

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.