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.
“[The] Hasil mendukung ide-ide bahwa model bahasa besar dapat mandiri tanpa tergantung pada alat eksternal [like symbolic engines]”Tulis tim DeepMind di koran,” tetapi sampai [model] Kecepatan ditingkatkan dan halusinasi sepenuhnya diselesaikan, alat -alat ini akan tetap penting untuk aplikasi matematika. ”
ADVERTISEMENT:
Hai, para pengemar slot! Pernah denger semboyan “slot gaco”? jika tidak, bersiaplah jatuh cinta dengan program ini. slot demo adalah mesin slots yang selalu kasih kemenangan. Yup, mesin-mesin ini bisa dikatakan adalah jagoannya tuk bawa come back hasil. tapi, cemana sih caranya jumpain slot demo yang benar? Santai Bro and Sis, kita bahas santai aja di sini
Games tergacor waktu ini hanya satu di Indonesia yaitu pasti memberikan return on Investment terbaik
SEGERA 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
lembagatoto88 permainan paling top dan garansi imbal balik hasil besar bersama lembagatoto88.com
lumbung888 permainan paling top dan garansi imbal balik hasil besar bersama lumbung888.biz
anadototo88 permainan paling top dan garansi imbal balik hasil besar bersama anadototo88.org
mataramtoto88 permainan paling top dan garansi imbal balik hasil besar bersama mataramtoto88.com
mawartoto88 permainan paling top dan garansi imbal balik hasil besar bersama mawartoto88.biz
maxim88 permainan paling top dan garansi imbal balik hasil besar bersama maxim88.org
mpovegas88 permainan paling top dan garansi imbal balik hasil besar bersama mpovegas88.com
nagacc88 permainan paling top dan garansi imbal balik hasil besar bersama nagacc88.com
neng88 permainan paling top dan garansi imbal balik hasil besar bersama neng88.biz
nibung888 permainan paling top dan garansi imbal balik hasil besar bersama nibung888.biz
paristogel88 permainan paling top dan garansi imbal balik hasil besar bersama paristogel88.info
ribut88 permainan paling top dan garansi imbal balik hasil besar bersama ribut88.net
sebat777 permainan paling top dan garansi imbal balik hasil besar bersama sebat777.info
sebat88 permainan paling top dan garansi imbal balik hasil besar bersama sebat88.info
singa88 permainan paling top dan garansi imbal balik hasil besar bersama singa88.biz
texas888 permainan paling top dan garansi imbal balik hasil besar bersama texas888.asia
vertu777 permainan paling top dan garansi imbal balik hasil besar bersama vertu777.org
wks88 permainan paling top dan garansi imbal balik hasil besar bersama wks88.org
wortel88 permainan paling top dan garansi imbal balik hasil besar bersama wortel88.net
yabos888 permainan paling top dan garansi imbal balik hasil besar bersama yabos888.net
yoktogel88 permainan paling top dan garansi imbal balik hasil besar bersama yoktogel88.asia
agam88 permainan paling top dan garansi imbal balik hasil besar bersama agam88.asia
bangkittoto permainan paling top dan garansi imbal balik hasil besar bersama bangkittoto.net
bangor88 permainan paling top dan garansi imbal balik hasil besar bersama bangor88.com
bangor88 permainan paling top dan garansi imbal balik hasil besar bersama bangor88.info
bangor88 permainan paling top dan garansi imbal balik hasil besar bersama bangor88.net
bangor88 permainan paling top dan garansi imbal balik hasil besar bersama bangor88.org
belanjatoto permainan paling top dan garansi imbal balik hasil besar bersama belanjatoto.org
bisnis88 permainan paling top dan garansi imbal balik hasil besar bersama bisnis88.biz
blibli88 permainan paling top dan garansi imbal balik hasil besar bersama blibli88.com
blibli88 permainan paling top dan garansi imbal balik hasil besar bersama blibli88.info
blibli88 permainan paling top dan garansi imbal balik hasil besar bersama blibli88.net
blibli88 permainan paling top dan garansi imbal balik hasil besar bersama blibli88.org
btstoto88 permainan paling top dan garansi imbal balik hasil besar bersama btstoto88.com
btstoto88 permainan paling top dan garansi imbal balik hasil besar bersama btstoto88.info
btstoto88 permainan paling top dan garansi imbal balik hasil besar bersama btstoto88.net
btstoto88 permainan paling top dan garansi imbal balik hasil besar bersama btstoto88.org
cendanatoto88 permainan paling top dan garansi imbal balik hasil besar bersama cendanatoto88.com
cupang88 permainan paling top dan garansi imbal balik hasil besar bersama cupang88.biz
cupangjp88 permainan paling top dan garansi imbal balik hasil besar bersama cupangjp88.com
danatoto88 permainan paling top dan garansi imbal balik hasil besar bersama danatoto88.biz
danatoto88slot permainan paling top dan garansi imbal balik hasil besar bersama danatoto88slot.net
davo888 permainan paling top dan garansi imbal balik hasil besar bersama davo888.biz
dewasurga888 permainan paling top dan garansi imbal balik hasil besar bersama dewasurga888.biz
dhx88 permainan paling top dan garansi imbal balik hasil besar bersama dhx88.biz
dingdongtogel88 permainan paling top dan garansi imbal balik hasil besar bersama dingdongtogel88.biz
egp888 permainan paling top dan garansi imbal balik hasil besar bersama egp888.biz
eropa88 permainan paling top dan garansi imbal balik hasil besar bersama eropa88.biz
forwin777 permainan paling top dan garansi imbal balik hasil besar bersama forwin777.biz
forwin88 permainan paling top dan garansi imbal balik hasil besar bersama forwin88.net
gacor222 permainan paling top dan garansi imbal balik hasil besar bersama gacor222.biz
galaxy777 permainan paling top dan garansi imbal balik hasil besar bersama galaxy777.asia
garuda88 permainan paling top dan garansi imbal balik hasil besar bersama garuda88.biz
gaul88 permainan paling top dan garansi imbal balik hasil besar bersama gaul88.biz
glowin888 permainan paling top dan garansi imbal balik hasil besar bersama glowin888.biz
gopay88 permainan paling top dan garansi imbal balik hasil besar bersama gopay88.biz
harum88 permainan paling top dan garansi imbal balik hasil besar bersama harum88.biz
harumtoto permainan paling top dan garansi imbal balik hasil besar bersama harumtoto.net
hiu88 permainan paling top dan garansi imbal balik hasil besar bersama hiu88.biz
hiutoto permainan paling top dan garansi imbal balik hasil besar bersama hiutoto.biz
hoki117 permainan paling top dan garansi imbal balik hasil besar bersama hoki117.net
ibetslot88 permainan paling top dan garansi imbal balik hasil besar bersama ibetslot88.biz
idhoki888 permainan paling top dan garansi imbal balik hasil besar bersama idhoki888.com
indosport999 permainan paling top dan garansi imbal balik hasil besar bersama indosport999.net
jackpot10 permainan paling top dan garansi imbal balik hasil besar bersama jackpot10.net
jago77 permainan paling top dan garansi imbal balik hasil besar bersama jago77.biz
jet88 permainan paling top dan garansi imbal balik hasil besar bersama jet88.biz
jinbei88 permainan paling top dan garansi imbal balik hasil besar bersama jinbei88.biz
juliet88 permainan paling top dan garansi imbal balik hasil besar bersama juliet88.org
kakekslot88 permainan paling top dan garansi imbal balik hasil besar bersama kakekslot88.asia
kenzo118 permainan paling top dan garansi imbal balik hasil besar bersama kenzo118.biz
kiw88 permainan paling top dan garansi imbal balik hasil besar bersama kiw88.biz
lazada88 permainan paling top dan garansi imbal balik hasil besar bersama lazada88.biz
mangga2bet88 permainan paling top dan garansi imbal balik hasil besar bersama mangga2bet88.com
mental88 permainan paling top dan garansi imbal balik hasil besar bersama mental88.org
nenektogel88 permainan paling top dan garansi imbal balik hasil besar bersama nenektogel88.com
obc88 permainan paling top dan garansi imbal balik hasil besar bersama obc88.net
parsel88 permainan paling top dan garansi imbal balik hasil besar bersama parsel88.com
pasar88 permainan paling top dan garansi imbal balik hasil besar bersama pasar88.biz
pilar100 permainan paling top dan garansi imbal balik hasil besar bersama pilar100.net
power88 permainan paling top dan garansi imbal balik hasil besar bersama power88.biz
pragmatic7777 permainan paling top dan garansi imbal balik hasil besar bersama pragmatic7777.com
pragmaticid88 permainan paling top dan garansi imbal balik hasil besar bersama pragmaticid88.com
pragmaticid88 permainan paling top dan garansi imbal balik hasil besar bersama pragmaticid88.info
pragmaticid88 permainan paling top dan garansi imbal balik hasil besar bersama pragmaticid88.net
pragmaticid88 permainan paling top dan garansi imbal balik hasil besar bersama pragmaticid88.org
premantoto88 permainan paling top dan garansi imbal balik hasil besar bersama premantoto88.com
pucuk88 permainan paling top dan garansi imbal balik hasil besar bersama pucuk88.biz
pucuktoto permainan paling top dan garansi imbal balik hasil besar bersama pucuktoto.biz
pusat88 permainan paling top dan garansi imbal balik hasil besar bersama pusat88.biz
raja228 permainan paling top dan garansi imbal balik hasil besar bersama raja228.biz
rajabandot88 permainan paling top dan garansi imbal balik hasil besar bersama rajabandot88.biz
rajapanen88 permainan paling top dan garansi imbal balik hasil besar bersama rajapanen88.net
rogtoto88 permainan paling top dan garansi imbal balik hasil besar bersama rogtoto88.net
sdtoto88 permainan paling top dan garansi imbal balik hasil besar bersama sdtoto88.biz
semangat88 permainan paling top dan garansi imbal balik hasil besar bersama semangat88.biz
sensasi555 permainan paling top dan garansi imbal balik hasil besar bersama sensasi555.net
sensasi88 permainan paling top dan garansi imbal balik hasil besar bersama sensasi88.biz
simenang88slot permainan paling top dan garansi imbal balik hasil besar bersama simenang88slot.com
slotter999 permainan paling top dan garansi imbal balik hasil besar bersama slotter999.net
slottoto88 permainan paling top dan garansi imbal balik hasil besar bersama slottoto88.org
