Mathematician Gil Kalai Reviews OpenAI's Internal AI Math Milestones and Outlines Upcoming Lecture Tour

Mathematician Gil Kalai published an article reviewing mathematical achievements released by OpenAI's internal AI models, alongside plans for his upcoming lecture tour. Kalai noted that OpenAI shared 722 manuscripts (grouped into 372 categories) generated by its internal AI models, spanning proofs or counterexamples for dozens of frontier mathematical problems, including Mahler's conjecture, the 9-dimensional Borsuk problem, and Hadwiger's conjecture—results that still require further verification and digestion by the mathematical community. He also mentioned plans to use AI tools to help organize detailed lecture notes from his tour and adapt them into blog posts.