Simons Foundation mengumumkan serangkaian inisiatif baru untuk membantu komunitas matematika menavigasi pesatnya peningkatan kecerdasan buatan di bidangnya, didukung oleh gabungan dana dan sumber daya sebesar $15 juta dari yayasan, Anthropic, dan OpenAI.
Yayasan ini akan mengelola dan memberikan pendanaan, termasuk melalui permintaan proposal terbuka, untuk mendukung lokakarya dan inisiatif yang membantu para peneliti mengevaluasi hasil-hasil terbaru yang dibantu oleh AI, mempelajari dan menggunakan alat-alat baru, berbagi perspektif, dan membentuk standar kolektif tentang bagaimana AI digunakan dalam penelitian matematika. For more context on this story, see our ongoing breaking AI news.
Alat dan Komputasi Selain Matematika
Selain pendanaan, Anthropic dan OpenAI akan menyediakan alat AI dan sumber daya komputasi kepada para peneliti yang didukung oleh Simons Foundation. Menurut pengumuman yayasan, dukungan tersebut tidak hanya terbatas pada matematika namun juga mencakup sains dasar secara lebih luas – sebuah saluran langsung yang luar biasa antara laboratorium AI terdepan dan peneliti akademis yang bekerja.
Pengaturan ini terkenal karena strukturnya: alih-alih laboratorium yang menentukan agenda, yayasanlah yang mengontrol bagaimana dana tersebut diberikan, dan materi pers menekankan bahwa penghargaan dan sumber daya akan berbasis komunitas.
Mengapa Matematika Menjadi Garis Depan
Matematika telah menjadi salah satu tempat pengujian AI yang paling penting dalam sains. The Simons Foundation adalah pendukung awal pembelajaran mesin untuk sains, termasuk mendanai pengembangan asisten pembuktian Lean, yang telah mengubah cara para ahli matematika memformalkan pekerjaan dan memungkinkan pembuktian dengan bantuan AI. Ketika sistem AI semakin berkontribusi terhadap penemuan matematika, komunitas menghadapi masalah praktis: bagaimana memverifikasi, mengevaluasi, dan mempercayai hasil yang dihasilkan dengan bantuan mesin yang besar.
Masalah verifikasi ini merupakan inti dari pendanaan inisiatif baru ini. Lokakarya dan inisiatif yang bertujuan untuk "mengevaluasi hasil-hasil terbaru yang dibantu oleh AI" mengakui bahwa proses tinjauan sejawat tradisional tidak dirancang untuk bukti yang dirancang dengan, atau dalam beberapa kasus secara substansial dihasilkan oleh, sistem AI.
Kerangka Yayasan: Mengutamakan Komunitas
Presiden Simons Foundation David Spergel menggambarkan upaya ini sebagai momen pengambilan keputusan kolektif. “Ketika kecerdasan buatan dengan cepat mengubah lanskap penelitian, kami ingin membantu komunitas matematika bersatu dan membentuk jalur terbaik ke depan,” kata Spergel dalam pengumumannya. “Sekarang adalah waktunya untuk melihat matematika secara keseluruhan – bukan sebagai kumpulan bukti dan teorema, namun sebagai pemahaman kolektif yang didorong oleh keingintahuan manusia.”
Spergel secara eksplisit menyatakan siapa yang harus menetapkan persyaratan adopsi. “Masyarakat harus mendorong diskusi tentang bagaimana alat-alat ini dievaluasi, diadopsi dan digunakan, bukan oleh perusahaan atau institusi mana pun,” katanya. "Tujuan dari program ini adalah untuk mendukung komunitas matematika."
Pernyataan tersebut merupakan sebuah kontras dengan dinamika yang lazim dalam adopsi AI: masing-masing institusi menegosiasikan kesepakatan terpisah dengan penyedia model, dengan norma yang ditetapkan oleh laboratorium atau universitas mana pun yang bergerak terlebih dahulu. Dengan menyalurkan pendanaan melalui panggilan terbuka dan menekankan standar kolektif, yayasan ini berupaya untuk membangun titik koordinasi untuk suatu disiplin ilmu yang keluarannya — buktinya — sangat dapat diverifikasi, dan oleh karena itu sangat rentan terhadap jalan pintas yang dibantu oleh AI.
Model untuk Bidang Lain
Inisiatif ini dapat berfungsi sebagai contoh di luar matematika. Bidang ilmu pengetahuan dasar menghadapi pertanyaan mendasar yang sama – bagaimana cara menyerap alat-alat AI tanpa menyerahkan standar kepada vendor alat-alat tersebut – dan struktur Simons Foundation, di mana filantropi netral mengelola sumber daya yang disumbangkan oleh perusahaan-perusahaan AI yang bersaing, adalah salah satu upaya pertama untuk mendapatkan jawabannya.
Sejarah yayasan ini memberikan kredibilitas untuk memainkan peran tersebut: selain pendanaan awal untuk asisten Lean proof, yayasan ini juga mengadakan lokakarya, ceramah, dan kolaborasi yang mengeksplorasi peran AI dalam matematika. Komitmen baru senilai $15 juta ini meresmikan bahwa menyatukan kekuasaan ke dalam program yang didanai tepat pada saat hasil yang dibantu AI mencapai hasil lebih cepat daripada kemampuan masyarakat untuk menyerapnya.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
