OpenAI publishes 719 math manuscripts from unreleased frontier model
Read original source →openai.com
OpenAI released 719 manuscripts covering 372 topic families on October 6, 2026, with Lean formalizations for many proofs, produced by an internal frontier model not publicly released. The same model produced the earlier Navier-Stokes result; research lead Dan Roberts called the proofs a byproduct of testing internal models.
People · Dan Roberts, Terence Tao
How this story unfolded
4 weeks · 10 reports · 32 community posts · 42 of 51 shown
- Sep 9
- Oct 6
- Oct 7
[AINews] Quasi-Riemann-Hypothesis: OpenAI publishes 722 math papers solving 90 of the top 500 open math problems; “the most significant moment” in >100 years of mathematicslatent.space
Complementary remarks from Gary Marcus and Terence Tao on OpenAI’s giant math dropgarymarcus.substack.com
The Mathocalypsescottaaronson.blog
OpenAI Says a Secret AI Model Cracked Hundreds of Open Math Problems in One Prompt—Mathematicians Want Receiptsdecrypt.co
- Oct 8
- Oct 9
More stories today
Simon Willison builds blog Newsletters page by voice with Codex
Willison shipped a Newsletters page indexing his free weekly Substack and monthly sponsors-only updates, built almost entirely by talking to the ChatGPT desktop app's Codex voice mode while cooking dinner. The session ran against a local simonwillisonblog checkout using GPT-6 Astra High, producing a new Django model, migration, views, templates, and import functions.
Simon Willison's Weblog·31 minutes ago

Opus 5.5 asked to make video on whether it is conscious
AI Breakfast·1 hour ago
ComfyUI users seek better local image editing workflows
A Reddit r/ComfyUI thread asks how to make small local edits while keeping the rest of an image realistic. The poster says workflows they tried regenerate the whole image with increased saturation and requested changes often miss the mark.
r/ComfyUI·1 hour ago
Reddit users discuss major labels' stance on AI music
An r/SunoAI thread argues the three major labels are trying to sink Suno, claiming their business model now centers on advertising and putting artists into debt rather than music itself.
r/SunoAI·1 hour agoREA tool reverse-engineers app features without source code
Hasan Toor·1 hour ago
SailPoint report finds AI agent identity security lags human programs
SailPoint's "Horizons of Identity Security" report finds 54% of organizations sit at Horizon 1 (no formal program) for AI agent identities, versus 23% for human workforces. A combined 60% of organizations remain in Horizon 1 or 2 overall.
The Hacker News·1 hour ago

MCP server bundles 132 tools for real-time global intelligence
Tom Doerr·2 hours ago
AI execs game out backlash scenarios after a catastrophic AI event
Axios reports executives at OpenAI, Anthropic and other AI companies are privately preparing for public and political revolt after a major AI incident, which many insiders expect within the next 6-12 months, possibly as early as 2027.
r/Singularity·2 hours ago