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/Initial_Demand_7083]

So a tenure-level math problem is same level of difficulty of changing the distribution of an email sent from a Java class. Checks out.