AI-agenter skrev 613 318 linjer Lean som gjenskaper Pythons indre deler linje for linje, testet alt mot ekte Python og fikk alle bevis sjekket av datamaskin. Arbeidet avdekket 418 feilrapporter i Python.

Kilde: https://broyojo.com/python-formalization/