3 ms·
AI will never be able to dumb down a proof to a level simple enough for someone to understand who has never studied math and put a lot of effort into it. Some c
by vouaobrasil 19d ago
AI will never be able to dumb down a proof to a level simple enough for someone to understand who has never studied math and put a lot of effort into it. Some concepts just need time and effort to absorb no matter how relatively simply they are phrased.
- esafak 19d agoSure, but some proofs are so complex that even experts can't follow them. As AI progresses, this may constitute an increasing fraction of proofs. I meant that AI could work to find the simplest possible proof.
- vouaobrasil 18d ago> Sure, but some proofs are so complex that even experts can't follow them. If that's the case then I don't see much reason for them to exist in the first place except mental one-upmanship.