NewsScienceDevelopingNew
Two weeks after OpenAI's 722 math papers, mathematicians are checking the biggest claims
Mathematicians are checking AI-generated proofs OpenAI released on 6 October. Quanta reports broad support for a quasi-Riemann result, but most of the papers have not been reviewed and some were withdrawn.
Evidence: 5 sources · 2 official records · 2 independent reports · 1 research paper · 4 open questions