AI Can Write the Code. Now We Have a Bigger Problem.
中文摘要
AI现在能写代码了，但软件工程的瓶颈正从编写代码转向证明代码的正确性。
English Summary
AI can now write code, shifting the software engineering bottleneck from coding to proving the code is correct.
Original Excerpt
The bottleneck in software engineering is quietly moving from writing code to proving the code is right. Imagine this.. Continue reading on Medium »