Hacker News new | past | comments | ask | show | jobs | submit
jdelman | on: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
I wonder how much expertise was actually needed to translate these notebooks. In other words, could a general purpose model one-shot these translations, or did we really need a subject matter expert to do the work? BTW - I'm not saying having a subject matter expert tackle the problem with Claude isn't useful - just wondering what the limits are!
rsoto2 | parent
Uh, a decades old properly trained OCR algorithm could probably "unlock" these manuscripts
semitones | root | 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