guaranteed, up to lean itself having bugs that are exploited by the LLM :shrug:

Do you have proof of this bug or something? Is this just envy against computers now ?

	▲	mswphd 16 minutes ago \| parent [-]
		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...