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

Artificial intelligence has formally verified the prizewinning proof that solved the sphere packing problem in eight dimensions, a result closely tied to Maryna Viazovska’s Fields Medal. The ...

The painstaking process of formalization to verify proofs is starting to surge thanks to AI. That could radically change the ...

The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down the gauntlet with an exam of actual, unsolved problems that are relevant to ...

Kendra Pierre-Louis: For Scientific American’s Science Quickly, I’m Kendra Pierre-Louis, in for Rachel Feltman. In 1997, Deep Blue, a supercomputer built by IBM, did the unexpected: it defeated chess ...