OpenAI says its next big model can bring home Math Olympiad gold: A turning point?

An AI model that could reliably check proofs would save enormous amounts of time for mathematicians and help them be more creative. While some of ...