Resmi! Google Klaim Agen AI Sukses Formalisasi Bukti Soal 90 Tahun
Sistem multi-agen Google Antigravity diklaim memverifikasi formalisasi bukti matematika rumit, merekayasa ulang software hingga 30% lebih cepat, dan mengurai molekul.
Foto: Interesting Engineering (Dokumentasi editorial)
Poin penting
- Sistem Google Teamwork-LEAP menghasilkan 1,8 juta baris kode Lean untuk formalisasi konjektur Weil.
- Menurut Google, agen AI menulis ulang decoder AV1 ke Rust dengan kenaikan kecepatan 20 hingga 30 persen.
- Google membuka pendaftaran akses gratis tier tertinggi selama 6 bulan untuk 10.000 periset akademis.
Raksasa teknologi Google resmi memperluas kapabilitas sistem multi-agen Antigravity miliknya. Teknologi yang ditenagai model Gemini ini dirancang untuk memverifikasi pembuktian matematika berumur puluhan tahun, meneliti sains, serta mengoptimalkan infrastruktur perangkat lunak berskala besar.
Mengutip laporan Interesting Engineering, terobosan ini memadukan keahlian manusia dengan kolaborasi agen AI mandiri. Agen AI merupakan perangkat lunak otonom yang mampu mengeksekusi serangkaian tugas spesifik secara terarah tanpa instruksi langkah demi langkah dari operator.
Formalisasi Bukti Berusia 90 Tahun dan Kode Rumit
Dalam pembuktian matematika murni, kerangka kerja Teamwork-LEAP milik Google memproduksi sekitar 1,8 juta baris kode Lean dari 28.800 pemanggilan sub-agen. Sistem ini berhasil memformalkan konjektur Weil yang awalnya dibuktikan matematikawan Pierre Deligne pada 1974.
Google menyatakan sistemnya juga berhasil mereproduksi formalisasi bukti baru terkait persamaan Navier-Stokes tiga dimensi. Persoalan mengenai apakah solusi mulus pada persamaan fluida tersebut dapat membentuk singularitas dalam waktu berhingga telah menjadi tanda tanya terbuka selama sekitar 90 tahun di dunia sains.
Di bidang kimia, tim beranggotakan 30 agen spesialis mencatatkan akurasi 95 persen dalam mengidentifikasi struktur molekul dari data Nuclear Magnetic Resonance (NMR).
Kunci keberhasilan Google terletak pada pembagian tugas paralel. Agen bekerja saling mengoreksi dan mengaudit secara independen. Pendekatan ini efektif memangkas risiko halusinasi atau kekeliruan bernalar yang kerap muncul jika beban hanya ditumpukan pada satu model tunggal.
Tulis Ulang Software Jadi Jauh Lebih Cepat
Menurut klaim Google, agen AI berhasil menulis ulang decoder video libgav1 AV1 dari bahasa C++ ke 170.000 baris kode Rust yang aman memori. Meski versi awal sempat melambat empat kali lipat, iterasi mandiri menggunakan alat analisis performa membalikkan situasi.
Dalam pengujian internal perusahaan, decoder versi Rust tersebut tercatat 20 hingga 30 persen lebih kencang dibanding kode asli C++ pada prosesor x86_64 dan ARM. Agen juga menulis ulang 800.000 baris microkernel Zircon dalam dua pekan hingga sukses melakukan booting.
Google kini menyediakan alur kerja Teamwork dan modul pengodean /boost lewat platform Antigravity. Sebagai langkah ekspansi riset, Google membuka pendaftaran kuota gratis selama enam bulan bagi 10.000 periset akademis untuk mencicipi tingkatan akses tertinggi.
Apa Artinya bagi Pelaku Usaha
Evolusi Google Antigravity membuktikan bahwa adopsi AI kini bergeser dari sekadar chatbot teks menjadi kolaborasi multi-agen terstruktur. Sektor pengembangan peranti lunak, manufaktur kimia, farmasi, serta korporasi perbankan dengan kode legacy akan merasakan efisiensi terbesar dari otomatisasi perbaikan sistem lama.
Pelaku usaha di Indonesia perlu mengantisipasi perubahan alur kerja tim engineering. Alih-alih menulis kode dasar secara manual, para pengembang dapat beralih peran menjadi supervisor arsitektur sementara agen AI menangani refaktorisasi, pengujian beban, dan migrasi bahasa pemrograman secara presisi.
Langkah mitigasi risiko terbaik adalah menerapkan arsitektur audit silang persis seperti metode Google: jangan mempercayakan satu proses kritis pada satu model AI saja. Tetapkan protokol verifikasi otomatis independen guna memastikan kepatuhan regulasi keamanan data dan performa sistem.
✓ Lolos pemeriksaan redaksi AI. (Klik untuk lihat hasil pemeriksaan fakta)
Artikel ini ditulis AI, 8 klaimnya dicocokkan dengan sumber, dan diuji keterbacaannya sebelum terbit. Menemukan kekeliruan? Laporkan ke redaksi.
- Interesting Engineering: Google Antigravity agents tackle 90-year-old math problem and rewrite software
| Klaim | Putusan | Dasar di sumber |
|---|---|---|
| Google memperluas sistem multi-agen Antigravity yang ditenagai model Gemini untuk matematika, sains, dan perangkat lunak | Didukung | “Google has expanded its Antigravity multi-agent system, using teams of specialized agents powered by its Gemini models to tackle longstanding mathematical problems, verify complex proofs and optimize” Interesting Engineering menyatakan Google memperluas sistem Antigravity berbasis Gemini. |
| Sistem Teamwork-LEAP memproduksi 1,8 juta baris kode Lean dari 28.800 pemanggilan sub-agen untuk formalisasi konjektur Weil | Didukung | “Google’s Teamwork-LEAP system produced approximately 1.8 million lines of Lean code across 28,800 subagent invocations to formalize the results” Interesting Engineering memuat rincian 1,8 juta baris Lean dan 28.800 sub-agen. |
| Konjektur Weil awalnya dibuktikan oleh Pierre Deligne pada 1974 | Didukung | “originally proved by mathematician Pierre Deligne in 1974.” Interesting Engineering menyebut pembuktian oleh Pierre Deligne pada 1974. |
| Sistem mereproduksi formalisasi bukti terkait persamaan Navier-Stokes tiga dimensi yang menjadi persoalan terbuka selama sekitar 90 tahun | Didukung | “The question of whether smooth solutions to these equations can develop singularities in finite time has remained open for about 90 years.” Interesting Engineering menyatakan masalah Navier-Stokes telah terbuka selama sekitar 90 tahun. |
| Sebanyak 30 agen spesialis mencatatkan akurasi 95 persen dalam identifikasi struktur molekul dari data NMR | Didukung | “Thirty specialised agents achieved 95% accuracy in identifying complex molecular structures from NMR data.” Interesting Engineering mencatat 30 agen meraih akurasi 95% untuk data NMR. |
| Agen menulis ulang decoder libgav1 AV1 dari C++ ke 170.000 baris Rust, awalnya 4 kali lebih lambat lalu menjadi 20-30 persen lebih cepat di x86_64 dan ARM | Didukung | “the Rust version became 20% to 30% faster than the original C++ implementation on both x86_64 and ARM processors” Interesting Engineering membeberkan detail penulisan ulang libgav1 dan peningkatan kecepatan 20-30%. |
| Kampanye dua pekan menulis ulang Zircon microkernel menjadi sekitar 800.000 baris Rust dan berhasil boot di ARM64 | Didukung | “two-week campaign rewrote the remaining C++ code in the Zircon microkernel into approximately 800,000 lines of memory-safe Rust, passing kernel unit tests and booting on ARM64 hardware.” Interesting Engineering melaporkan penulisan ulang 800.000 baris Rust Zircon dan boot ARM64. |
| Google membuka pendaftaran akses gratis tier tertinggi selama 6 bulan untuk 10.000 periset akademis | Didukung | “Google also opened applications for 10,000 academic researchers to receive six months of free access to its highest usage tier.” Interesting Engineering mengonfirmasi kuota gratis 6 bulan untuk 10.000 peneliti akademis. |
Video AI terbaru
Autonomous Vehicle Safety: 5 Things to Know
