that theorem equivalent as it would be in in V4 and say yep this is a correct statement of safety now I trust lean Aristotle math lib any other libs to prove that it's correct how do you think about that problem >> yeah that um I think you got to break any any big problem like that you break into little chunks and you know obviously verifying the safety of an AI model or a chip or you know the Linux
that theorem equivalent as it would be in in V4 and say yep this is a correct statement of safety now I trust lean Aristotle math lib any other libs to prove that it's correct how do you think about that problem >> yeah that um I think you got to break any any big problem like that you break into little chunks and you know obviously verifying the safety of an AI model or a chip or you know the Linux