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

But is he needed once he finished writing the prompt?