Get the latest Science News and Discoveries
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?
None
Or read this on New Scientist
