OpenAI posts hundreds of results on major maths problems, and mathematicians want proof

[Skibidi98]

OpenAI has published 722 manuscripts on GitHub containing solutions and partial progress on 372 major maths problems, produced by an unreleased ChatGPT model and checked by OpenAI's new advisory group, Engadget reports. Last month, the company said its models had resolved "more than 100 long-standing open problems across most areas of mathematics." The new release includes the model's reasoning, compute estimates and the number of problems attempted

OpenAI said the average result took about three hours of ChatGPT Pro use. It did not publish per problem compute times or the prompts used, which its own advisory group had suggested. Claimed results include a solution to the four dimensional Kakeya conjecture, improvements to computer algorithms and progress towards the Riemann hypothesis. OpenAI told Scientific American that nearly every paper came from a single prompt given to a single AI agent

Mathematicians are cautious. MIT's Andrew Sutherland urged treating the single agent claims as unverified "Until and unless they release the model and people can replicate their results". Engadget says the release may deepen the controversy over OpenAI's earlier claims about the Navier-Stokes problem, which already fuelled scepticism among scientists. Publishing manuscripts is not the same as having them peer reviewed

Even so, the scale is remarkable. Earlier this week, GPT-6 Astra cracked a 217 year old Napoleonic cipher, and AI tools are increasingly being used for scientific work. If even a fraction of these maths results hold up, it would be a significant moment. The difficulty is that checking hundreds of complex proofs takes human experts a very long time

Do you believe AI can now solve open maths problems? And how should the maths community deal with a flood of AI produced proofs?

OpenAI just posted hundreds more results on major math problems - Engadgetwww.engadget.com