Post #1202034

@geeeero Formalization of a paper by LLMs: https://tom111.github.io/BEI-lean/ (including fixing proofs that are wrong in the human written paper) Need to write up the blog post about the experience... rather than hanging out on Mastodon 🙈