a general-purpose model solved a major open problem in mathematics. (opens in new tab)

a general-purpose model solved a major open problem in mathematics. we'll be saying this a lot over the coming years, but this is a kinda big milestone. i'm very excited for AI to greatly extend our understanding of the world, but still, i have complicated feelings today. Timothy Gowers @wtgowers (@wtgowers) If you are a mathematician, then you may want to make sure you are sitting down before reading further. —