Hacker News Reader

No software of normal complexity can be "provable". There will always be bugs no matter the strength of the AI.

Normal in some cases might be far from what was really needed. Perhaps the two kinds of software can grow further appart?