Is the jump from current proof capabilities to complex system proofs safe to extrapolate? Or is that a reasoning gap, not just a capacity one? I don't know enough about formal verification to make that judgement

Hi Martin, loved the post. Great read & to the point. One part I’m stuck on: would using AI to translate natural language into formal specs just move the 'hallucination' risk upstream?