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

Math students may not blink at calculating probabilities, measuring the area beneath curves or evaluating matrices, yet they often find themselves at sea when first confronted with writing proofs.

The original version of this story appeared in Quanta Magazine. The world of mathematics is full of unreachable corners, where unsolvable problems live. Now, yet another has been exposed. In 1900, the ...