AI helps unlock discoveries hidden in Kurt Gödel's notebooks ~science mathematics logic Article 1304 words 16 votes