The Importance of Proof by Example

People are trying to do like proof by example. I guess they think they're doing proof by counter example of like, this is bad because look at this terrible output. And it's like the input is terrible. No one's acting like it's this is not the desirable way for this to work. That's why the APIs would like do that for you. Same with the code interpreter,. Like having to create code and then copy pasting it into an R session isn't ideal. To just run the code. Both of those things are possible and people are doing it.