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

The same branch of mathematics that helped Einstein to formulate his theory of general relativity could now allow scientists to peer with unprecedented accuracy into impenetrable objects—such as the ...

If pure math can teach us anything, it’s this: occasionally, your special interest might just change the world. For Joshua Zahl and Hong Wang, that special interest was the Kakeya conjecture. “I read ...

You think writing proofs for algebra during high school was hard? Think again. A trio of brilliant mathematicians just solved a decade-old puzzle and consequently produced the world's largest ...

It’s the largest math proof. A supercomputer solved it in just 2 days. And it’s 200 terabytes. Yes, 200 terabytes. That’s the size of the file containing the computer-assisted proof for a mathematical ...