Tagged: software-verification

AI coding agents hit 60x speedups on legacy science code, but can't tell if the results are garbage