berita

한어Русский языкEnglishFrançaisIndonesianSanskrit日本語DeutschPortuguêsΕλληνικάespañolItalianoSuomalainenLatina

IT House melaporkan pada 26 Juli bahwa tim Google DeepMind menerbitkan postingan blog kemarin (25 Juli), yang menyatakan bahwa model AlphaProof dan AlphaGeometry 2 yang dikembangkannya dapat memecahkan masalah penalaran tingkat lanjut dalam matematika.Meraih standar Medali Perak dalam memecahkan teka-teki Olimpiade Matematika Internasional.

Pengantar model AI

• AlphaProof: Sistem penalaran formal matematika baru berdasarkan pembelajaran penguatan.

• AlphaGeometry 2: Versi perbaikan dari sistem pemecahan masalah geometri.

Tim DeepMind menggabungkan dua model AI dan berkolaborasi untuk menyelesaikan 4 dari 6 pertanyaan di International Mathematical Olympiad (IMO) tahun ini, mencapai hasil yang sama dengan peraih medali perak di kompetisi tersebut untuk pertama kalinya.

Tim pencetak gol

Dua ahli dari tim DeepMind memberikan penilaian sesuai dengan aturan penilaian IMO.

• Profesor Sir Timothy Gowers: Ahli matematika terkenal, peraih medali emas IMO, dan Peraih Medali Fields.

• Dr Joseph Myers: Peraih medali emas IMO dua kali dan Ketua Panitia Seleksi Edisi IMO 2024

Inferensi model AI

AI akan menerjemahkan 6 pertanyaan IMO ke dalam bahasa matematika yang dapat dipahami model.

AlphaProof menyelesaikan dua soal aljabar dan satu soal teori bilangan dengan menentukan jawaban dan membuktikan kebenarannya, dan 1 soal yang diselesaikan adalah yang tersulit dalam kompetisi, hanya diselesaikan oleh 5 pemain di IMO tahun ini.

AlphaGeometry 2 mendemonstrasikan masalah geometri dan tidak menyelesaikan 2 masalah kombinatorial.

Hasil model AI

Berdasarkan aturan IMO, masing-masing dari 6 soal bernilai 7 poin, dengan total skor maksimal 42 poin.

Sistem DeepMind akhirnya mencetak 28 poin, dengan skor sempurna di setiap pertanyaan, setara dengan skor tertinggi di grup perak.

Ambang batas medali emas tahun 2024 dimulai dari 29 poin, dan pada kompetisi resmi, 58 dari 609 peserta meraih medali emas.

IT Home melampirkan alamat referensi