The article mentions nothing about OCR and appears to state that transcription had already been done (by hand, OCR, or otherwise):
> On his return to Helsinki he began the process, showing Claude his transcriptions of the workbooks, as well as six books he had previously written on Gödel and other secondary scientific literature.
> “In a couple of days, I got to see a 650-page explanation of the workbooks. It had to be controlled page for page, but it’s basically a work that is impossible to do for human beings,” he said. “Humans read one page at a time and we tend to forget things. It takes us a year to read about 50 pages. We just are not able to keep in mind all the different parts.
> “The AI can connect all the pieces in a thousand pages. It can see all of Gödel’s writings as one piece.”
The article mentions nothing about OCR and appears to state that transcription had already been done (by hand, OCR, or otherwise):
> On his return to Helsinki he began the process, showing Claude his transcriptions of the workbooks, as well as six books he had previously written on Gödel and other secondary scientific literature.
> “In a couple of days, I got to see a 650-page explanation of the workbooks. It had to be controlled page for page, but it’s basically a work that is impossible to do for human beings,” he said. “Humans read one page at a time and we tend to forget things. It takes us a year to read about 50 pages. We just are not able to keep in mind all the different parts.
> “The AI can connect all the pieces in a thousand pages. It can see all of Gödel’s writings as one piece.”