Yayasan Simons mengumumkan satu set inisiatif baharu untuk membantu komuniti matematik menavigasi peningkatan pesat kecerdasan buatan dalam bidang itu, disokong oleh $15 juta dalam pembiayaan dan sumber gabungan daripada yayasan, Anthropic dan OpenAI.
Yayasan itu akan mengurus dan menganugerahkan pembiayaan, termasuk melalui panggilan terbuka untuk cadangan, untuk menyokong bengkel dan inisiatif yang membantu penyelidik menilai hasil bantuan AI terkini, mempelajari dan menggunakan alat baharu, berkongsi perspektif dan membentuk piawaian kolektif untuk cara AI digunakan dalam penyelidikan matematik. For more context on this story, see our ongoing artificial intelligence updates.
Alat dan Pengiraan Melangkaui Matematik
Di luar pembiayaan, Anthropic dan OpenAI akan menyediakan alatan AI dan sumber pengkomputeran kepada penyelidik yang disokong oleh Yayasan Simons. Menurut pengumuman yayasan itu, sokongan itu melangkaui matematik untuk memasukkan sains asas secara lebih luas — saluran langsung yang luar biasa antara makmal AI sempadan dan penyelidik akademik yang bekerja.
Susunan itu terkenal dengan strukturnya: bukannya makmal yang menetapkan agenda, yayasan mengawal cara wang itu diberikan, dan bahan akhbar menekankan bahawa anugerah dan sumber akan didorong oleh komuniti.
Mengapa Matematik Adalah Barisan Hadapan
Matematik telah menjadi salah satu asas ujian yang paling penting untuk AI dalam sains. Yayasan Simons merupakan penyokong awal pembelajaran mesin untuk sains, termasuk membiayai pembangunan pembantu kalis Lean, yang telah membentuk semula cara ahli matematik memformalkan kerja dan menjadikan bukti berbantukan AI mungkin. Memandangkan sistem AI semakin menyumbang kepada penemuan matematik, komuniti menghadapi masalah praktikal: cara mengesahkan, menilai dan mempercayai hasil yang dihasilkan dengan bantuan mesin yang banyak.
Masalah pengesahan itu adalah penting kepada apa yang dibiayai oleh inisiatif baharu itu. Bengkel dan inisiatif yang bertujuan untuk "menilai hasil bantuan AI baru-baru ini" mengakui bahawa proses semakan rakan sebaya tradisional tidak direka bentuk untuk bukti yang dirangka dengan, atau dalam beberapa kes yang dihasilkan dengan ketara oleh, sistem AI.
Pembingkaian Yayasan: Komuniti Diutamakan
Presiden Yayasan Simons David Spergel merangka usaha itu sebagai detik untuk membuat keputusan kolektif. "Memandangkan kecerdasan buatan membentuk semula landskap penyelidikan dengan pantas, kami mahu membantu komuniti matematik bersatu dan menjalin laluan terbaik ke hadapan," kata Spergel dalam pengumuman itu. "Sekarang adalah masa untuk melihat matematik secara keseluruhan - bukan sebagai koleksi bukti dan teorem, tetapi sebagai pemahaman kolektif yang didorong oleh rasa ingin tahu manusia."
Spergel secara eksplisit tentang siapa yang harus menetapkan syarat penerimaan. "Masyarakat harus mendorong perbincangan tentang bagaimana alat ini dinilai, diguna pakai dan digunakan, bukan mana-mana syarikat atau institusi," katanya. "Matlamat program ini adalah untuk menyokong komuniti matematik."
Kenyataan itu dibaca sebagai kontras yang disengajakan dengan kebiasaan dinamik merentas penerimaan AI: institusi individu merundingkan perjanjian berasingan dengan penyedia model, dengan norma yang ditetapkan oleh mana-mana makmal atau universiti yang bergerak dahulu. Dengan menghalakan pembiayaan melalui panggilan terbuka dan menekankan piawaian kolektif, yayasan itu cuba mewujudkan titik penyelarasan untuk disiplin yang outputnya — bukti — luar biasa boleh disahkan, dan oleh itu luar biasa terdedah kepada pintasan yang dibantu AI.
Model untuk Bidang Lain
Inisiatif ini boleh berfungsi sebagai templat di luar matematik. Bidang sains asas menghadapi persoalan asas yang sama — cara menyerap alatan AI tanpa menyerahkan piawaian kepada vendor alatan tersebut — dan struktur Yayasan Simons, di mana filantropi neutral menguruskan sumber yang disumbangkan oleh syarikat AI yang bersaing, adalah salah satu percubaan pertama untuk mendapatkan jawapan.
Sejarah yayasan memberikannya kredibiliti untuk memainkan peranan itu: di luar pembiayaan awal pembantu bukti Lean, ia telah mengadakan bengkel, kuliah dan kerjasama meneroka peranan AI dalam matematik. Komitmen baharu bernilai $15 juta memformalkan bahawa penggabungan kuasa ke dalam program yang dibiayai tepat pada masa keputusan yang dibantu AI tiba lebih cepat daripada yang boleh diserap oleh norma komuniti.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
