3 ms·Meta Built a Neural Theorem Prover Solving International Math Olympiad Problems2 points by isaacfrond 4y ago