DeepMinds AlphaEvolve verwendet LLMs, um mathematischen Beweiscode iterativ zu entwickeln und neue Theoreme in der Komplexitätstheorie zu beweisen. Dabei werden Beweisstrukturen so verändert, dass die Korrektheit automatisiert ohne menschliche Prüfung verifiziert wird.
AlphaEvolve: KI als Forschungspartner in theoretischer Informatik
•