OpenAI publishes 722 math papers from internal frontier model
Read original source →openai.com
OpenAI released 722 mathematical manuscripts solving 90 of the top 500 open problems, at an average budget of three hours of Pro-level compute per question. Results include a claimed proof of the Unique Games Conjecture, with Lean formalizations on GitHub; no human has yet understood most of the proofs.
People · Terence Tao
How this story unfolded
3 days · 9 reports · 30 community posts · 39 of 48 shown
- 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·1 hour 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·2 hours 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·2 hours 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·3 hours ago