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 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 ]