About
Mathematics that no human had settled, now settled with a model in the loop, written down carefully.
What this is
A record of the mathematical problems that AI models have solved, in full or in part. Famous conjectures, the long tail of specialist questions, and the numbered Erdős problems.
Since July 2026
It went live on July 20, 2026, the first site to track these results across all of mathematics. Others have followed. Entries here are classified rather than merely listed.
Kept in the open
Submitted, reviewed and curated by a community that cares about getting the mathematics right. Every entry cites a checkable source, carries status and verification labels, stays editable with a public changelog, and has its own discussion thread. See the methodology.
Free to reuse
The complete dataset is free to reuse under CC BY 4.0 at /api/dataset, and the source code is public on GitHub. To reach the people who keep it, write to us at contact.
How to cite
@misc{vibemathed,
author = {{VibeMathed contributors}},
title = {{VibeMathed, a record of mathematical problems solved with AI}},
year = {2026},
howpublished = {\url{https://vibemathed.com}},
urldate = {2026-08-04},
note = {Dataset available under CC BY 4.0}
}Citing one entry? Cite its own source alongside this record.