halt, right? You you want you want to prove things like livveness. You want to make sure that certain operations happen within, you know, 10 or 20 clock cycles. And I think I think that stuff uh almost assuredly will be formally verified with with the help of AI, all missionritical software, all hardware. And I I would bet also that, you know, it'll find its way into the uh LLM and and AI model behavior uh in in some form or fashion
And I I would bet also that, you know, it'll find its way into the uh LLM and and AI model behavior uh in in some form or fashion