@jdw
Ah, and I also ask the machine to follow the actual proofs in the paper, so it is not coming up with new proofs. What I'm doing is auto-formalization of human created proofs.
But I have not checked in detail if it has actually followed these instructions. That is certainly true.
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
·
Mar 10, 2026
1
0
0
Loading comments...