Mathematicians and AI in behind-the-scenes battle over what’s true

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?

To respect copyright, we link to the source rather than republishing the full text. Read the complete article on New Scientist.