Leon Lang comments on Stephen McAleese’s Shortform

[Leon Lang]

OpenAI would have mentioned if they had reached gold on the IMO.