# OpenAI releases 722 mathematical manuscripts from internal model

_Published Thursday, October 8, 2026 at 3:18 AM EDT · AI · Latest · Tier 2 — Notable_

![OpenAI releases 722 mathematical manuscripts from internal model — Primary](https://www.techjuice.pk/wp-content/uploads/2026/10/openai-just-used-10000-ai-agents-to-work-88-hours-on-a-single-math-problem-techjuice-256966.jpg)

OpenAI published 722 mathematical manuscripts on GitHub on October 6, grouping them into 372 related result families, TechJuice reported. Many include proofs written in Lean, a language that allows computers to check mathematical arguments.

The work came from an evaluation of roughly 4,000 problems, with each result using about three hours of compute equivalent to ChatGPT Pro thinking time. OpenAI said the unnamed model is significantly more capable than GPT-6 Astra and remains in training. The company plans to add more formalizations and fund workshops on the results; the manuscripts still require mathematical scrutiny.

## Sources

- [TechJuice](https://www.techjuice.pk/openai-722-math-manuscripts-frontier-model/)

---
Canonical: https://techandbusiness.org/newswire/xSLoT-yy25PrTINyhIKSl5
Published: 2026-10-08T07:18:58.141Z
Story chronology: 2026-10-06T00:00:00.000Z
Retrieved: 2026-10-08T09:45:28.974Z
Publisher: Tech & Business (techandbusiness.org)