Harmonic claims all code will be formally verified in two years, sparking pushback

Harmonic predicts that all code will be formally verified within two years as AI-generated code proliferates. The claim drew detailed pushback, with critics noting that verification only proves code matches specifications, which themselves may be wrong.

2026-11-05 ~ 2026-11-06 · 2 related posts