Those OpenAI Math Results

In what is being called “the most important event in the history of mathematics” (by an AI), OpenAI, using an advanced model not yet available to the public, yesterday released 722 mathematics manuscripts containing 337 results it has generated on open mathematics problems. Italian Calculators (images via MoMA) “OpenAI deluged mathematicians with hundreds of new findings that span a wide swath of topics including algebra, number theory, theoretical computer science, mathematical logic and topology,” the New York Times reports. Adding insult to injury, “the average result took about three hours of computing, the company said.” One AI engineer on x.com put it this way: “Reasoning models are two years-old. In that time they went from incapable of basic arithmetic to solving problems humans couldn’t solve for decades.” What were the results like? Computer scientist Scott Aaronson shares some of his thoughts and those of his wife, complexity theorist Dana Moshkovitz, here. Moshkovitz says:…