Mind’s AI system, AlphaProof, provided Lean with proofs of three of the competition’s problems. A year later, four AI systems performed at the level of a gold medalist. However, problems posed at the ...
In a research post published October 6, 2026, OpenAI said it is releasing a broad range of new mathematical results produced ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results