Expresiones de gratitud
Agradecemos a la Organización Internacional de la Olimpiada Matemática por su apoyo.
Thang Luong lideró la dirección técnica general del modelo de Géminis avanzado con un pensamiento profundo para Imo y fue co-liderado con Edward Lockhart sobre la coordinación general del esfuerzo de la OMI 2025.
El sistema IMO 2025 no hubiera sido posible sin los siguientes clientes potenciales técnicos. Dawsen Hwang, Junehyuk Jung Datos de entrenamiento co-lideros y evaluación de expertos. Jonathan Lee, Nate Kushman, Pol Moreno, Yi Tay lideró el entrenamiento del modelo avanzado de pensamiento profundo de Géminis mientras Lei Yu lideró la evaluación del modelo. Golnaz Ghiazi, Garrett Bingham, Lalit Jain co-lideró la inferencia profunda, mientras que Dawsen Hwang, Vincent Cohen-Adad co-lideró un enfoque de inferencia mejorada.
El sistema IMO 2025 también se desarrolló con contribuciones clave de Theophane Weber, Ankesh Anand para modelar; Vinay Ramasesh, Andreas Kirsch, Jieming Mao, Zicheng Xu, Wilfried Bounsi, Vahab Mirrokni por inferencia; Hoang Nguyen, Fred Zhang, Mahan Malihi, Yangsibo Huang para datos de entrenamiento.
Agradecemos las contribuciones de equipos y esfuerzos relacionados. Equipo de Alfageometría con Yuri Chervonyi (líder), Trieu Trinh, Hoang Nguyen, Junsu Kim, Mirek Olšák, Marcelo Menegali, Xiaomeng Yang. Miklós Z. Horváth, Aja Huang, Goran žužić para matemáticas formales. Agradecemos a Fabian Pedregosa, Richard Song, Alex Zhai, Sara Javanmardi, Yaguang Li, Filipe Miguel de Almeida, Silvio Lattanzi, Ashkan Norouzi Fard, Tal Schuster, Honglu Fan, Xuezhi Wang, Aditi Mavalankar, Tom Schaul, Rosemary Ke para el apoyo y la colaboración.
Agradecemos especialmente a otros miembros principales del equipo de Deep Think (Archit Sharma, Tong He, Shubha Raghvendra), el esfuerzo posterior a la capacitación (Tianhe Kevin Yu, Siamak Shakeri, Hanzhao Lin, Cosmo du, Sid Lall) e investigaciones del área de pensamiento en la que se construyó el sistema IMO 2025.
Quoc le y Pushmeet Kohli informaron este esfuerzo, con el apoyo del programa de Kristen Chiefullo y Alex Goldin.
We’d also like to thank our experts for providing 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, Minkyu Choi, Su-Hyeok Moon, Seojin Kim, Yueun Lee, Taehun Kim, Jeeho Ryu, Seungwoo Lee, Dain Kim, Sanha Lee, Hyunwoo Choi, Aiden Jung, Youngbeom Jin, Jeonghyun Ahn, Junhwi Bae, Gyumin Kim, Nam Dung Tran, Cheng-Chiang Tsai, Kari Ragnarsson, Kiat Chuan Tan, Yahya Tabesh, Hamed Mahdavi, Azin Nazari, Xiangzhuo Ding, Chu-Lan Kao, Steven Creech, Tony Feng, Ciprian Manolescu.
Y gracias a nuestros expertos en servicio y despliegue: Emanuel Taropa, Charlie Chen, Joe Stanton, CIP Baetu, Alvin Abdagic, Federico LeBron, Ioana Mihailescu, Soheil Hassas Yeganeh y Minh Gang.
Más gracias a Jessica Lo y Sajjad Zafar por su apoyo a la provisión y gestión de cálculo; Jane Labanowski, Andy Forbes, Sean Nakamoto por Legal y Logística; y Omer Levy, Timothy Lillicrap, Jack Rae, Yifeng Lu, Heng-Tze Cheng, Ed Chi, Vahab Mirrokni, Tulsee Doshi, Madhavi Sewak, Melvin Johnson, Koray Kavukcuoglu, Oriol Vinyals, Jeff Dean, Demis Hassabis y Sergey Brin por su apoyo y consejo.
Finalmente, agradecemos al profesor Gregor Dolinar de la Junta de Imo por el apoyo y el respaldo.
La OMI ha confirmado que nuestras respuestas enviadas son soluciones completas y correctas. Es importante tener en cuenta que su revisión no se extiende a la validación de nuestro sistema, procesos o modelo subyacente (ver más).