GOOGLE DEEPMIND'S ALPHAPROOF NEXUS SOLVES DECADES-OLD MATH PROBLEMS FOR A FEW HUNDRED DOLLARS

Summary from the TLDR AI newsletter

Google DeepMind's AlphaProof Nexus autonomously solved nine out of 353 open Erdős problems, including questions unanswered for decades, at inference costs of a few hundred dollars per problem.