@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 🙈
Thomas Kahle
@tomkalei@machteburch.social
Der radfahrende podcastende antifaschistische Matheprof und Papa aus Magdeburg. Math professor at OvGU Magdeburg posting in English and German. When I was young, we used to compile our own operating systems. 
Dauerkarte 
Searchable on tootfinder.ch
machteburch.social
Thomas Kahle
@tomkalei@machteburch.social
Der radfahrende podcastende antifaschistische Matheprof und Papa aus Magdeburg. Math professor at OvGU Magdeburg posting in English and German. When I was young, we used to compile our own operating systems. Dauerkarte Searchable on tootfinder.ch
machteburch.social
@tomkalei@machteburch.social
·
Apr 12, 2026
2
0
0
Loading comments...