#mathematicsproofs — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #mathematicsproofs, aggregated by home.social.
-
MIT CSAIL: MIT researchers build the world’s largest collection of Olympiad-level math problems — and open it to everyone. “MathNet is the largest high-quality dataset of proof-based math problems ever created, and it is not close. Comprising more than 30,000 expert-authored problems and solutions spanning 47 countries, 17 languages, and 143 competitions, it is five times larger than the next […]
https://rbfirehose.com/2026/04/23/mit-csail-mit-researchers-build-the-worlds-largest-collection-of-olympiad-level-math-problems-and-open-it-to-everyone/