mesaoptimizer comments on “AI achieves silver-medal standard solving International Mathematical Olympiad problems”

[mesaoptimizer]

I searched for it and found none. The twitter conversation also seems to imply that there has not been a paper /​ technical report out yet.