Acknowledgment
We would like to thank the International Mathematics Olympiad organization for their support.
This project was a massive collaboration, and its success was the combined effort of many individuals and teams. Thang Luong led the overall technical direction of the IMO 2025 effort and co-led overall coordination with Edward Lockhart.
The IMO 2025 team leaders and key contributors are: Dorsen Huang, Junehyuk Chung, Jonathan Lee, Nate Cushman, Pol Moreno, Yi Tei, Lei Yu, Golnaz Ghiasi, Garrett Bingham, Lalit Jain, Vincent Cohen-Addad, Theophane Weber, Ankesh Anand, Steven Zheng, Vinh Tran, Vinay Ramasesh, Andreas Kirsch, Jie Minh Mao, Zhichenxu, Wilfried Bouncy, Vahab Milacuni, Hoang Nguyen, Fred Zhang, Mahan Malihi, Yanxibo Huang, Yuri Červonyi, Triu Trinh, Junsu Kim, Mirek Olšák, Marcelo Menegalli, Xiaomeng Yan, Richard Song, Miklós Z. Horvath, Aja Huang, Goran Jujic.
The Advanced Gemini Model with Deep Think for IMO was built on the Deep Think team’s foundational research sponsored by the GDM Thinking Area and corresponding post-training efforts, including: Archit Sharma, Shubha Raghvendra, Tong He, Pei Sun, Tianhe (Kevin) Yu, Eric Ni, Siamak Shakeri, Hanzhao (Maggie) Lin, Cosmo Du, Sid Lall, Le Hou, Yuan Zhang, Yujing Zhang, Yong Cheng, Luheng He, Chenxi Liu.
The effort was advised by Quoc Le and Pushmeet Kohli, with program management by Kristen Chiafullo and Alex Goldin.
We also thank the experts who provided data and evaluations: Insuk Seo (lead), Jiwon Kang, Donghyun Kim, Junsu Kim, Jimin Kim, Seongbin Jeon, Yoonho Na, Seunghwan Lee, Jihoo Lee, Younghun Jo, Yongsuk Hur, Seongjae Park, Kyuhyeon Choi, Mingy Choi, Su-Hyeok Moon, Seojin Kim, Yueun Lee, Taehun Kim, Jaeho Ryu, Seungwoo Lee, Dain Kim, Sangha Lee, Hyunwoo Choi, Aiden Jeong, Yongbeom Jin, Jonghyun Ahn, Junhui Bae, Gyumin Kim, Nam Dung Tran, Quoc Ba Canh Vo, Van Huyen Nguyen, Tuan Anh Nguyen, Thanh Dat Vo, Nguyen Nam Hung Tran , Van Khai Luong, Son Vu, Son Tra Dao, Dai Dinh Phong Tran, Tan Dat Le, Chengchen Tsai, Kari Ragnarsson, Kiat Chuan Tan, Yahya Tabesh, Hamed Mahdavi, Azin Nazari, Chulan Cao, Stephen Creech, Tony Feng, Daogao Liu, Cyprian Manolescu.
Additionally, we would like to thank the following people for their support, cooperation, and advice: Omar Levy, Timothy Lyricrup, Jack Lei, Yifeng Lu, Hentze Chen, Denny Chou, Ed Chee, Vahab Mirakni, Tulsi Dossi, Madhavi Sewak, Melvin Johnson, Fernando Pereira, Benoît Schillings, Koray Kavukcuoğlu, Oriol Viña Luz, Jeff Dean, Demis Hassabis, Sergey Brin, Jessica Roe, Sajjad Zafar, Tom Simpson, Jane Labanovsky, Andy Forbes, Sean Nakamoto, Jonathan Lai, Fabian Pedregosa, Samuel Albany, Alex Zai, Sara Javanmardi, Dibby Tucker, Yaguan Li, Nigamer Nayakanti, Chengjie Gu, Chengkai Kuan, Swaroop Mishra, Filipe Miguel de Almeida, Silvio Lattanzi, Ashkan Norooj Fuld, Tal Shuster, Ziwei Ji, Honglu Huang, Xuezi Wang, Aditi. Mavalankar, Tom Scholl, Rosemary Ke, Ding Xiangjuo, Adam Brown, Emmanuel Talopa, Charlie Chen, Joe Stanton, Chip Baetu, Alvin Abdagić, Federico Lebron, Ioana Mikhailescu, Soheilhasas Yegane, Ashish Shenoy, Ming Zhang
Finally, we would like to thank Professor Gregor Dolinar of the IMO Board of Directors for his support and approval.
IMO confirmed that the answer we submitted is the complete and correct solution. It is important to note that their review does not extend to validating the system, process, or underlying model (see details).
