New Scientist

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?

By New Scientist

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

Got news to share with the events industry?

Submit a press release or story tip and reach thousands of event professionals.

Get in touch→

More in Science & R&D

Related Insights