cari
RumahPeranti teknologiAIGoogle Mathematical AI menerbitkan artikel dalam Nature: Proving beyond Wu Wenjun's 1978 theorem, menunjukkan tahap geometri bertaraf dunia

Google DeepMind mengeluarkan Nature sekali lagi, AI siri Alpha kembali, dan tahap matematik bertambah baik dengan pesat.

AlphaGeometry, tidak perlu demonstrasi manusia untuk mencapai tahap geometri pemain pingat emas IMO.

Google Mathematical AI menerbitkan artikel dalam Nature: Proving beyond Wu Wenjuns 1978 theorem, menunjukkan tahap geometri bertaraf dunia

Rasanya AlphaZero belajar permainan "Menguasai permainan Go tanpa pengetahuan manusia" ketika itu.

AlphaGeometry mendapat 25 daripada 30 teorem geometri kesukaran IMO yang membuktikan soalan betul, manakala purata pemain pingat emas manusia mendapat 25.9 betul. Di samping itu, kaedah SOTA sebelumnya (kaedah Wu Wenjun pada tahun 1978) hanya boleh mendapat 10 betul.

Google Mathematical AI menerbitkan artikel dalam Nature: Proving beyond Wu Wenjuns 1978 theorem, menunjukkan tahap geometri bertaraf dunia

IMO pemenang pingat emas Evan Chen(Evan Chen) bertanggungjawab untuk menilai jawapan yang dijana oleh AI Dia mengulas:

Keluaran AlphaGeometry sangat mengagumkan, boleh dipercayai dan bersih. Penyelesaian AI yang lalu telah gagal, menghasilkan output yang kadangkala memerlukan semakan manual.

Penyelesaian AlphaGeometry mempunyai struktur yang boleh disahkan yang boleh disahkan oleh kedua-dua mesin dan difahami oleh manusia. Ia menggunakan peraturan geometri klasik seperti sudut dan segi tiga yang serupa seperti pelajar.

Sebagai tambahan kepada keputusan yang cemerlang, terdapat tiga perkara utama dalam kajian ini yang telah menarik perhatian industri:

  • Tiada demonstrasi manusia diperlukan, iaitu, hanya latihan data sintetik AI digunakan , meneruskan kaedah Go pembelajaran kendiri AlphaZero.
  • Model besar digabungkan dengan kaedah AI lain, serupa dengan khabar angin AlphaGo dan OpenAI Q*.
  • Tidak seperti kebanyakan kaedah sebelumnya, AlphaGeometry boleh menjana proses bukti yang boleh dibaca manusia, dan kedua-dua model serta kod adalah sumber terbuka.

Google Mathematical AI menerbitkan artikel dalam Nature: Proving beyond Wu Wenjuns 1978 theorem, menunjukkan tahap geometri bertaraf dunia

Pasukan percaya bahawa AlphaGeometry menyediakan rangka kerja yang berpotensi untuk mencapai keupayaan penaakulan lanjutan dan menemui pengetahuan baharu.

Ini boleh membantu memajukan pembuktian teorem dalam kecerdasan buatan - dilihat sebagai langkah penting dalam membina AGI.

Google Mathematical AI menerbitkan artikel dalam Nature: Proving beyond Wu Wenjuns 1978 theorem, menunjukkan tahap geometri bertaraf dunia

Selain itu, semasa proses komunikasi dengan pasukan pengarang, Qubits bertanyakan sama ada AlphaGeometry benar-benar dibenarkan menyertai pertandingan IMO, sama seperti AlphaGo mencabar juara Go manusia.

Mereka berkata mereka bekerja keras untuk meningkatkan keupayaan sistem dan juga perlu membolehkan AI menyelesaikan masalah matematik yang lebih luas melangkaui geometri.

AI membuktikan bahawa geometri juga melukis garisan tambahan

Sebelum ini, sistem AI tidak dapat menyelesaikan masalah geometri dengan baik, dan ia tersekat kerana kekurangan data latihan berkualiti tinggi.

Manusia yang belajar geometri boleh menggunakan pengetahuan sedia ada pada imej untuk menemui sifat dan hubungan geometri yang baharu dan lebih kompleks dengan bantuan kertas dan pen.

Untuk tujuan ini, pasukan Google menghasilkan 1 bilion graf objek geometri rawak, serta semua hubungan antara titik dan garisnya, dan akhirnya menapis 100 juta teorem unik dan bukti kesukaran yang berbeza telah dilatih sepenuhnya dari awal data ini.

Google Mathematical AI menerbitkan artikel dalam Nature: Proving beyond Wu Wenjuns 1978 theorem, menunjukkan tahap geometri bertaraf dunia

Sistem ini terdiri daripada dua modul yang berfungsi bersama untuk mencari bukti geometri yang kompleks.

  • Model bahasa, meramalkan geometri yang boleh digunakan untuk menyelesaikan masalah (iaitu menambah garisan tambahan) .
  • Enjin penaakulan simbolik, menggunakan peraturan logik untuk membuat kesimpulan.

Google Mathematical AI menerbitkan artikel dalam Nature: Proving beyond Wu Wenjuns 1978 theorem, menunjukkan tahap geometri bertaraf dunia

Pengarang pertama Trieu Trinh memperkenalkan bahawa proses operasi AlphaGeometry adalah serupa dengan bagaimana otak manusia dibahagikan kepada dua jenis: cepat dan perlahan.

Inilah konsep "Sistem 1, Sistem 2" yang dipopularkan dalam buku terlaris pemenang Hadiah Nobel Daniel Kahneman "Berfikir Cepat dan Lambat".

Sistem 1 menyediakan idea yang pantas dan intuitif, manakala Sistem 2 menyediakan keputusan yang lebih bernas dan rasional.

Di satu pihak, model bahasa pandai mengenal pasti corak dan perhubungan dalam data dan boleh meramalkan struktur bantu yang berpotensi berguna dengan cepat, tetapi selalunya tidak mempunyai keupayaan untuk menaakul atau menjelaskan keputusan mereka dengan teliti.

Sebaliknya, enjin penaakulan simbolik adalah berdasarkan logik formal dan menggunakan peraturan eksplisit untuk membuat kesimpulan. Mereka rasional dan boleh dijelaskan, tetapi mereka lambat dan tidak fleksibel, terutamanya apabila menangani masalah yang besar dan kompleks sahaja.

Sebagai contoh, apabila menyelesaikan soalan pertandingan IMO 2015, bahagian biru ialah struktur tambahan yang ditambahkan oleh model bahasa AlphaGeometry, dan bahagian hijau ialah versi diperkemas bagi bukti akhir, dengan jumlah 109 langkah.

Google Mathematical AI menerbitkan artikel dalam Nature: Proving beyond Wu Wenjuns 1978 theorem, menunjukkan tahap geometri bertaraf dunia

Semasa proses menyelesaikan masalah, AlphaGeometry juga menemui prasyarat yang tidak digunakan dalam masalah persaingan IMO 2004, dan dengan itu menemui versi teorem yang lebih luas.

Boleh dibuktikan bahawa P, B, dan C adalah kolinear tanpa syarat O ialah titik tengah BC.

Google Mathematical AI menerbitkan artikel dalam Nature: Proving beyond Wu Wenjuns 1978 theorem, menunjukkan tahap geometri bertaraf dunia

Selain itu, kajian juga mendapati bagi ketiga-tiga masalah dengan markah manusia yang paling rendah, AlphaGeometry juga memerlukan proses pembuktian yang sangat panjang dan penambahan banyak struktur tambahan untuk diselesaikan.

Tetapi pada soalan yang agak mudah, tiada korelasi yang signifikan antara purata skor manusia dan panjang bukti yang dijana oleh AI ​​(p = −0.06).

Google Mathematical AI menerbitkan artikel dalam Nature: Proving beyond Wu Wenjuns 1978 theorem, menunjukkan tahap geometri bertaraf dunia

Satu Lagi

Berkenaan kaitan dan perbezaan antara AlphaGeometry dan AlphaGo, semasa proses komunikasi dengan pasukan, saintis Google Quoc Le diperkenalkan:

keputusan yang sangat kompleks membuat Carian ruang, tetapi kaedah AlphaGo adalah lebih tradisional (Nota: Rangkaian saraf bertanggungjawab untuk pengecaman corak) Rangkaian saraf dalam AlphaGeometry bertanggungjawab untuk mencadangkan tindakan seterusnya yang perlu diambil dan membimbing algoritma carian untuk bergerak ke arah yang betul. dalam ruang keputusan.

Walaupun keputusan ini dinamakan sempena siri Alpha, dan unit pertama juga adalah Google DeepMind, penulis sebenarnya adalah bekas ahli Google Brain.

Master Quoc Le tidak memerlukan pengenalan Pengarang pertama Trieu Trinh dan pengarang yang sepadan, Thang Luong, telah bekerja di Google selama enam atau tujuh tahun, Thang Luong sendiri juga merupakan pemain IMO di sekolah menengah.

Antara dua pengarang Cina, He He ialah penolong profesor di Universiti New York. Wu Yuhuai sebelum ini mengambil bahagian dalam penyelidikan model matematik besar Google Minerva, dan kini telah meninggalkan Google untuk menyertai pasukan Musk dan menjadi salah seorang pengasas bersama xAI.

Alamat kertas: https://www.nature.com/articles/s41586-023-06747-5.

Pautan rujukan:
[1]https://www.nature.com/articles/d4186-024-00141-5.

[2]https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry.

Atas ialah kandungan terperinci Google Mathematical AI menerbitkan artikel dalam Nature: Proving beyond Wu Wenjun's 1978 theorem, menunjukkan tahap geometri bertaraf dunia. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!

Kenyataan
Artikel ini dikembalikan pada:51CTO.COM. Jika ada pelanggaran, sila hubungi admin@php.cn Padam
Skop Gemma: Mikroskop Google ' s untuk mengintip ke proses pemikiran AI 'Skop Gemma: Mikroskop Google ' s untuk mengintip ke proses pemikiran AI 'Apr 17, 2025 am 11:55 AM

Meneroka kerja -kerja dalam model bahasa dengan skop Gemma Memahami kerumitan model bahasa AI adalah satu cabaran penting. Pelepasan Google Gemma Skop, Toolkit Komprehensif, menawarkan penyelidik cara yang kuat untuk menyelidiki

Siapa penganalisis perisikan perniagaan dan bagaimana menjadi satu?Siapa penganalisis perisikan perniagaan dan bagaimana menjadi satu?Apr 17, 2025 am 11:44 AM

Membuka Kejayaan Perniagaan: Panduan untuk Menjadi Penganalisis Perisikan Perniagaan Bayangkan mengubah data mentah ke dalam pandangan yang boleh dilakukan yang mendorong pertumbuhan organisasi. Ini adalah kuasa penganalisis Perniagaan Perniagaan (BI) - peranan penting dalam GU

Bagaimana untuk menambah lajur dalam SQL? - Analytics VidhyaBagaimana untuk menambah lajur dalam SQL? - Analytics VidhyaApr 17, 2025 am 11:43 AM

Pernyataan Jadual Alter SQL: Menambah lajur secara dinamik ke pangkalan data anda Dalam pengurusan data, kebolehsuaian SQL adalah penting. Perlu menyesuaikan struktur pangkalan data anda dengan cepat? Pernyataan Jadual ALTER adalah penyelesaian anda. Butiran panduan ini menambah colu

Penganalisis Perniagaan vs Penganalisis DataPenganalisis Perniagaan vs Penganalisis DataApr 17, 2025 am 11:38 AM

Pengenalan Bayangkan pejabat yang sibuk di mana dua profesional bekerjasama dalam projek kritikal. Penganalisis perniagaan memberi tumpuan kepada objektif syarikat, mengenal pasti bidang penambahbaikan, dan memastikan penjajaran strategik dengan trend pasaran. Simu

Apakah Count dan Counta dalam Excel? - Analytics VidhyaApakah Count dan Counta dalam Excel? - Analytics VidhyaApr 17, 2025 am 11:34 AM

Pengiraan dan Analisis Data Excel: Penjelasan terperinci mengenai fungsi Count dan Counta Pengiraan dan analisis data yang tepat adalah kritikal dalam Excel, terutamanya apabila bekerja dengan set data yang besar. Excel menyediakan pelbagai fungsi untuk mencapai matlamat ini, dengan fungsi Count dan CountA menjadi alat utama untuk mengira bilangan sel di bawah keadaan yang berbeza. Walaupun kedua -dua fungsi digunakan untuk mengira sel, sasaran reka bentuk mereka disasarkan pada jenis data yang berbeza. Mari menggali butiran khusus fungsi Count dan Counta, menyerlahkan ciri dan perbezaan unik mereka, dan belajar cara menerapkannya dalam analisis data. Gambaran keseluruhan perkara utama Memahami kiraan dan cou

Chrome ada di sini dengan AI: mengalami sesuatu yang baru setiap hari !!Chrome ada di sini dengan AI: mengalami sesuatu yang baru setiap hari !!Apr 17, 2025 am 11:29 AM

Revolusi AI Google Chrome: Pengalaman melayari yang diperibadikan dan cekap Kecerdasan Buatan (AI) dengan cepat mengubah kehidupan seharian kita, dan Google Chrome mengetuai pertuduhan di arena pelayaran web. Artikel ini meneroka exciti

Sisi Manusia Ai ' s: Kesejahteraan dan garis bawah empat kali gandaSisi Manusia Ai ' s: Kesejahteraan dan garis bawah empat kali gandaApr 17, 2025 am 11:28 AM

Impak Reimagining: garis bawah empat kali ganda Selama terlalu lama, perbualan telah dikuasai oleh pandangan sempit kesan AI, terutama memberi tumpuan kepada keuntungan bawah. Walau bagaimanapun, pendekatan yang lebih holistik mengiktiraf kesalinghubungan BU

5 Kes Pengkomputeran Kuantum Mengubah Permainan Yang Harus Anda Ketahui5 Kes Pengkomputeran Kuantum Mengubah Permainan Yang Harus Anda KetahuiApr 17, 2025 am 11:24 AM

Perkara bergerak terus ke arah itu. Pelaburan yang dicurahkan ke dalam penyedia perkhidmatan kuantum dan permulaan menunjukkan bahawa industri memahami kepentingannya. Dan semakin banyak kes penggunaan dunia nyata muncul untuk menunjukkan nilainya

See all articles

Alat AI Hot

Undresser.AI Undress

Undresser.AI Undress

Apl berkuasa AI untuk mencipta foto bogel yang realistik

AI Clothes Remover

AI Clothes Remover

Alat AI dalam talian untuk mengeluarkan pakaian daripada foto.

Undress AI Tool

Undress AI Tool

Gambar buka pakaian secara percuma

Clothoff.io

Clothoff.io

Penyingkiran pakaian AI

AI Hentai Generator

AI Hentai Generator

Menjana ai hentai secara percuma.

Artikel Panas

R.E.P.O. Kristal tenaga dijelaskan dan apa yang mereka lakukan (kristal kuning)
1 bulan yang laluBy尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Tetapan grafik terbaik
1 bulan yang laluBy尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Cara Memperbaiki Audio Jika anda tidak dapat mendengar sesiapa
1 bulan yang laluBy尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Arahan sembang dan cara menggunakannya
1 bulan yang laluBy尊渡假赌尊渡假赌尊渡假赌

Alat panas

SublimeText3 versi Inggeris

SublimeText3 versi Inggeris

Disyorkan: Versi Win, menyokong gesaan kod!

SecLists

SecLists

SecLists ialah rakan penguji keselamatan muktamad. Ia ialah koleksi pelbagai jenis senarai yang kerap digunakan semasa penilaian keselamatan, semuanya di satu tempat. SecLists membantu menjadikan ujian keselamatan lebih cekap dan produktif dengan menyediakan semua senarai yang mungkin diperlukan oleh penguji keselamatan dengan mudah. Jenis senarai termasuk nama pengguna, kata laluan, URL, muatan kabur, corak data sensitif, cangkerang web dan banyak lagi. Penguji hanya boleh menarik repositori ini ke mesin ujian baharu dan dia akan mempunyai akses kepada setiap jenis senarai yang dia perlukan.

Penyesuai Pelayan SAP NetWeaver untuk Eclipse

Penyesuai Pelayan SAP NetWeaver untuk Eclipse

Integrasikan Eclipse dengan pelayan aplikasi SAP NetWeaver.

VSCode Windows 64-bit Muat Turun

VSCode Windows 64-bit Muat Turun

Editor IDE percuma dan berkuasa yang dilancarkan oleh Microsoft

EditPlus versi Cina retak

EditPlus versi Cina retak

Saiz kecil, penyerlahan sintaks, tidak menyokong fungsi gesaan kod