Can Writing Math Proofs Teach AI to Reason Like Humans? OpenAI researchers reveal how their experimental model, devoid of any external aids, powered through hours-long proofs to earn a gold-medal score at the International Math Olympiad—and they discuss the project’s origins and describe how such work could help lead to artificial general intelligence By Deni…