Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

Large language models struggle to solve research-level math questions. It takes a human to assess just how poorly they ...