AI achieves silver-medal standard solving International Mathematical Olympiad problems
Acknowledgements We thank the International Mathematical Olympiad organization for their support. AlphaProof development was led by Thomas Hubert, Rishi Mehta and Laurent Sartran; AlphaGeometry 2 and natural language reasoning efforts were led by Thang Luong. AlphaProof was developed with key contributions from Hussain Masoom, Aja Huang, Miklós Z. Horváth, Tom Zahavy, Vivek Veeriah, Eric Wieser, …
AI achieves silver-medal standard solving International Mathematical Olympiad problems Read More »