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, discuss the project’s origins and describe how such work could help lead to artificial general intelligence