OpenAI's AI Is Solving Problems Mathematicians Couldn't OpenAI has released 722 mathematical manuscripts produced by an unreleased AI model, covering 372 group

OpenAI's AI Is Solving Problems Mathematicians Couldn't OpenAI has released 722 mathematical manuscripts produced by an unreleased AI model, covering 372 groups of results. Many are still being checked, but some have already been formally verified in Lean