Simons Foundation: US$15 juta untuk evaluasi matematika AI

Pada 15 Oktober 2026, pengumuman Simons Foundation menetapkan komitmen gabungan yayasan itu, Anthropic, dan OpenAI senilai US$15 juta dalam pendanaan dan sumber daya untuk membantu matematikawan mengevaluasi hasil berbantuan AI; presiden yayasan, David Spergel, mengatakan, “The community should be driving discussions of how these tools are evaluated, adopted and used, not any single company or institution.” Yayasan akan mengelola pendanaan bagi kegiatan yang digerakkan komunitas, termasuk melalui panggilan proposal terbuka. Fokus awalnya mencakup penilaian hasil, pembelajaran alat, dan pembentukan standar penggunaannya.

Dalam pembaruan OpenAI bertanggal 15 Oktober 2026, perusahaan itu menyatakan menyumbang US$5 juta untuk prakarsa Simons Foundation, serta akan menyediakan akses model dan komputasi bagi peneliti yang didukung yayasan. Pendanaan yang dikelola Simons Foundation direncanakan menopang lokakarya, konferensi, dan program khusus. Porsi OpenAI yang dinyatakan tersendiri merupakan bagian dari komitmen bersama.

Bagaimana dukungan disalurkan

Simons Foundation memegang fungsi pengelola: yayasan memilih dan menyalurkan pendanaan, serta berencana membuka panggilan proposal agar peneliti dapat mengajukan kegiatan. Liputan YourStory menyebut lokakarya dan kegiatan yang dipimpin komunitas sebagai sasaran alokasi. Susunan ini memungkinkan kebutuhan pemeriksaan dan usulan kegiatan datang dari matematikawan yang akan menggunakan hasilnya.

Komitmen gabungan mencakup uang sekaligus sumber daya. Akses alat AI dan komputasi dari Anthropic serta OpenAI ditujukan kepada peneliti yang mendapat dukungan Simons Foundation; cakupannya juga dapat mencapai sains dasar di luar matematika. Karena bentuk dukungan itu dihitung bersama, nilai komitmen tidak otomatis sama dengan anggaran hibah tunai yang siap dibagikan. Pengumuman awal belum merinci nilai kontribusi Simons Foundation dan Anthropic, nilai komputasi, ukuran hibah, ataupun tenggat pengajuan.

Mekanisme tersebut memisahkan keputusan pendanaan dari penyediaan teknologi. Yayasan mengelola penghargaan dan kegiatan, sementara perusahaan menyediakan alat yang dapat dipakai penerima dukungan. Peneliti dapat menyusun usulan berdasarkan persoalan matematika yang perlu ditelaah dan kebutuhan akses untuk mengerjakannya. Prioritas konkret akan terlihat setelah panggilan proposal dibuka dan kegiatan yang didanai ditetapkan.

Hasil berbantuan AI perlu dinilai bersama

Fokus program adalah hasil matematika berbantuan AI yang sudah muncul, berikut cara komunitas menilai dan memakai alat baru. Kesimpulan yang tampak meyakinkan tetap memerlukan pemeriksaan terhadap argumennya: asumsi yang dipakai, hubungan antarlangkah, dan apakah pembuktian menjawab masalah yang diajukan. Peneliti juga perlu memahami hasil itu sebelum menjadikannya landasan bagi pekerjaan berikutnya. Karena itu, rencana program menempatkan evaluasi berdampingan dengan pembelajaran penggunaan alat.

Lokakarya dapat memberi waktu bagi ahli dari bidang yang relevan untuk membahas hasil tertentu secara mendalam; konferensi dapat membawa pertanyaan tersebut ke komunitas yang lebih luas. Program khusus dapat membantu peneliti menguraikan bagian pembuktian yang sulit dipahami dan menentukan pekerjaan lanjutan yang diperlukan. Bentuk kegiatan itu telah masuk dalam rencana, sedangkan topik dan penerima dukungannya akan ditentukan melalui pengelolaan program.

Peran komunitas juga menyangkut standar bersama. Matematikawan dapat membahas bagaimana kontribusi sistem AI dijelaskan, pemeriksaan seperti apa yang diperlukan sebelum suatu hasil digunakan, dan bagaimana peneliti lain dapat mengikuti pembuktiannya. Pertanyaan tersebut melampaui kemampuan model menghasilkan jawaban: hasilnya harus dapat dinilai dalam praktik riset yang terbuka terhadap telaah sejawat.

Lean dan repositori hasil OpenAI

Contoh pekerjaan yang sudah tersedia untuk ditelaah datang dari hasil matematika model internal OpenAI. Hasil itu ditempatkan di repositori GitHub dengan aturan revisi naskah dan sitasi. Riwayat revisi serta cara mengutip penting ketika sebuah argumen diperbaiki: peneliti lain perlu mengetahui versi mana yang mereka nilai atau gunakan. Repositori tersebut merupakan jalur publikasi hasil OpenAI yang sudah ada, sedangkan kegiatan yang kelak dibiayai Simons Foundation memiliki proses pemilihan tersendiri.

Sejumlah bukti di repositori itu juga telah diformalisasi dalam Lean. Bahasa ini memungkinkan langkah pembuktian ditulis agar komputer dapat memeriksa apakah bentuk formalnya mengikuti aturan yang berlaku. Pemeriksaan tersebut dapat menemukan langkah yang tidak sah dalam versi formal; matematikawan tetap perlu menilai apakah formalisasi itu mewakili klaim awal, apa arti teoremanya, dan bagaimana hasilnya berhubungan dengan pengetahuan yang sudah ada. Bukti formal dan penjelasan yang dapat dipahami peneliti lain memenuhi fungsi yang saling melengkapi.

Selain naskah dan bukti formal, repositori memuat ringkasan penalaran model, perkiraan penggunaan komputasi, serta statistik percobaan masalah. Bahan itu memberi konteks tentang proses yang mendahului sebuah klaim, sehingga pembaca tidak hanya melihat kesimpulan akhir. Simons Foundation pernah mendanai pengembangan Lean; pengalaman tersebut berkaitan dengan kebutuhan program untuk membantu komunitas memahami dan memeriksa hasil berbantuan AI.

Keputusan komunitas menjadi tahap berikutnya

Untuk cara OpenAI merilis hasilnya, perusahaan telah berkonsultasi dengan Advisory Group on Mathematics and Artificial Intelligence yang independen di Institute for Advanced Study dan mengacu pada rekomendasi publik kelompok tersebut. Dalam prakarsa pendanaan yang baru, Simons Foundation akan mengelola dukungan bagi kegiatan komunitas dan mengundang proposal. Masukan tentang publikasi hasil dan keputusan alokasi pendanaan berada pada proses yang berbeda, dengan ruang bagi matematikawan untuk memengaruhi keduanya.

Ketika panggilan proposal dibuka, rincian kegiatan yang disetujui akan menunjukkan masalah mana yang memperoleh waktu pakar, pendanaan, serta akses komputasi. Dari keputusan itu peneliti akan dapat melihat apakah dukungan diarahkan pada pemeriksaan hasil tertentu, pembelajaran alat, atau penyusunan standar bersama untuk menyampaikan pembuktian. Panggilan proposal menjadi tahap berikutnya yang akan memberi bentuk nyata pada peran komunitas dalam program ini.