Komen Tao Zhexuan di Google AlphaProof: AI menunjukkan "kebijaksanaan yang luar biasa" dalam pertandingan matematik

Dalam menghadapi masalah Olimpik Matematik, "IQ" AI selalunya tidak mencukupi. Walau bagaimanapun, ini adalah perkara yang lepas. Google DeepMind menggunakan AI untuk menyelesaikan soalan sebenar IMO Olimpik Matematik Antarabangsa tahun ini, dan ia hanya selangkah lagi untuk memenangi pingat emas. Bagi AI, Olimpik Matematik tidak lagi menjadi masalah. Setiap satu daripada enam soalan dalam IMO 2024 bernilai 7 mata, memberikan jumlah markah maksimum sebanyak 42 mata. Sistem DeepMind berakhir dengan skor 28, bermakna ia menerima skor sempurna untuk keempat-empat masalah yang diselesaikannya - bersamaan dengan skor tertinggi dalam kategori pingat perak.

1. Pautan artikel DeepMind: https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/

2. Tao Zhexuan, seorang ahli matematik yang biasa menggunakan AI- bukti yang dibantu, baru-baru ini saya sibuk dalam perjalanan perniagaan dan belum menghadam sepenuhnya enjin penyelesaian masalah AlphaProof dan AlphaGeometry2. Tetapi dia menyatakan pandangannya tentang sistem AI DeepMind yang menyertai pertandingan IMO di blognya.

   

   Tao Zhexuan bercakap tentang
3. Ini adalah kerja yang sangat hebat yang sekali lagi mengubah jangkaan kami untuk kaedah bantuan AI atau autonomi sepenuhnya untuk mencapai cabaran penanda aras.
4. Sebagai contoh, masalah geometri peringkat IMO pada asasnya telah diselesaikan untuk alatan AI khusus, dan masalah IMO dengan bukti rasmi boleh diatasi oleh AI sekurang-kurangnya sedikit sebanyak melalui proses pembelajaran pengukuhan, walaupun setiap masalah pada masa ini memerlukan kuantiti Pengiraan yang besar dan memerlukan bantuan manusia dalam pemformalkan.
5. Tao Zhexuan percaya bahawa kaedah ini juga boleh mengautomasikan matematik formal, yang mungkin mempromosikan kaedah penyelidikan matematik yang merangkumi komponen formal. Pangkalan data bukti rasmi yang terhasil boleh menjadi sumber yang berguna jika ia dikongsi dengan lebih terbuka.
6. Pendekatan ini (berdasarkan pembelajaran pengukuhan, serupa dengan semangat AlphaGo, dengan penekanan pada pendekatan holistik) sangat bijak dan masuk akal jika dilihat semula. Seperti yang dijelaskan oleh "Kesan AI", ia tidak kelihatan seperti paparan kecerdasan manusia tetapi ia masih merupakan pengembangan keupayaan set alat penyelesaian masalah kami yang dibantu oleh AI.

   

   "AI Effect"

"AI Effect" bermaksud bahawa apabila teknologi kecerdasan buatan mencapai kemajuan atau menyelesaikan masalah, orang ramai cenderung untuk berfikir bahawa pencapaian ini bukan kecerdasan buatan sebenar atau tidak memiliki kecerdasan sebenar. Dengan kata lain, apabila sesuatu teknologi itu difahami atau dipopularkan, ia tidak lagi dianggap pintar. Fenomena ini menunjukkan bahawa definisi dan jangkaan orang ramai tentang "kepintaran" akan terus bertambah baik seiring dengan kemajuan teknologi.

Model NuminaMath

Pada awal bulan ini, Tao Zhexuan mengumumkan di blognya bahawa keputusan awal AI ​​Mathematics Olympiad (AIMO Progress Award) telah diumumkan. Antaranya, pasukan Numina memenangi tempat pertama.

Model NuminaMath diautomatikkan sepenuhnya dan susunan magnitud lebih cekap sumber, dan mengambil pendekatan yang sama sekali berbeza (menggunakan model bahasa yang besar untuk menjana kod Python untuk kasar menyelesaikan masalah jawapan berangka peringkat persaingan serantau). Model ini juga merupakan sumber terbuka sepenuhnya.

Penyelidikan penaakulan matematik DeepMind

DeepMind juga melakukan usaha yang tidak putus-putus dalam penaakulan matematik. Pada awal tahun ini, algoritma kecerdasan buatannya mencapai kejayaan besar dalam Olimpik Matematik (IMO). Makalah "Menyelesaikan geometri olympiad tanpa demonstrasi manusia" memperkenalkan AlphaGeometry kepada dunia, dan juga diterbitkan dalam jurnal berwibawa antarabangsa "Nature". Pakar mengatakan ini adalah langkah penting ke arah kecerdasan buatan yang mampu membuat penaakulan manusia.

Pautan kertas: https://www.nature.com/articles/s41586-023-06747-5 Kami akan tunggu dan lihat jenis kejutan yang DeepMind akan bawa kepada kami pada masa hadapan. Pautan rujukan: https://mathstodon.xyz/@tao/112850716240504978

Atas ialah kandungan terperinci Komen Tao Zhexuan di Google AlphaProof: AI menunjukkan "kebijaksanaan yang luar biasa" dalam pertandingan matematik. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!