Remember when AI winning a math olympiad felt like a big deal? Eleven of the world’s top mathematicians (including a Fields Medalist) decided that was child’s play. So they created First Proof, a set of 10 unpublished, research-level math problems pulled straight from their own work, and gave AI one week to solve them. The…
Everything is ideas, the rest is nature.
