AlphaEvolve hat gerade geholfen, neue Theoreme in der Komplexitätstheorie zu beweisen. Google DeepMind's AlphaEvolve hat gerade echte Durchbrüche in der theoretischen Informatik erzielt. Anstatt vollständige Beweise zu generieren, entdeckte es neue kombinatorische Strukturen, die in bestehende Beweisrahmen integriert werden, was zu verifizierten, veröffentlichbaren Theoremen in der Komplexitätstheorie führte. Das Team verbesserte die Näherungsgrenze für MAX-4-CUT und fand massive Ramanujan-Grafen, die zuvor nie gesehen wurden, alles mit nachweisbarer Korrektheit.