Yayasan Simons ngumumake prakarsa anyar kanggo mbantu komunitas matématika kanthi cepet nyepetake intelijen buatan ing lapangan, sing didhukung dening dana gabungan $15 yuta lan sumber daya saka yayasan, Anthropic, lan OpenAI.

Yayasan kasebut bakal ngatur lan menehi dana, kalebu liwat telpon mbukak kanggo proposal, kanggo ndhukung lokakarya lan inisiatif sing mbantu peneliti ngevaluasi asil sing dibantu AI anyar, sinau lan nggunakake alat anyar, nuduhake perspektif, lan mbentuk standar kolektif babagan carane AI digunakake ing riset matematika. For more context on this story, see our ongoing artificial intelligence updates.

Piranti lan Komputasi Ngluwihi Matematika

Ngluwihi pendanaan, Anthropic lan OpenAI bakal nyedhiyakake alat AI lan sumber daya komputasi kanggo peneliti sing didhukung dening Yayasan Simons. Miturut woro-woro yayasan kasebut, dhukungan kasebut ngluwihi matématika kanggo nyakup ilmu dhasar kanthi luwih wiyar - saluran langsung sing ora biasa ing antarane laboratorium AI perbatasan lan peneliti akademik sing kerja.

Penataan kasebut misuwur amarga strukture: tinimbang laboratorium sing ngatur agenda, yayasan kasebut ngontrol kepiye dhuwit dianugerahi, lan materi pers negesake manawa penghargaan lan sumber daya bakal didorong komunitas.

Apa Matematika Dadi Garis Ngarep

Matematika wis dadi salah sawijining alasan uji coba sing paling penting kanggo AI ing ilmu pengetahuan. Yayasan Simons minangka panyengkuyung awal sinau mesin kanggo ilmu pengetahuan, kalebu mbiayai pangembangan asisten bukti Lean, sing wis ngowahi cara para ahli matematika nggawe formal lan nggawe bukti sing dibantu AI. Amarga sistem AI saya tambah akeh kontribusi kanggo panemuan matematika, komunitas ngadhepi masalah praktis: carane verifikasi, evaluasi, lan dipercaya asil sing diasilake kanthi bantuan mesin sing akeh.

Masalah verifikasi kasebut minangka pusat kanggo pendanaan inisiatif anyar. Lokakarya lan inisiatif sing dituju kanggo "ngevaluasi asil sing dibantu AI anyar" ngakoni yen proses review peer tradisional ora dirancang kanggo bukti sing digawe, utawa ing sawetara kasus sing diprodhuksi dening sistem AI.

Framing Yayasan: Komunitas First

Presiden Yayasan Simons David Spergel nggawe upaya kasebut minangka wayahe kanggo nggawe keputusan kolektif. "Minangka intelijen buatan kanthi cepet mbentuk lanskap riset, kita pengin mbantu komunitas matematika teka bebarengan lan nggawe dalan sing paling apik," ujare Spergel ing woro-woro kasebut. "Saiki iki wektu kanggo ndeleng matématika kanthi wutuh - ora minangka koleksi bukti lan teorema, nanging minangka pemahaman kolektif sing didorong dening rasa penasaran manungsa."

Spergel jelas babagan sapa sing kudu nyetel syarat adopsi. "Masyarakat kudu nyopir diskusi babagan carane alat kasebut dievaluasi, diadopsi lan digunakake, dudu perusahaan utawa institusi siji wae," ujare. "Tujuan program kasebut yaiku ndhukung komunitas matematika."

Pranyatan kasebut diwaca minangka kontras sing disengaja karo akrab dinamis ing adopsi AI: institusi individu sing negosiasi kesepakatan sing kapisah karo panyedhiya model, kanthi norma sing ditetepake dening lab utawa universitas sing luwih dhisik. Kanthi nuntun pendanaan liwat telpon sing mbukak lan nandheske standar kolektif, yayasan kasebut nyoba nggawe titik koordinasi kanggo disiplin sing output - bukti - ora bisa diverifikasi, lan mulane ora biasa katon ing trabasan sing dibantu AI.

Model kanggo Bidang Liyane

Inisiatif kasebut bisa dadi cithakan ngluwihi matématika. Bidang ilmu dhasar ngadhepi pitakonan dhasar sing padha - carane nyerep alat AI tanpa menehi standar menyang vendor alat kasebut - lan struktur Yayasan Simons, ing ngendi filantropi netral ngatur sumber daya sing disumbang dening perusahaan AI sing saingan, minangka salah sawijining upaya pisanan kanggo njawab.

Sejarah yayasan kasebut menehi kredibilitas kanggo nindakake peran kasebut: ngluwihi pendanaan awal saka asisten bukti Lean, wis nganakake lokakarya, ceramah, lan kolaborasi kanggo njelajah peran AI ing matematika. Komitmen $ 15 yuta sing anyar nggawe resmi yen nggabungake kekuwatan dadi program sing didanai pas asil sing dibantu AI teka luwih cepet tinimbang norma komunitas sing bisa nyerep.

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →