Berkeleys Vero-Benchmark: bestenfalls 27 von 43 Projekten vollständig gelöst
Das RDI Lab der UC Berkeley hat den Benchmark Vero veröffentlicht: KI-Agenten schreiben in Lean-4-Repositories Code und Beweis zugleich, die beste Erfolgsquote pro Spezifikation erreicht 87,3 Prozent, doch nur 27 von 43 Projekten werden vollständig gelöst.