paper, you're just at a fundamental disadvantage. You have to like live in formal land and just be constantly formalizing and and using lean as you go. And and I think the math community is going through that transition as we speak. Um you asked another question which was all right is is in the future is the AI model itself like [snorts] the behavior of it going to be um going to be formalized >> right? >> Um and that's an interesting one. I I
Um you asked another question which was all right is is in the future is the AI model itself like [snorts] the behavior of it going to be um going to be formalized >> right?