Thanks to the generous support of @justinsuntron, we're introducing bounties for mathematical solutions, Lean verification, and engaging expositions of a curated selection of open problems on MathDB.
We plan to greatly expand the list of eligible problems in the coming weeks, and welcome suggestions from the community.
Show more
Our partnership rewards mathematical discovery backed by machine verification, paving the way for a more open, decentralized and verifiable future of mathematical research 🚀
