[codethief]

> How could an autocomplete engine come up with novel ideas like the incompleteness theorems and understand them?

Depends on your definition of "novel". Ideas like the incompleteness theorems, General Relativity, quantum mechanics, etc. were certainly new/unusual given the status quo in science at the time but they weren't coming out of thin air, either[0]. In fact, could it be that they were inevitable, given the data? Now you're no longer that far away from auto-completion.

[0]: We always ascribe to Einstein this singular genius (which he certainly was in a lot of ways) but one can easily forget over this that there's a clear survivorship bias – many other very smart people were working on unifying gravity with Special Relativity at that time.