Hacker News new | past | comments | ask | show | jobs | submit
rsoto2 | on: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
Uh, a decades old properly trained OCR algorithm could probably "unlock" these manuscripts
semitones | parent
Right you are - this was "trivial", and everyone is "stupid" - except for you
rsoto2 | root | parent
decades of OCR research is not trivial. What's stupid is being gullible