User avatar
Martin Escardo @MartinEscardo@mathstodon.xyz
1mo
How do you check that an unformalized proof is right?
2
0
0
0
User avatar
Martin Escardo @MartinEscardo@mathstodon.xyz
1mo
I have sinned. I told claude code: "Here is my latex file, and here is my codebase that the paper is supposed to be unformalizing. Check that the informal rendering is correct."

It found lots of mistakes.
3
0
0
0
User avatar
mio @mio@shrimp.mio19.uk
1mo
@MartinEscardo Were they mistaken mistakes or real mistakes?
0
0
0
0