Ahli matematika Anthropic wis nggunakake model basa perusahaan dhewe kanggo mbantah dugaan matematika sing wis nolak resolusi suwene 87 taun, menehi salah sawijining conto sing paling nggumunake babagan intelijen buatan sing maju ing matematika murni.
Levent Alpöge, ahli matematika ing perusahaan AI Anthropic, ngumumake yen dheweke nemokake conto kontra saka konjektur Jacobian, masalah sing misuwur lan wis suwe ing geometri aljabar. Dheweke entuk asil nggunakake model Claude Fable 5 Anthropic, sing wis dirilis kanggo umum mung sawetara minggu sadurunge. Panemuan kasebut, pisanan dilapurake dening ScienceDaily lan SciTechDaily lan digambar saka artikel sing asline diterbitake ing The Conversation, wis nyebabake kasenengan liwat komunitas matematika. Kanggo para pamaca sing ngetutake perkembangan AI paling anyar, asil kasebut negesake sepira cepet model frontier pindhah saka trik ruang tamu menyang karya ilmiah sing bener-bener produktif.
Formula Cukup Cilik kanggo Kiriman Tunggal
Sing nggawe terobosan kasebut nggumunake yaiku kompake. Miturut SciTechDaily, counterexample minangka fungsi telung dimensi sing luar biasa prasaja - rumus sing cukup cendhak kanggo pas ing postingan siji ing X. Conto kontra sing dibantu AI mbantah konjektur Jacobian ing ndhuwur rong dimensi, nalika nggawe konjektur asli rong dimensi mbukak.
Sing penting nuansa. Asil ora ngrampungake kabeh masalah, sing wis ana wiwit abad kaping 19. Nanging, iki mbabarake watesan sing ora dikarepke: versi umum, dimensi sing luwih dhuwur saka konjektur kasebut palsu, sanajan kasus sing paling disenengi para matématikawan isih durung rampung.
Sejarah Dibalik Masalah
Konjektur Jacobian gegayutan karo fungsi polinomial - mesin matematika sing njupuk nomer lan ngasilake nomer anyar kanthi ngetutake aturan tartamtu. Ing setelan iki, angka bisa makili titik ing spasi, kaya koordinat ing peta. Fungsi njupuk koordinat kasebut lan ngowahi, mindhah titik menyang posisi sing beda. Matématikawan bisa nliti carane lancar fungsi rearranges spasi kanthi ngitung determinant Jacobian sawijining. Konjektur kasebut pancen takon: yen penentu kasebut minangka konstanta non-nol, apa fungsi kasebut kudu duwe invers polinomial?
Masalah kasebut nduweni riwayat crita. Iki pisanan dicritakake dening matématikawan Ceko Ludwig Kraus ing taun 1884, banjur digeneralisasi kanggo sawetara dimensi dening matématikawan Jerman Ott-Heinrich Keller ing taun 1939. Iki dianggep penting banget supaya Medali Fields Stephen Smale kalebu ing daftar Masalah Matematika ing 1998 sing pengaruh kanggo Abad Sabanjure.
Sajrone umur dawa, konjektur kasebut narik akeh bukti sing diklaim, kalebu upaya Beniamino Segre lan Wolfgang Gröbner, loro ahli matematika abad kaping 20 sing misuwur. Ora ana sing ditahan. Kasunyatan manawa conto kontra saiki wis muncul - kanthi bantuan model gaya chatbot - nggambarake kepiye AI bisa migunani kanggo nemokake obyek matematika sing ora dikarepake kaya kanggo nggawe bukti.
Napa Kasus Dhuwur-Dimensi Mudhun
Bentenane utama yaiku antarane loro lan telu (utawa luwih) dimensi. Konjektur Jacobian rong dimensi asli, versi sing wis manggoni geometer aljabar kanggo generasi, isih mbukak. Apa sing ditemokake Alpöge lan Claude Fable 5 minangka conto tandhing ing telung dimensi, sing cukup kanggo ngalahake konjektur umum sing dirumusake Keller ing taun 1939.
Iki minangka asil sing migunani kanggo awake dhewe. Akeh peneliti sing curiga yen prekara kasebut bener, mesthi ana ing endi wae. A counterexample resik ing dimensi telung narrows spasi saka kemungkinan lan reframes pitakonan isih: loro dimensi genuinely khusus, utawa ana counterexample lurking ana uga?
Ing brevity saka counterexample dhewe apik banget. Fortune nglaporake manawa ahli matematika ngalami "owah-owahan sing cepet banget lan ngganggu" amarga alat AI ngrampungake masalah sing wis lawas. A rumus cilik toppling masalah disetujoni dening Fields Medalist persis jenis pembangunan sing bahan bakar sing unease - lan kasenengan sing.
Peran Tuwuh AI ing Matematika
Matématikawan sing nggarap modhèl basa gedhé wis ngasilaké sawetara asil sing misuwur, lan conto kontras konjektur Jacobian béda karo kemajuan sadurungé. Tinimbang nggoleki telusuran kanthi kasar, kolaborasi antarane Alpöge lan Claude Fable 5 ngasilake jawaban sing ringkes lan bisa dicenthang manungsa - jinis output sing bisa diverifikasi lan dibangun dening para ahli matematika.
Penemuan kasebut uga nyorot pola sing luwih jembar. Model frontier tambah akeh bisa njelajah spasi kombinatorial sing wiyar lan ngusulake obyek calon sing ora bisa ditemokake manungsa. Nalika calon kasebut cukup cendhak kanggo verifikasi kanthi tangan, kombinasi jembar AI lan pertimbangan manungsa dadi kuat.
Apa Tegese kanggo Masa Depan
Apa tegese kanggo masa depan matematika - lan kanggo matématikawan manungsa - isih kudu dideleng, kaya sing dicathet SciTechDaily. Countexample ora nggawe matématikawan dadi lungse; yen ana, sharpens pitakonan mbukak lan tangan peneliti target anyar sing tepat. Nanging iki nguatake yen AI wis ngluwihi ngringkes buku teks lan dadi jantung karya matematika kreatif.
Asil kasebut uga minangka validasi profil dhuwur kanggo Anthropic. Claude Fable 5, dirilis kanggo umum mung sawetara minggu sadurunge ditemokaké, digunakake dening salah siji saka matématikawan perusahaan dhewe kanggo mutusake masalah masalah sing wis thwarted sawetara saka pikiran paling saka abad kepungkur. Kanggo balapan perusahaan kanggo nduduhake manawa modele bisa menehi alesan ing wates, sawetara endorsement luwih dipercaya tinimbang dugaan 1939 sing pungkasane retak.
Tetep Ahead saka AI
Laju panemuan sing didorong AI saya cepet ing sains, matématika, lan industri. Tetenger meja breaking AI news kanggo jangkoan terus-terusan babagan rilis model, terobosan riset, lan owah-owahan kebijakan.
Waca liyane warta AI →
