Sebastian Bergmann, creator of PHPUnit, used an AI coding agent to implement the ACPATH metric (a software complexity measure) in 15 minutes. While the code looked clean, tests passed, and simple cases verified correctly, he found himself unable to confirm correctness for non-trivial cases without deeply understanding the
Sort: