3 ms·
> > models better at writing clean proofs and explaining what they're doing to humans. That's the end of it. > The assumption here is that the true/false of th
by bonoboTP 23d ago
> > models better at writing clean proofs and explaining what they're doing to humans. That's the end of it.
> The assumption here is that the true/false of the theorem is the important outcome
You're replying to a comment about "clean proofs" and explaining to humans. You talk about true/false anyway. Re-read please.
- yCombLinks 23d agoAre you always an ass? He had a great comment, and you respond with this low effort hostile bullshit.
- bonoboTP 23d agoNo, I see this argument repeated all the time in these threads. "It will just give true/false, while humans need intuitive explanations". Why will the AI only give true/false? Where did this assumption come from? The nested citation was about AI that can give humans an explanation. The reply was "but true/false is not enough". It is as if it was a reply to another comment. How is that a great comment?