On: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems

At least that's how traditional Western universities used to work. The profs sometimes published something, and they taught students. Looking at science back then, it seemed to work out rather well.

True.