A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...

The sudden resolution of a well-known conjecture highlights the growing adoption of AI as an assistant in high-level ...

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

GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that no human had ever considered.

The last dimension of Keller's conjecture has been proven using a computer algorithm. The conjecture involves the way hypercubes in different dimensions share sides when tiled. The proof is ...