Sistem AI yang dikembangkan oleh Google DeepMind, laboratorium penelitian AI terkemuka Google, tampaknya telah melampaui peraih medali emas rata -rata dalam memecahkan masalah geometri dalam kompetisi matematika internasional.
Sistem, yang disebut Alphageometry2, adalah versi yang lebih baik dari suatu sistem, alfageometri, DeepMind yang dirilis Januari lalu. Di sebuah Studi yang baru diterbitkanpara peneliti DeepMind di belakang Alphageometry2 mengklaim AI mereka dapat menyelesaikan 84% dari semua masalah geometri selama 25 tahun terakhir di International Mathematical Olympiad (IMO), kontes matematika untuk siswa sekolah menengah.
Mengapa DeepMind peduli dengan kompetisi matematika tingkat sekolah menengah? Nah, laboratorium berpikir kunci untuk AI yang lebih mampu mungkin terletak pada menemukan cara -cara baru untuk memecahkan masalah geometri yang menantang – khususnya Masalah geometri Euclidean.
Membuktikan teorema matematika, atau secara logis menjelaskan mengapa teorema (misalnya teorema Pythagoras) benar, membutuhkan penalaran dan kemampuan untuk memilih dari berbagai langkah yang mungkin menuju solusi. Keterampilan pemecahan masalah ini bisa-jika hak DeepMind-ternyata menjadi komponen yang berguna dari model AI tujuan umum di masa depan.
Memang, musim panas yang lalu, DeepMind mendemonstrasikan sistem yang menggabungkan alphageometry2 dengan alphaproof, model AI untuk penalaran matematika formal, untuk menyelesaikan empat dari enam masalah dari IMO 2024. Selain masalah geometri, pendekatan seperti ini dapat diperluas ke bidang matematika dan sains lainnya – misalnya, untuk membantu dengan perhitungan teknik yang kompleks.
Alphageometry2 memiliki beberapa elemen inti, termasuk model bahasa dari keluarga model AI Gemini Google dan “mesin simbolik.” Model Gemini membantu mesin simbolik, yang menggunakan aturan matematika untuk menyimpulkan solusi untuk masalah, sampai pada bukti yang layak untuk teorema geometri yang diberikan.
Masalah geometri Olympiad didasarkan pada diagram yang membutuhkan “konstruksi” untuk ditambahkan sebelum dapat diselesaikan, seperti titik, garis, atau lingkaran. Model Gemini Alphageometry2 memprediksi konstruksi mana yang mungkin berguna untuk ditambahkan ke diagram, yang dirujuk mesin untuk membuat pengurangan.
Pada dasarnya, model Gemini Alphageometry2 menyarankan langkah -langkah dan konstruksi dalam bahasa matematika formal kepada mesin, yang – mengikuti aturan spesifik – memeriksa langkah -langkah ini untuk konsistensi logis. Algoritma pencarian memungkinkan Alphageometry2 untuk melakukan beberapa pencarian untuk solusi secara paralel dan menyimpan temuan yang mungkin berguna dalam basis pengetahuan umum.
Alphageometry2 mempertimbangkan masalah untuk “diselesaikan” ketika tiba pada bukti yang menggabungkan saran model Gemini dengan prinsip -prinsip yang diketahui mesin simbolis.
Karena kompleksitas menerjemahkan bukti ke dalam format yang dapat dipahami AI, ada kelangkaan data pelatihan geometri yang dapat digunakan. Jadi DeepMind membuat data sintetisnya sendiri untuk melatih model bahasa Alphageometry2, menghasilkan lebih dari 300 juta teorema dan bukti dari berbagai kompleksitas.
Tim DeepMind memilih 45 masalah geometri dari kompetisi IMO selama 25 tahun terakhir (dari tahun 2000 hingga 2024), termasuk persamaan linier dan persamaan yang membutuhkan objek geometris bergerak di sekitar pesawat. Mereka kemudian “menerjemahkan” ini menjadi set 50 masalah yang lebih besar. (Untuk alasan teknis, beberapa masalah harus dibagi menjadi dua.)
Menurut kertas, Alphageometry2 memecahkan 42 dari 50 masalah, membersihkan skor medali emas rata -rata 40,9.
Memang, ada batasan. Keunikan teknis mencegah Alphageometry2 dari memecahkan masalah dengan jumlah variabel titik, persamaan nonlinier, dan ketidaksetaraan. Dan alphageometry2 tidak secara teknis Sistem AI pertama yang mencapai kinerja tingkat medali emas dalam geometri, meskipun ini adalah yang pertama mencapainya dengan serangkaian masalah ukuran ini.
Alphageometry2 juga melakukan lebih buruk pada serangkaian masalah IMO yang lebih sulit. Untuk tantangan tambahan, tim DeepMind memilih masalah – total 29 – yang telah dinominasikan untuk ujian IMO oleh para ahli matematika, tetapi itu belum muncul dalam kompetisi. Alphageometry2 hanya bisa menyelesaikan 20 di antaranya.
Namun, hasil penelitian cenderung memicu perdebatan tentang apakah sistem AI harus dibangun di atas manipulasi simbol-yaitu, memanipulasi simbol yang mewakili pengetahuan menggunakan aturan-atau jaringan saraf yang lebih mirip otak.
Alphageometry2 mengadopsi pendekatan hibrida: model Gemini memiliki arsitektur jaringan saraf, sedangkan mesin simboliknya berbasis aturan.
Para pendukung teknik jaringan saraf berpendapat bahwa perilaku cerdas, dari pengenalan suara hingga pembuatan gambar, dapat muncul dari tidak lebih dari jumlah besar data dan komputasi. Berlawanan dengan sistem simbolik, yang menyelesaikan tugas dengan mendefinisikan set aturan yang memanipulasi simbol yang didedikasikan untuk pekerjaan tertentu, seperti mengedit garis dalam perangkat lunak pengolah kata, jaringan saraf mencoba menyelesaikan tugas melalui perkiraan statistik dan pembelajaran dari contoh.
Jaringan saraf adalah landasan sistem AI yang kuat seperti Model “Penalaran” O1 Openai. Tapi, klaim pendukung AI simbolik, mereka bukan akhir-semua-semua; AI simbolis mungkin diposisikan lebih baik untuk menyandikan pengetahuan dunia secara efisien, beralasan jalan mereka melalui skenario yang kompleks, dan “menjelaskan” bagaimana mereka sampai pada jawaban, kata para pendukung ini.
“Sangat mengejutkan melihat kontras antara kemajuan yang berkelanjutan dan spektakuler pada tolok ukur semacam ini, dan sementara itu, model bahasa, termasuk yang lebih baru dengan ‘penalaran,’ terus berjuang dengan beberapa masalah akal sehat sederhana,” Vince Conitzer, seorang Carnegie Mellon Profesor Ilmu Komputer Universitas yang berspesialisasi dalam AI, kepada TechCrunch. “Saya tidak berpikir itu semua asap dan cermin, tetapi itu menggambarkan bahwa kita masih tidak benar -benar tahu perilaku apa yang diharapkan dari sistem berikutnya. Sistem ini cenderung sangat berdampak, jadi kami sangat perlu memahaminya dan risiko yang mereka sebut lebih baik. ”
Alphageometry2 mungkin menunjukkan bahwa dua pendekatan – manipulasi simbol dan jaringan saraf – digabungkan adalah jalur yang menjanjikan ke depan dalam pencarian AI yang dapat digeneralisasikan. Memang, menurut kertas DeepMind, O1, yang juga memiliki arsitektur jaringan saraf, tidak dapat menyelesaikan masalah IMO yang dapat dijawab oleh Alphageometry2.
Ini mungkin tidak terjadi selamanya. Dalam makalah itu, tim DeepMind mengatakan menemukan bukti awal bahwa model bahasa Alphageometry2 mampu menghasilkan solusi parsial untuk masalah tanpa bantuan mesin simbolik.
“Hasil (The) mendukung ide-ide bahwa model bahasa besar dapat swasembada tanpa tergantung pada alat eksternal (seperti mesin simbolik),” tulis tim DeepMind dalam makalah, “tetapi sampai kecepatan (model) ditingkatkan dan halusinasi sepenuhnya diselesaikan, alat -alat ini akan tetap penting untuk aplikasi matematika. ”
ADVERTISEMENT:
Halo, sobat pengemar slots Pernah mendengar semboyan “raja slot? jika tidak, siap-siap jatuh cinta dengan program ini. slot gaco merupakan mesin slots yang sering memberi win. Yup, slot-slot ini bisa disebut adalah jagoannya buat bawa come back cuan. but, gimana sih
tekniknya nemuin slot demo yang benar? Santai Bro, kita bahas tenang aja di tempat ini
Gaming tergaco saat sekarang satu-satunya di Indonesia hanya di pasti memberikan imbal hasil tertinggi
Daftar hanya di :
Informasi mengenai KING SLOT, Segera Daftar Bersama king selot terbaik dan terpercaya no satu di Indonesia. Boleh mendaftar melalui sini king slot serta memberikan hasil kembali yang paling tinggi saat sekarang ini hanyalah KING SLOT atau Raja slot paling gacor, gilak dan gaco saat sekarang di Indonesia melalui program return tinggi di kingselot serta pg king slot
slot demo gacor
slot demo gacor permainan paling top dan garansi imbal balik hasil besar bersama kdwapp.com
akun demo slot gacor
akun demo slot gacor permainan paling top dan garansi imbal balik hasil besar bersama kdwapp.com
akun slot demo gacor
akun slot demo gacor permainan paling top dan garansi imbal balik hasil besar bersama kdwapp.com
akun demo slot pragmatic
akun demo slot pragmatic permainan paling top dan garansi imbal balik hasil besar bersama kdwapp.com
akun slot demo pragmatic
akun slot demo pragmatic permainan paling top dan garansi imbal balik hasil besar bersama kdwapp.com
akun slot demo
akun slot demo permainan paling top dan garansi imbal balik hasil besar bersama kdwapp.com
akun demo slot
akun demo slot permainan paling top dan garansi imbal balik hasil besar bersama kdwapp.com
slot demo gacor
slot demo gacor permainan paling top dan garansi imbal balik hasil besar bersama jebswagstore.com
akun demo slot gacor
akun demo slot gacor permainan paling top dan garansi imbal balik hasil besar bersama jebswagstore.com
akun slot demo gacor
akun slot demo gacor permainan paling top dan garansi imbal balik hasil besar bersama jebswagstore.com
akun demo slot pragmatic
akun demo slot pragmatic permainan paling top dan garansi imbal balik hasil besar bersama jebswagstore.com
akun slot demo pragmatic
akun slot demo pragmatic permainan paling top dan garansi imbal balik hasil besar bersama jebswagstore.com
akun slot demo
akun slot demo permainan paling top dan garansi imbal balik hasil besar bersama jebswagstore.com
akun demo slot
akun demo slot permainan paling top dan garansi imbal balik hasil besar bersama jebswagstore.com
slot demo gacor
slot demo gacor permainan paling top dan garansi imbal balik hasil besar bersama demoslotgacor.pro
akun demo slot gacor
akun demo slot gacor permainan paling top dan garansi imbal balik hasil besar bersama demoslotgacor.pro
akun slot demo gacor
akun slot demo gacor permainan paling top dan garansi imbal balik hasil besar bersama demoslotgacor.pro
akun demo slot pragmatic
akun demo slot pragmatic permainan paling top dan garansi imbal balik hasil besar bersama demoslotgacor.pro
akun slot demo pragmatic
akun slot demo pragmatic permainan paling top dan garansi imbal balik hasil besar bersama demoslotgacor.pro
akun slot demo
akun slot demo permainan paling top dan garansi imbal balik hasil besar bersama demoslotgacor.pro
akun demo slot
akun demo slot permainan paling top dan garansi imbal balik hasil besar bersama demoslotgacor.pro
slot demo gacor
slot demo gacor permainan paling top dan garansi imbal balik hasil besar bersama situsslotterbaru.net
akun demo slot gacor
akun demo slot gacor permainan paling top dan garansi imbal balik hasil besar bersama situsslotterbaru.net
akun slot demo gacor
akun slot demo gacor permainan paling top dan garansi imbal balik hasil besar bersama situsslotterbaru.net
akun demo slot pragmatic
akun demo slot pragmatic permainan paling top dan garansi imbal balik hasil besar bersama situsslotterbaru.net
akun slot demo pragmatic
akun slot demo pragmatic permainan paling top dan garansi imbal balik hasil besar bersama situsslotterbaru.net
akun slot demo
akun slot demo permainan paling top dan garansi imbal balik hasil besar bersama situsslotterbaru.net
akun demo slot
akun demo slot permainan paling top dan garansi imbal balik hasil besar bersama situsslotterbaru.net
situs slot terbaru
situs slot terbaru permainan paling top dan garansi imbal balik hasil besar bersama situsslotterbaru.net
slot terbaru
slot terbaru permainan paling top dan garansi imbal balik hasil besar bersama situsslotterbaru.net
adipatislot88 permainan paling top dan garansi imbal balik hasil besar bersama adipatislot88.org
akartoto88 permainan paling top dan garansi imbal balik hasil besar bersama akartoto88.biz
allototo88 permainan paling top dan garansi imbal balik hasil besar bersama allototo88.com
alototo88 permainan paling top dan garansi imbal balik hasil besar bersama alototo88.com
an77 permainan paling top dan garansi imbal balik hasil besar bersama an77.biz
an88 permainan paling top dan garansi imbal balik hasil besar bersama an88.net
grandhyatt88 permainan paling top dan garansi imbal balik hasil besar bersama grandhyatt88.com
awan88 permainan paling top dan garansi imbal balik hasil besar bersama awan88.org
banteng88 permainan paling top dan garansi imbal balik hasil besar bersama banteng88.biz
banteng96 permainan paling top dan garansi imbal balik hasil besar bersama banteng96.com
bibir66 permainan paling top dan garansi imbal balik hasil besar bersama bibir66.com
bibir88 permainan paling top dan garansi imbal balik hasil besar bersama bibir88.biz
bocor888 permainan paling top dan garansi imbal balik hasil besar bersama bocor888.biz
boswin888 permainan paling top dan garansi imbal balik hasil besar bersama boswin888.asia
canda88 permainan paling top dan garansi imbal balik hasil besar bersama canda88.org
candatoto permainan paling top dan garansi imbal balik hasil besar bersama candatoto.net
cinta888 permainan paling top dan garansi imbal balik hasil besar bersama cinta888.biz
dalang88 permainan paling top dan garansi imbal balik hasil besar bersama dalang88.info
dalang96 permainan paling top dan garansi imbal balik hasil besar bersama dalang96.org
dinojp88 permainan paling top dan garansi imbal balik hasil besar bersama dinojp88.com
dragon22 permainan paling top dan garansi imbal balik hasil besar bersama dragon22.asia
eyangslot88 permainan paling top dan garansi imbal balik hasil besar bersama eyangslot88.biz
f77bet permainan paling top dan garansi imbal balik hasil besar bersama f77bet.net
f88bet permainan paling top dan garansi imbal balik hasil besar bersama f88bet.asia
haha88 permainan paling top dan garansi imbal balik hasil besar bersama haha88.asia
heroslot888 permainan paling top dan garansi imbal balik hasil besar bersama heroslot888.info
hiwin88 permainan paling top dan garansi imbal balik hasil besar bersama hiwin88.org
hoki222 permainan paling top dan garansi imbal balik hasil besar bersama hoki222.biz
hot99 permainan paling top dan garansi imbal balik hasil besar bersama hot99.info
hotliga88 permainan paling top dan garansi imbal balik hasil besar bersama hotliga88.com
hut88 permainan paling top dan garansi imbal balik hasil besar bersama hut88.info
inajp88 permainan paling top dan garansi imbal balik hasil besar bersama inajp88.net
istanaslot88 permainan paling top dan garansi imbal balik hasil besar bersama istanaslot88.biz
jawatogel88 permainan paling top dan garansi imbal balik hasil besar bersama jawatogel88.com
jayatogel88 permainan paling top dan garansi imbal balik hasil besar bersama jayatogel88.info
jengkol88 permainan paling top dan garansi imbal balik hasil besar bersama jengkol88.info
jeniustoto88 permainan paling top dan garansi imbal balik hasil besar bersama jeniustoto88.org
kakakslot888 permainan paling top dan garansi imbal balik hasil besar bersama kakakslot888.net
kakaslot88 permainan paling top dan garansi imbal balik hasil besar bersama kakaslot88.biz
keltoto88 permainan paling top dan garansi imbal balik hasil besar bersama keltoto88.com
kera33 permainan paling top dan garansi imbal balik hasil besar bersama kera33.com
kera88 permainan paling top dan garansi imbal balik hasil besar bersama kera88.biz
keraktelor permainan paling top dan garansi imbal balik hasil besar bersama keraktelor.org
kuliner88 permainan paling top dan garansi imbal balik hasil besar bersama kuliner88.org
lengkatoto88 permainan paling top dan garansi imbal balik hasil besar bersama lengkatoto88.com
lexitoto88 permainan paling top dan garansi imbal balik hasil besar bersama lexitoto88.net
mahkotajitu88 permainan paling top dan garansi imbal balik hasil besar bersama mahkotajitu88.com
maincuan88 permainan paling top dan garansi imbal balik hasil besar bersama maincuan88.com
menangbet88 permainan paling top dan garansi imbal balik hasil besar bersama menangbet88.asia
menutogel88 permainan paling top dan garansi imbal balik hasil besar bersama menutogel88.com
merdeka88 permainan paling top dan garansi imbal balik hasil besar bersama merdeka88.biz
merdekatoto88 permainan paling top dan garansi imbal balik hasil besar bersama merdekatoto88.info
metrototo permainan paling top dan garansi imbal balik hasil besar bersama metrototo.biz
miegacoan permainan paling top dan garansi imbal balik hasil besar bersama miegacoan.biz
ml88 permainan paling top dan garansi imbal balik hasil besar bersama ml88.net
monas777 permainan paling top dan garansi imbal balik hasil besar bersama monas777.info
monas88 permainan paling top dan garansi imbal balik hasil besar bersama monas88.biz
moris88 permainan paling top dan garansi imbal balik hasil besar bersama moris88.org
nastartoto88 permainan paling top dan garansi imbal balik hasil besar bersama nastartoto88.com
newslot888 permainan paling top dan garansi imbal balik hasil besar bersama newslot888.biz
ngopibet88 permainan paling top dan garansi imbal balik hasil besar bersama ngopibet88.org
omset88 permainan paling top dan garansi imbal balik hasil besar bersama omset88.com
pajaktoto88 permainan paling top dan garansi imbal balik hasil besar bersama pajaktoto88.biz
pc77 permainan paling top dan garansi imbal balik hasil besar bersama pc77.net
pc88 permainan paling top dan garansi imbal balik hasil besar bersama pc88.biz
pin88 permainan paling top dan garansi imbal balik hasil besar bersama pin88.asia
pintoto permainan paling top dan garansi imbal balik hasil besar bersama pintoto.info
pmg888 permainan paling top dan garansi imbal balik hasil besar bersama pmg888.biz
pohon88 permainan paling top dan garansi imbal balik hasil besar bersama pohon88.biz
pulsa77 permainan paling top dan garansi imbal balik hasil besar bersama pulsa77.biz
pulsa88 permainan paling top dan garansi imbal balik hasil besar bersama pulsa88.biz
puma888 permainan paling top dan garansi imbal balik hasil besar bersama puma888.info
pusakajitu88 permainan paling top dan garansi imbal balik hasil besar bersama pusakajitu88.com
qqhok88 permainan paling top dan garansi imbal balik hasil besar bersama qqhok88.org
rapi88 permainan paling top dan garansi imbal balik hasil besar bersama rapi88.info
rt88 permainan paling top dan garansi imbal balik hasil besar bersama rt88.info
rupiahtoto88 permainan paling top dan garansi imbal balik hasil besar bersama rupiahtoto88.asia
s88bet permainan paling top dan garansi imbal balik hasil besar bersama s88bet.org
serba88 permainan paling top dan garansi imbal balik hasil besar bersama serba88.biz
sibukslot88 permainan paling top dan garansi imbal balik hasil besar bersama sibukslot88.com
sinardunia888 permainan paling top dan garansi imbal balik hasil besar bersama sinardunia888.com
sinartogel88 permainan paling top dan garansi imbal balik hasil besar bersama sinartogel88.biz
sloki888 permainan paling top dan garansi imbal balik hasil besar bersama sloki888.info
slotplay88 permainan paling top dan garansi imbal balik hasil besar bersama slotplay88.biz
sp77 permainan paling top dan garansi imbal balik hasil besar bersama sp77.biz
sp88 permainan paling top dan garansi imbal balik hasil besar bersama sp88.org
sparta888 permainan paling top dan garansi imbal balik hasil besar bersama sparta888.co
sukaslot888 permainan paling top dan garansi imbal balik hasil besar bersama sukaslot888.info
sule999 permainan paling top dan garansi imbal balik hasil besar bersama sule999.net
sultanjp88 permainan paling top dan garansi imbal balik hasil besar bersama sultanjp88.com
teluk88 permainan paling top dan garansi imbal balik hasil besar bersama teluk88.biz
teluk88 permainan paling top dan garansi imbal balik hasil besar bersama teluk88.info
tikitoto88 permainan paling top dan garansi imbal balik hasil besar bersama tikitoto88.org
togelsumo88 permainan paling top dan garansi imbal balik hasil besar bersama togelsumo88.com
ultra77 permainan paling top dan garansi imbal balik hasil besar bersama ultra77.biz
userslot88 permainan paling top dan garansi imbal balik hasil besar bersama userslot88.biz
uya88 permainan paling top dan garansi imbal balik hasil besar bersama uya88.biz
uyatoto permainan paling top dan garansi imbal balik hasil besar bersama uyatoto.com
vegasslot777 permainan paling top dan garansi imbal balik hasil besar bersama vegasslot777.asia
vegasslot88 permainan paling top dan garansi imbal balik hasil besar bersama vegasslot88.asia
wajik88 permainan paling top dan garansi imbal balik hasil besar bersama wajik88.asia