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.
6 min08.09.2026