Mathematicians review OpenAI’s large AI results release

OpenAI released 722 mathematics papers relating to 372 problems, mathematician Melissa Lee writes in The Conversation via Phys.org. Some have been withdrawn or amended after errors, Lee reports. OpenAI says it is sharing proofs and Lean formalizations for scrutiny. Correctness, novelty and significance require expert review; a published manuscript is not an accepted solution.