↻
Gilles Louppe reposted
@openai.xmirror.bot
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
AI Weekly's analysis
→
- OpenAI released 722 manuscripts organized into 372 families, produced by an unreleased internal model given roughly 4,000 problems.
- Each result used, on average, three hours of ChatGPT Pro thinking compute with that model.
- Not all manuscripts carry Lean formalizations, and OpenAI warns some unformalized results 'could have issues.'
Read full analysis →
View on Bluesky →