“Do AI Models Help Produce Verified Bug Fixes?” A lot less than you might think, mostly helping beginners, sometimes sending people off in tangents. In many cases AI-debugging actually makes things worse. new study, link below:

→ View original post on X — @garymarcus