Comment by petcat

> they just bruteforce the type checkers/compilers to find out if their slop was correct

Have you used an AI coding model at all in the last year and a half? I think your knowledge is pretty outdated now.