2 ms·
Sure, 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 A
by esafak 18d ago
Sure, 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 17d 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.