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

The machinery behind machine learning is growing more complex, but the bottleneck often shows up in small, unglamorous work: ...