News for hackers. Stuff that matters.

A comment on Why the Legendary Erdős Problems Are Falling to AI. Parent comment

Re:Why the Legendary Erdős Problems Are Falling to AI by eru on Wednesday August 05, 2026 @03:01PM (#49187380)
> we can however be optimistic, oddly. If you believe Feynman when he says that you can't explain to a child something you don't understand.. then we can see that ChatGPT has no idea of just what it has done!

Why would that be optimistic? Seems like the pessimistic reading to me, if anything. Or are you having a bout of Schadenfreude?

[ Parent | on HN ]
Re:Why the Legendary Erdős Problems Are Falling to AI by oliculipolicula on Thursday August 06, 2026 @07:18PM (#49203950)
It means that humans can, for now, still do something that chatgpt can't. Distill [proofs. Even if some may hesitate call that understanding.]

Compare the various summaries that humans have written on the Jacobian counterexample, to the chat logs that were archived.

[ Parent | on HN ]
Re:Why the Legendary Erdős Problems Are Falling to AI by eru on Thursday August 06, 2026 @08:36PM (#49204538)
Have you tried asking ChatGPT / Claude etc for a good summary?
[ Parent | on HN ]
Re:Why the Legendary Erdős Problems Are Falling to AI by oliculipolicula on Friday August 07, 2026 @01:28AM (#49206209)
Yes. Have you?

I'm not guessing that they aren't working on this aspect or that chatbots won't be able to do it in the futute. It just seems that we do have an advantage for now.

[ Parent | on HN ]