ScienceClaude Identifies 663 Proof Candidates in Gödel’s Unpublished NotesBy Elias MercerNov 14, 2026, 12:24 PM UTC