Do you have proof of this bug or something? Is this just envy against computers now ?
as mentioned elsewhere, there was a bug in the lean kernel exploited by AI to prove a false statement roughly a month ago
https://leodemoura.github.io/blog/2026-8-1-postmortem-for-ke...
alt Hacker News
as mentioned elsewhere, there was a bug in the lean kernel exploited by AI to prove a false statement roughly a month ago
https://leodemoura.github.io/blog/2026-8-1-postmortem-for-ke...