I'm not good at math, but I was wondering how to write this difference without wasting 3 pages of my notebook. What do you think?

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.