MIT’s Computer Science and Artificial Intelligence Lab has released a massive, public collection of proof-based math problems gathered from the International Mathematical Olympiad. The International ...