Hell, even with agreeing to a very rigid world view, that'd be a dream. Imagine an AI proof assistant that does two things: 1. writes more proofs, focusing on

Hell, even with agreeing to a very rigid world view, that'd be a dream. Imagine an AI proof assistant that does two things: 1. writes more proofs, focusing on the area I point at 2. makes small, atomic, incremental, suggestions to make it easier to prove something; once those pass proofs+tests, go back to #1 But hey, that would likely require some sort of artificial mental models and iterative reasoning, and not just slapping more compute+data together into a word generator...