AI

Sharing AI progress in mathematics

Read full article at source ↗

Based on a feed excerpt; full article content has not been acquired. Source evidence retrieved 07/10/2026, 00:47:26 UTC.

Briefings

OpenAI released 722 mathematical manuscripts from an unreleased frontier model, featuring Lean proofs and unverified results. The average compute cost per result is approximately three hours of ChatGPT Pro thinking time. These papers are currently being prepared for release.

Key points

• OpenAI released 722 mathematical manuscripts from an unreleased frontier model.
• The average compute cost per result is approximately three hours of ChatGPT Pro thinking time.

Context

This finding represents a significant step in OpenAI's research output, as it demonstrates the scale of their mathematical contributions and the computational resources required to generate them.

Limitations

Evidence is limited to the 722 manuscripts released; specific details about the unreleased frontier model's capabilities, the verification status of individual results, and the exact timeline for model release remain unknown.

Generated by Bittrees-hosted qwen35-2b sha256:aaf42c8b7c3c on 24/10/2026, 17:13:23 UTC. Based on publisher-provided feed evidence; may not cover the full original article. Check the source for details.

View archived briefing on IPFS
bafybeia5of4pqdsqy6dnteidfbwdubqr3y7wb4iiwpgat3bczdxb2qyu7y