Yes
One of the concerns we as a team raised was that it would lead to more bugs and lower quality but after 6 months the opposite appears to be true
s08148692 on Hacker News
far lower incident and outage rate
In the thread “AlphaProof Code”, replying to this comment
Helped: Channeling extra dev capacity into improving tests and automated review.
… This is the opposite of what I expected when we started working this way. One of the concerns we as a team raised was that it would lead to more bugs and lower quality but after 6 months the opposite appears to be true