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

Here's how high school students solved a math problem that was once thought to be impossible. They've developed a proof of the Pythagorean Theorem using trigonometry, a method previously thought ...