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

· New Scientist