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

When you purchase through links on our site, we may earn an affiliate commission. Here’s how it works. A mathematician has solved a 30-year-old problem at the boundary between mathematics and computer ...

A pair of mathematicians has solved the first chunk of one of the most famous conjectures about the additive properties of whole numbers. Proposed more than 60 years ago by the legendary Hungarian ...

Hannah Cairo found herself stuck on a problem that wouldn’t leave her mind. It wasn’t a regular homework assignment—it was a decades-old mathematical puzzle believed to be true by leading experts in ...

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 ...

AI software has collaborated with mathematicians to successfully develop a theorem about the structure of knots, but the suggestions given by the code were so unintuitive that they were initially ...