En feil i kjernen til bevisassistenten Lean ble oppdaget og rettet i slutten av juli, etter å ha fått oppmerksomhet på Zulip og sosiale medier.

Kilde: https://leodemoura.github.io/blog/2026-8-1-postmortem-for-kernel-soundness-bug-14576/