AWS targets AI slop with new spec check in Kiro coding tool, amid scrutiny of agent reliability

Amazon Web Services is adding a feature to its Kiro AI coding tool that uses mathematical proofs to check whether software ...