| Istilah | Arti |
|---|---|
| DeepMind | Laboratorium riset AI milik Google yang di video ini membuat Aletheia, AI agent yang mampu menyusun inti makalah ilmiah. |
| AI agent | Sistem AI yang bekerja secara mandiri untuk mencapai tujuan, di video ini meneliti masalah matematika terbuka dan menulis hasil riset. |
| research papers | Makalah ilmiah yang melaporkan temuan penelitian baru, yang di video ini sebagian isi intinya dibuat oleh AI Aletheia. |
| Alethia | Nama AI agent riset dari DeepMind yang memadukan generator dan verifier untuk memecahkan masalah matematika terbuka dan menyusun makalah. |
| natural English language | Bahasa Inggris sehari-hari, bukan bahasa matematika formal, yang dipakai Aletheia untuk memeriksa kebenaran pembuktiannya sendiri. |
| mathematical olympiad | Kompetisi matematika tingkat dunia untuk pelajar berbakat yang dipakai sebagai tolok ukur kemampuan bernalar AI di video ini. |
| proofs | Pembuktian matematika berupa rangkaian langkah logis yang menunjukkan suatu pernyataan benar, yang diperiksa ulang oleh verifier Aletheia. |
| problems | Soal atau masalah matematika, khususnya masalah terbuka seperti soal Erdős yang belum diketahui apakah bisa dipecahkan. |
| experts | Para ahli matematika, banyak di antaranya ilmuwan independen, yang memeriksa kebenaran dan kebaruan hasil riset Aletheia. |
| formal | Sifat bahasa matematika yang kaku dan ketat aturannya, yang sengaja tidak dipakai Aletheia saat memeriksa pembuktiannya. |
| core knowledge | Kumpulan pengetahuan dasar yang cukup untuk memecahkan semua soal olimpiade, berbeda dengan riset nyata yang alat pemecahnya belum tentu ada. |
| Fellow Scholars | Sapaan khas Dr Károly Zsolnai-Fehér kepada para penonton kanal Two Minute Papers. |
Dalam episode Two Minute Papers ini, Dr. Károly Zsolnai-Fehér tampil di depan kamera untuk membahas Aletheia, AI agent dari kelompok riset Quoc Le di DeepMind yang diklaim mampu melakukan riset dan menulis inti makalah ilmiah. Pertanyaan utamanya adalah apakah AI bisa menemukan sesuatu yang benar-benar baru dan mendorong kemajuan manusia. Menurut Károly, ini jauh lebih sulit daripada mathematical olympiad, karena soal olimpiade selalu bisa dipecahkan dengan pengetahuan inti yang terbatas, sedangkan masalah terbuka di dunia nyata belum tentu bisa dipecahkan sama sekali. Ada dua hambatan besar: AI masih berhalusinasi dengan mengarang makalah dan penulis palsu, serta tidak ada data latih untuk hal yang belum diketahui siapa pun. Sistem sebelumnya dari kelompok yang sama meraih performa setara medali emas olimpiade dan dirilis sebagai Deep Think untuk pelanggan Gemini Advanced.
Aletheia bekerja dengan generator yang membuat calon solusi dan verifier yang menyaring hasil buruk, lalu memolesnya dalam beberapa putaran. Tiga kuncinya adalah memeriksa proofs dalam natural English language alih-alih bahasa matematika formal sambil menyembunyikan alur pikir dari verifier, berpikir lebih lama dengan compute 100 kali lebih hemat dan skor naik dari sekitar 65 persen menjadi 95 persen bahkan tanpa internet, serta kemampuan mencari dan menggabungkan teknik dari banyak makalah. Hasilnya, Aletheia memecahkan empat problems Erdős secara mandiri, meski menurut teman matematikawan Károly soal itu tergolong mudah dan hanya lama diabaikan para ahli. Ia juga menulis inti makalah tentang konstanta dalam geometri aritmetika dan membantu empat makalah lain. Para experts independen memeriksa kebenaran dan kebaruannya, dan hasilnya lolos. AI ini kini mencapai level riset yang layak terbit, sementara level 3 dan 4 berupa terobosan besar belum terjangkau.
Kata kunci
- DeepMind
- AI agent
- mathematical olympiad
- proofs
- Membahas AI agent dari DeepMind yang dapat melakukan riset matematika dan menulis makalah penelitian.
- Menjelaskan tiga langkah kuncinya, termasuk memeriksa bukti dengan bahasa alami dan bukan bahasa formal yang kaku, serta masalah AI yang mudah setuju dengan tulisannya sendiri.
- Menimbang hasilnya: banyak masalah yang diselesaikan ternyata mudah dan lama diabaikan pakar, tetapi AI kemudian naik level.
Tulis catatan pribadimu untuk video ini. Catatan tersimpan di akunmu dan bisa dibuka dari perangkat mana pun.
