This is a human-written story voiced by AI. Got feedback? Take our survey . (See our AI policy here .) The Proof in the Code Kevin Hartnett Quanta Books, $30 In 2024, the International Mathematical Olympiad had an unusual entrant. Google Deepmind had set AlphaProof, a newly trained AI program on that year’s competition questions, although as an unofficial participant. In the contest, top math stud...