This is what AI companies (and their fanboys, including in academia) are trying to convince the world of. Proof checking…

This is what AI companies (and their fanboys, including in academia) are trying to convince the world of. Proof checking is just proof checking (which is indeed symbol manipulation), but the rest of the maths is missing from the picture, which is what I assume @barbarafantechi.bsky.social is saying.