| Istilah | Arti |
|---|---|
| International Math Olympiad | Kompetisi matematika internasional untuk pelajar SMA berisi enam soal sangat sulit, yang edisi 2025-nya di Australia menjadi latar video ini. |
| IMO | Singkatan dari International Math Olympiad, yang di video ini juga dipakai sebagai tolok ukur kemampuan AI dalam menulis bukti matematika. |
| tiles | Potongan persegi panjang yang diletakkan pada grid tanpa saling tumpang tindih, dan jumlah minimumnya menjadi pertanyaan utama soal nomor enam. |
| highlighted edges | Sisi-sisi kotak kosong yang ditandai khusus sehingga masing-masing harus menyentuh ubin berbeda, menjadi cara utama untuk membuktikan batas bawah jumlah ubin. |
| longest increasing subsequence | Barisan bagian terpanjang dari sebuah urutan angka yang nilainya terus naik, dipakai sebagai salah satu jalur pembagi grid dalam bukti video ini. |
| proof | Argumen logis yang ketat untuk menunjukkan suatu klaim pasti benar, yang di IMO wajib ditulis lengkap dan tidak cukup hanya memberi jawaban angka. |
| grid | Papan berisi kotak-kotak persegi satuan yang tersusun dalam baris dan kolom, berukuran 2025 kali 2025 pada soal aslinya. |
| permutation | Susunan ulang angka 1 sampai n dalam urutan tertentu, yang di video dipakai untuk mencatat baris tempat tiap kotak kosong berada. |
| conjecture | Dugaan matematika yang tampak benar tetapi belum dibuktikan, misalnya dugaan bahwa pola ubin persegi kincir angin adalah susunan paling hemat. |
| tiling | Cara menyusun ubin untuk menutupi grid sesuai aturan, sehingga tiap baris dan kolom menyisakan tepat satu kotak kosong. |
| diagram | Gambar visual grid, ubin, dan kotak kosong yang dipakai Sanderson untuk membangun intuisi dan menjelaskan setiap langkah bukti. |
| decreasing subsequence | Barisan bagian dari sebuah urutan angka yang nilainya terus turun, dipakai sebagai jalur kedua yang membagi grid menjadi empat wilayah. |
Video dari kanal 3Blue1Brown ini membedah soal nomor enam International Math Olympiad 2025 di Sunshine Coast, Australia, soal tersulit yang hanya diselesaikan penuh oleh enam peserta dan kemungkinan menjadi soal IMO terakhir yang gagal dipecahkan AI. Grant Sanderson menceritakan betapa cepatnya AI berkembang, dari AlphaProof yang menjawab empat dari enam soal pada 2024 hingga model publik yang menjawab semua soal pada 2026. Namun fokus utama video adalah keindahan soal itu sendiri. Soalnya meminta jumlah ubin persegi panjang paling sedikit pada grid 2025 kali 2025, dengan syarat setiap baris dan kolom punya tepat satu kotak kosong. Menurut Sanderson, menyelesaikannya butuh kesabaran, pemahaman sebelum mencoba menjawab, dan kepekaan terhadap keindahan, hal yang menurutnya masih kurang pada model AI.
Pembahasan dimulai dari teka-teki memotong kubus 3x3x3 menjadi 27 kubus kecil, yang tetap butuh enam potongan karena tiap sisi kubus tengah memerlukan potongan sendiri. Ide yang sama dipakai untuk menyorot sisi kotak kosong. Konstruksi terbaik memakai ubin persegi berukuran k dengan pola kincir angin, mirip lantai bandara Sunshine Coast, sehingga totalnya k kuadrat ditambah 2k dikurangi 3 ubin, dengan k sama dengan 45. Buktinya menarik subbarisan naik terpanjang dan turun terpanjang dari permutasi posisi kotak kosong, membagi grid menjadi empat wilayah, lalu memakai ketaksamaan rata-rata aritmetika dan geometrik serta teorema Erdős-Szekeres. Di akhir, Sanderson yang menulis bersama Nishad memperkenalkan gagasan penjelasan bermotivasi dan menyebut kemitraan rekrutmen di 3b1b.co/talent.
Kata kunci
- IMO
- tiles
- highlighted edges
- increasing subsequence
- Menjelaskan soal paling sulit Olimpiade Matematika Internasional 2025 (soal 6) tentang menaruh ubin di kisi dan kaitannya dengan subsequence naik dan turun terpanjang.
- Menelusuri konstruksi ubin dengan sisi tersorot (highlighted edges) dan pembuktian batas lewat panjang jalur serta ketaksamaan rata-rata aritmetika dan geometri.
- Menutup dengan refleksi bahwa nilai soal ini sebagai penemuan matematika bersifat manusiawi.
Tulis catatan pribadimu untuk video ini. Catatan tersimpan di akunmu dan bisa dibuka dari perangkat mana pun.