This point regarding AI-produced proofs is of course not new, but is beautifully put here. www.quantamagazine.org/is-ai-the-en... @quantamagazine.org
Post
I'm not denying that, but that's not the point made with this metaphor! (But to go with your point then... without building this insight yourself out of trial and error to know where to go and what to expect, how would you know there's something at the top, of which mountain, and what it's for?)
0 reposts5 likes