AlphaEvolve Baru Membantu Membuktikan Teorema Baru dalam Teori Kompleksitas AlphaEvolve Google DeepMind baru saja membuat terobosan nyata dalam ilmu komputer teoretis. Alih-alih menghasilkan bukti penuh, ia menemukan struktur kombinatorial baru yang terhubung ke kerangka pembuktian yang ada, yang mengarah pada teorema yang diverifikasi dan dapat diterbitkan dalam teori kompleksitas. Tim meningkatkan ketidakmampuan yang diikat untuk MAX-4-CUT dan menemukan grafik Ramanujan besar yang belum pernah terlihat sebelumnya, semuanya dengan kebenaran yang dapat dibuktikan.