Mathematicians are reviewing 722 manuscripts from OpenAI's unreleased AI model, covering 372 math problems with Lean proof ...
Experts remain skeptical.
Some results have been hidden because they may be inaccessible to you
Show inaccessible resultsSome results have been hidden because they may be inaccessible to you
Show inaccessible results