Hacker News new | past | comments | ask | show | jobs | submit
rsoto2 | on: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
"Unlocks" cool so Claude the trillion dollar technology did what any funded researcher with a computer vision algorithm could have done years ago. Wow so impressive.
CrimsonRain | parent | next
Why didn't they do it then?
michaelhoney | parent
This kind of comment is ignorant and damaging to HN.

Do better.

rsoto2 | root | parent
AI sycophancy is ignorant and damaging to HN. So is misattributing decades of OCR research to the company that stole everyone's data.