That's an implementation preference, and you can have all of that today if you write your own harness. Vibe coding a cat meme generator doesn't need a Lean proof.
replyreply
AIs aren't people. I can demand whatever I want from them.
replyThe entire premise of building machines that can provide intelligence is that they can be arbitraryly rigorous and do far more work then is reasonable or practical to demand of a human.
why?
reply