AI achieves silver-medal standard solving International Mathematical Olympiad problems
AcknowledgementsWe thank the Worldwide Mathematical Olympiad group for his or her help.AlphaProof improvement was led by Thomas Hubert, Rishi Mehta ...
Tag: Olympiad
