Reposted by Single origin kopi luwak

There’s a popular theory that AI will finally make formal verification mainstream because mathematical proof of correctness will be needed when machines write most or all of the code. But will this happen? Hillel Wayne is one of the best people to answer:
• YouTube: youtu.be/KSkcgIYQy0U
(cont'd)