Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
RE: https://lipn.info/@mevenlennonbertrand/116997917683191056
okay the lean llm proof thing turns out to be even more hilarious.
it was a jokey way of demonstrating the lean kernel bug. everything else was people who didn't read it getting carried away 😂
top inadvertent trolling skills tbqh. it's not even clear how much LLMs were used.