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.
