OpenAI publishes 722 maths papers written by a model it has not released
OpenAI has published 722 maths manuscripts from an internal model it has not released. The papers fall into 372 families of results. The company announced the release on Tuesday and put them all in a public GitHub repository.
It is the same model behind OpenAI’s Navier-Stokes proof last month. OpenAI gave it about 4,000 problems during the evaluation, the repository says. On average, each result used about three hours of ChatGPT Pro thinking compute.
What is in the repository
Many of the proofs come with formal versions in Lean, a programming language that lets a computer check a proof. Not all do. OpenAI says some of the results without a formal version could have issues, and it will fix them quickly. Every earlier version will stay public, and each paper has its own citation block.
OpenAI also published ten summaries of the model’s reasoning. Two results did not follow...
Copyright of this story solely belongs to thenextweb.com. To see the full text click HERE
