‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths
Summary
AI helped unlock hundreds of proved theorems from Gödel's 1,009-page notebooks. The Helsinki project used Claude to digest the workbooks, then verified results with Coq, revealing both verified and refined theorems and showcasing AI's potential to accelerate mathematical discovery.