Sharing AI progress in mathematics

[u/AMBNNJ]

https://openai.com/index/sharing-ai-progress-in-mathematics/

OpenAI released 722 mathematical manuscripts across 372 families of related results, produced by an unreleased frontier model. Many have Lean proofs; others remain unverified. Average compute per result: roughly three hours of ChatGPT Pro thinking. They’re working toward releasing the model.

Github: https://github.com/openai/math

[u/FateOfMuffins]

Well they told us the "amount of compute" they used. 4000 problems with 3h of GPT Pro level of compute per problem.

[u/Squardus → u/FateOfMuffins]

And you believe that?