AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to ...

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

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

Caroline Klivans, senior lecturer in applied mathematics and computer science, achieved every student’s dream and proved her former advisor wrong. The Partitionability Conjecture was postulated by ...