Updates: Sharing AI progress on mathematics (amazing!); and my lecture plans

With Danny and Sharon Kleitman and Michel Goemans at the MIT Endicott house. Sharing AI progress on mathematics (OpenAI) A few hours ago, Open AI shared solution to a few hundred mathematical problems. Certainly this is an amazing milestone for mathematics, and the results will needs to be verified and digested by human mathematicians in the months to come. Several of the problems were discussed here on the blog over the past two decades and I will try to give a more detailed update regarding these problems and other “Math for AI” recent achievements. This is an amazing development! Both the Open AI list and some news from colleagues from the last days are relevant to my lecture around Borsuk’s conjecture on Friday in Jeff-Fest. My Lecture Tour I am currently in the middle of a nostalgic and hectic tour, visiting Brown University, MIT, Yale, IAS, Rutgers (for Jeff Kahn’s conference celebration), and Princeton University. It is a pleasure to meet old friends and (both young and old)…