Languages don’t matter because AI writes them is the same argument as languages don’t matter because my team writes them and not me. It’s dumb, languages matter even more because AI produces more code than humans
Industry scale Dunning Kruger effect as you’re all absolutely sure to know what’s best for Math while commenting on the opinion of 25 Fields Medalists. You are completely missing the point and the labs are behaving horribly when it comes to handling proofs.
A lot of people have changed their mind about Effect
Why? AI resolved basically every reason people didn't want to adopt it, while making the things it does well even more valuable
