Remix.run Logo
▲ ArcHound 3 hours ago

Maybe? I'm targeting math, which doesn't need any kind of reality check. It has axioms though, so in a sense it's closed.

You can generate completely random ideas (a couple proofs I saw where you define some weird set, pick an element and derive a contradiction when the set is empty or whatever).

Some of these will reach a conclusion: proof or a counterexample. And that's how speed can outperform creativity, if the speed bump is fast enough. It's the same as with those monkeys and Shakespeare.