arhīvsls -la
# formala-verifikacija
$ ls | wc -l → 2 raksti
Programmatūra
3748 Lean faili vienā komitā: Eilera vienādojumu pierādījums, ko rakstīja Claude un Codex
GitHub 8. septembrī parādījās repozitorijs ar 3748 Lean failiem un 124 megabaitiem pierādījuma koda. Tas ir mašīnpārbaudīts pierādījums Eilera vienādojumu uzsprāgšanai, ko lielākoties uzrakstīja valodas modeļi.
Programmatūra
Leanstral 1.5: Mistral atvērtā koda modelis Lean 4 pierādījumiem atrada piecas nezināmas kļūdas
Mistral izlaida Leanstral 1.5 — atvērtā koda modeli Lean 4 formālajai verifikācijai. Skenējot 57 projektus, tas atrada 5 iepriekš nezināmas kļūdas.