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