Terence Tao menyokongnya! Anugerah Kemajuan Olimpik Matematik AI Diumumkan, dengan Hadiah Lebih daripada AS$1 Juta

Bagaimanakah model besar boleh menyelesaikan masalah matematik? "Keputusan awal untuk Olimpik Matematik AI (Anugerah Kemajuan AIMO) telah diumumkan. Menurut data papan pendahulu, pada masa ini nampaknya program yang menang menjawab 29/50 soalan dengan betul dalam ujian persendirian, yang merupakan keputusan yang lebih tinggi daripada yang dijangkakan. . "Tadi, Tao Zhexuan mengumumkan berita itu di blog peribadinya.

AIMO berasal dari XTX Markets, sebuah institusi kewangan bukan bank yang pakar dalam perdagangan kuantitatif pembelajaran mesin Ia terutamanya membolehkan peserta menggunakan model AI untuk menyelesaikan masalah matematik antarabangsa boleh menyelesaikan masalah matematik kompleks yang ditulis dalam format dan model LaTeX. Ini membantu mempromosikan keupayaan penaakulan matematik model kecerdasan buatan dan menggalakkan pembangunan pengetahuan termaju.
Perlu disebut bahawa ini adalah kali pertama Anugerah Kemajuan akan dianugerahkan, dan pasukan yang menang akan bersaing untuk hadiah AS$1.048 juta. Soalan yang disertai termasuk soalan daripada pertandingan matematik sekolah menengah menengah, tetapi tahap kesukaran tidak mencapai tahap International Mathematical Olympiad (IMO). Kelayakan untuk anugerah memerlukan pasukan untuk mengeluarkan kod, kaedah, data dan parameter model mereka secara terbuka.
Menurut ranking, kita dapat lihat bahawa pasukan Numina memenangi tempat pertama, CMU_MATH menduduki tempat kedua, selepas peperiksaan sementara menduduki tempat ketiga, dan pasukan codeinter dan Conor #2 masing-masing memperoleh keputusan keempat dan kelima. Mengikut peraturan, bilangan maksimum pasukan yang mengambil bahagian ialah 5 orang, dan dua daripada lima teratas adalah pemain tunggal.

Model yang digunakan oleh semua orang juga berbeza, termasuk Mixtral・8x7b, Gemma, Llama 3, dll.

1 IMO International Mathematical Olympiad sentiasa disertai secara langsung oleh peminat yang pakar dalam matematik Namun, apabila keupayaan model besar terus meningkat, prestasi mereka dalam matematik semakin mendapat perhatian.

2. Tumpuan ujian semua orang secara beransur-ansur beralih daripada soalan peperiksaan kemasukan kolej ke arena Olimpik Sebelum ini, AlphaGeometry daripada Google DeepMind telah diterbitkan dalam Nature Penyelidikan ini menyelesaikan 25 daripada 30 masalah peringkat Olimpik, menghampiri Olimpik Matematik Antarabangsa Prestasi purata pemenang pingat emas pertandingan.
3. Dengan letupan model besar, lebih daripada satu syarikat telah mula mencabar masalah Olympiad Apakah keputusan jika mereka bersaing antara satu sama lain?
4. November lalu, pertandingan matematik yang disediakan khusus untuk AI datang dengan hadiah AS$10 juta, bertujuan untuk merangsang pembangunan model kecerdasan buatan terbuka supaya mereka boleh beraksi dengan manusia terbaik dalam Olimpik Matematik Antarabangsa (IMO) adalah sama. cemerlang. Anugerah Kemajuan dianugerahkan sebagai sebahagian daripada Anugerah AIMO.

   

   Ahli jawatankuasa penasihat AIMO adalah semua nama besar dalam matematik, termasuk pemenang Fields Medal Timothy Gowers dan Terence Tao, dan mereka juga dilayan oleh Po-Shen Loh, Dan Roberts dan Geoff Smith.

   

   Pautan rujukan: https://aimoprize.com/participate

Atas ialah kandungan terperinci Terence Tao menyokongnya! Anugerah Kemajuan Olimpik Matematik AI Diumumkan, dengan Hadiah Lebih daripada AS$1 Juta. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!