AI article
Mathematical manuscripts and supporting proof artifacts produced by OpenAI
No preview is available. Read the original article for the full story.
Hacker News | Oct 6, 2026 | vikas-sharma
Automated excerpt
This repository contains mathematical manuscripts and supporting proof artifacts produced by an internal OpenAI model. Some outputs build upon earlier results produced by the models. The current catalogue contains 722 manuscripts organized into 372 families.
Selected automatically from source text; not independently written or fact-checked. Read the original for full context.