In the ongoing campaign by artificial intelligence companies to take over pure mathematics, another round is commencing. The team behind First Proof, an effort to benchmark the ability of large ...