newscientist.com

Mathematicians and AI in behind-the-scenes battle over what's true | New Scientist

AI models are solving mathematics problems with increasing pace, and a technique called formalisation is key to demonstrating that their claimed solutions are indeed correct. But can we trust the formalisation process?

This site doesn’t allow embedding inside another page — open it in a new tab. Your Weird rating still works from the top bar.

Open source