Home

"Ahead of His Time": AI Helps Unlock Discoveries Hidden in Notebooks of Man Who Transformed Maths

An article in The Guardian highlights how AI has been used to uncover hundreds of previously unknown theorems in the notebooks of Kurt Gödel, written in the early 1940s after he joined the Institute's School of Mathematics. The notebooks shed light on Gödel’s claim that he had proved the independence of the axiom of choice before another IAS mathematician won the 1966 Fields Medal for the result.

Faculty and Members Book 2026–27

The Faculty and Members Book illustrates the breadth, depth, and excellence of the Institute’s academic community—featuring, in 2026–27, over 250 visiting scholars representing 43 nations around the world, along with the Institute’s permanent Faculty and Emeriti. 

download the PDF