Prabhakar Raghavan - Can AI assist in Mathematics and Computer Science research?

AdvancePerishable

Istilah sulit di video ini dan artinya
Istilah	Arti
alpha evolve	Alat Google DeepMind yang memakai model bahasa untuk terus mengembangkan program secara evolusioner, dan di video dipakai untuk menemukan gadget pembuktian serta graf Ramsey.
gadget	Potongan konstruksi kecil yang mengubah satu bagian soal sumber menjadi bagian soal tujuan dalam pembuktian kekerasan, misalnya graf 19 simpul temuan AlphaEvolve di video ini.
Ramsey numbers	Bilangan terkecil yang menjamin setiap pewarnaan sisi graf lengkap pasti memuat kelompok teman atau kelompok orang asing berukuran tertentu, dan AlphaEvolve menemukan beberapa batas bawah baru untuknya.
verifier	Program pemeriksa yang menilai apakah sebuah gadget benar, dan di video versi cepat tetapi kasar dipakai di putaran evolusi sebelum pemeriksaan menyeluruh di akhir.
max cut	Soal membagi simpul graf menjadi beberapa kelompok agar sebanyak mungkin sisi terpotong, dengan versi empat kelompok menjadi hasil utama yang diperbaiki di video ini.
traveling salesman	Soal klasik mencari rute terpendek untuk mengunjungi sejumlah kota, yang batas kesulitan pendekatannya diperbaiki tim Raghavan dari 117/116 menjadi 111/110.
theorem	Pernyataan matematika yang sudah dibuktikan kebenarannya, dan di video model AI dinilai belum mampu membuktikannya sendiri meski membantu menyusun persamaan.
proof	Rangkaian argumen logis yang menunjukkan sebuah pernyataan pasti benar, di mana tim Raghavan hanya mengganti satu potongan bukti lama dengan gadget baru temuan AI.
hardness	Sifat sebuah soal yang tergolong NP-hard sehingga sulit diselesaikan atau didekati dengan baik secara efisien, dan menjadi fokus hasil optimasi diskret di video ini.
graphs	Struktur matematika berupa simpul yang dihubungkan sisi, menjadi objek utama di video baik untuk soal pemotongan, gadget, maupun bilangan Ramsey.
programs	Kode Python yang ditulis dan terus diperbaiki oleh AlphaEvolve untuk menghasilkan gadget atau graf, yang ternyata lebih ampuh daripada meminta model menulis bukti langsung.
DeepMind	Laboratorium riset AI milik Google yang membuat AlphaEvolve dan menjadi tempat kerja salah satu rekan penulis Raghavan dalam riset ini.

Dalam ceramah di UC Berkeley ini, Prabhakar Raghavan, CTO Google, membagikan pengalaman timnya memakai model bahasa untuk riset matematika dan ilmu komputer. Ia memulai dengan kisah pemanasan tentang penyeimbangan beban server pencarian Google, yang ia sebut vibe research, ketika model membantu membuat simulasi dan menulis makalah tetapi sebuah konferensi melarang penggunaan model bahasa sehingga semuanya diulang secara manual. Pertanyaan utamanya lebih tajam: apakah AI memberi kemampuan yang tidak bisa dicapai manusia cerdas dengan komputasi melimpah? Untuk menjawabnya, ia membahas dua bidang, yaitu kekerasan optimasi diskret dan bilangan Ramsey, memakai alat AlphaEvolve dari Google DeepMind. Ia menegaskan tidak mengklaim AI berpikir atau bernalar, dan bagian akhir ceramah merenungkan arti pemahaman matematika, risiko banjir hasil riset berkualitas rendah, serta apakah model AI pantas dilarang dalam sains. Topik ini penting karena menunjukkan bagaimana AI benar-benar dipakai di riset tingkat lanjut beserta batasannya.

AlphaEvolve mengelola armada program Python yang mencari gadget, menilai hasilnya dengan fungsi skor, lalu mengembalikan program terbaik ke model bahasa dalam putaran evolusi. Hasilnya, sebuah gadget 19 simpul dengan bobot sisi 1 sampai 1429 membuktikan bahwa max 4-cut sulit didekati lebih baik dari 98,7 persen, sedikit mengalahkan rekor 98,8 persen yang berumur 10 tahun. Batas kekerasan traveling salesman metrik juga membaik dari 117/116 menjadi 111/110, dan graf Ramanujan yang lebih besar memperbaiki hasil untuk graf acak. Untuk bilangan Ramsey, tabel batas bawah memuat hasil baru yang memecahkan rekor, dan kode setiap sel ternyata berbeda-beda. Pelajaran pentingnya adalah verifier cepat tetapi kasar di dalam putaran evolusi, lalu verifikasi menyeluruh sebelum menulis makalah. Meminta model langsung mencari gadget gagal total, begitu pula SAT solver dan pemrograman matematis. Raghavan menyamakan AlphaEvolve dengan ribuan asisten riset cerdas, tetapi menyatakan ujian waktu yang akan menilai hasilnya.

Kata kunci

alpha evolve
gadget
Ramsey numbers
verifier

Istilah

Arti

alpha evolve

Alat Google DeepMind yang memakai model bahasa untuk terus mengembangkan program secara evolusioner, dan di video dipakai untuk menemukan gadget pembuktian serta graf Ramsey.

gadget

Potongan konstruksi kecil yang mengubah satu bagian soal sumber menjadi bagian soal tujuan dalam pembuktian kekerasan, misalnya graf 19 simpul temuan AlphaEvolve di video ini.

Ramsey numbers

Bilangan terkecil yang menjamin setiap pewarnaan sisi graf lengkap pasti memuat kelompok teman atau kelompok orang asing berukuran tertentu, dan AlphaEvolve menemukan beberapa batas bawah baru untuknya.

verifier

Program pemeriksa yang menilai apakah sebuah gadget benar, dan di video versi cepat tetapi kasar dipakai di putaran evolusi sebelum pemeriksaan menyeluruh di akhir.

max cut

Soal membagi simpul graf menjadi beberapa kelompok agar sebanyak mungkin sisi terpotong, dengan versi empat kelompok menjadi hasil utama yang diperbaiki di video ini.

traveling salesman

Soal klasik mencari rute terpendek untuk mengunjungi sejumlah kota, yang batas kesulitan pendekatannya diperbaiki tim Raghavan dari 117/116 menjadi 111/110.

theorem

Pernyataan matematika yang sudah dibuktikan kebenarannya, dan di video model AI dinilai belum mampu membuktikannya sendiri meski membantu menyusun persamaan.

proof

Rangkaian argumen logis yang menunjukkan sebuah pernyataan pasti benar, di mana tim Raghavan hanya mengganti satu potongan bukti lama dengan gadget baru temuan AI.

hardness

Sifat sebuah soal yang tergolong NP-hard sehingga sulit diselesaikan atau didekati dengan baik secara efisien, dan menjadi fokus hasil optimasi diskret di video ini.

graphs

Struktur matematika berupa simpul yang dihubungkan sisi, menjadi objek utama di video baik untuk soal pemotongan, gadget, maupun bilangan Ramsey.

programs

Kode Python yang ditulis dan terus diperbaiki oleh AlphaEvolve untuk menghasilkan gadget atau graf, yang ternyata lebih ampuh daripada meminta model menulis bukti langsung.

DeepMind

Laboratorium riset AI milik Google yang membuat AlphaEvolve dan menjadi tempat kerja salah satu rekan penulis Raghavan dalam riset ini.