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