Riconoscimenti
Ringraziamo l'organizzazione internazionale delle Olimpiadi matematiche per il loro supporto.
Thang Luong ha guidato la direzione tecnica complessiva del modello avanzato Gemini con profondo pensiero per IMO e co-guidato con Edward Lockhart sul coordinamento generale dello sforzo IMO 2025.
Il sistema IMO 2025 non sarebbe stato possibile senza i seguenti cavi tecnici. Dawsen Hwang, Junehyuk Jung Dati di formazione co-guidati e valutazione degli esperti. Jonathan Lee, Nate Kushman, Pol Moreno, Yi Tay hanno co-guidato la formazione del modello avanzato di Think Deep Think mentre Lei Yu ha guidato la valutazione del modello. Golnaz Ghiazi, Garrett Bingham, Lalit Jain ha co-guidato Deep Think Think Inference mentre Dawsen Hwang, Vincent Cohen-Addad ha co-guidato un approccio di inferenza migliorato.
Il tuo 2025 è anche operato con le chiavi dei popoli di orgoglioso. Vinay Ramasesh, Andreas Kirsch, Jieming Mao, Zicheng Xu, Wilfried Bounsi, Vahab Mirrokni per inferenza; Hoang Nguyen, Fred Z.
Ringraziamo i contributi dei team e degli sforzi correlati. Team di alfageometria con Yuri Chervonyi (Lead), Trieu Trinh, Hoang Nguyen, Junsu Kim, Mirek Olšák, Marcelo Menegali, Xiaomeng Yang. Miklós Z. Horváth, Aja Huang, Goran Žužić per matematica formale. Ringraziamo Fabian Pedregosa, Richard Song, Alex Zhai, Sara Javanmardi, Yaguang Li, Filipe Miguel de Almeida, Silvio Lattanzi, Ashkan Norouzi Fard, Tal Schuster, Fan Honglu, Xuezhi Wang, Aditi Mavalankar, Tom Schaul, Rosemary KE per la collaborazione.
Ringraziamo in particolare altri membri principali di The Deep Think Team (Archite Sharma, Tong He, Shubha Raghvendra), lo sforzo post-allenamento (Tianhe Kevin Yu, Siamak Shakeri, Hanzhao Lin, Cosmo Du, Sid Lall) e la ricerca dell'area di pensiero su cui sono stati costruiti i sistemi IMO 2025.
Questo sforzo è stato consigliato da Quoc Le e Pushmeet Kohli, con il supporto del programma di Kristen Chiafullo e Alex Goldin.
Kang Kang, Junsi Kim, Jeonho Na, Seungwan Lee, Jihookhun Jo, Youngnsuk Hur, Seongjae, Kyuheon, Kyuhyeon Chei Park, Kyuheon Chei, Kyuhyeon Choi, Sungjae Park, Kyuhyeon, Surkyo, Choi, Sungu Hyyeok, Su-Hyyu. Seeun Lee, Taeho Ryaho Ryah, Dain, Dain, Sanha Lee, An Jin, Adem Jin, Jeengbem Jin, Jeenghyun Ahn, Juhwi, Gengwo, Chengwi, Chengwi, Chengwi, Chengn Chengn, Chengn, Chengn, Chengn, Chengnarsson. Rebet Mahdavi, Azin Nazari, Xiangzhuu Ding, Chu-Lan Kao, Steven Creech, Ciptriano Manoscu.
Inoltre, grazie a Jessica Lo e Sajjad Zafar per il loro supporto per la fornitura di calcolo e la gestione; Jane Labanowski, Andy Forbes, Sean Nakamoto per legale e logistica; e 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 e Sergey Brin e consigli.
Infine, ringraziamo il prof. Gregor Dolinar dalla scheda IMO per il supporto e l'approvazione.
L'IMO ha confermato che le nostre risposte inviate sono soluzioni complete e corrette. È importante notare che la loro revisione non si estende alla convalida del nostro sistema, o modello sottostante (vedi Di più).
Fonte: deepmind.google
