AI needs proof. Proof needs AI.
How LLMs can make formal verification economical, formal verification can make generated software accountable, and PDD keeps the human responsible for the claim.
Ai
2 entries exploring this thread.
AI is producing gara-ware
Japanese feature phones evolved into many local variants. AI is creating the same conditions for software, unless applications give way to malleable tools.