OpenAI says its AI solved 372 major maths problems. Mathematicians want proof.
The company published a GitHub repository of results on 6 October, claiming breakthroughs including progress on the Riemann hypothesis. MIT's Andrew Sutherland says the claims should be treated as unverified until OpenAI releases the model and outside researchers can replicate the work.
2 min read