OpenAI releases 722 math manuscripts from internal frontier model
Read original source →openai.com
OpenAI published results on 90 of the top 500 open math problems, organized into 372 families, with Lean proof formalizations on GitHub. The single model averaged three hours of compute per solution after being asked to attempt about 4,000 problems.
People · Terence Tao
How this story unfolded
4 days · 11 reports · 40 community posts · 51 of 62 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
- Oct 10
More stories today
ComfyUI bridge nodes connect PhotoCraft workflows
A community developer built bridge nodes linking ComfyUI and PhotoCraft, using Claude to generate the integration code. The creator notes PhotoCraft is still unfinished.
r/ComfyUI·1 hour ago
AlphaGenome: DeepMind's DNA model 30x bigger than AlphaFold
A video describes AlphaGenome as roughly 30x larger than AlphaFold, which mapped the shapes of 250,000 proteins from DNA. The clip frames the model as decoding the genome at far greater capability.
r/Singularity·1 hour ago
Neoclouds offering Nvidia GPU capacity grow 55% in under a year
One industry researcher counted over 300 neoclouds providing GPU capacity, up about 55% in less than a year. CNBC breaks down the ways companies are accessing Nvidia GPUs.
CNBC Technology·2 hours ago

Report: 1,280 third-party products embed AI, most invisible to identity stacks
The 2026 State of Agent Security Report found roughly 1,280 third-party products now embed AI, but only about 282 sit behind single sign-on — the rest never authenticate through identity infrastructure. Slack Code, launched August 2026, lets users tag a coding agent into any conversation that reads shared context and opens pull requests.
The Hacker News·2 hours ago

Talorys runs a self-hosted personal AI agent on Cloudflare's free tier
Talorys is a self-hosted personal AI agent project that runs entirely on Cloudflare's free tier, per its GitHub repo. It was posted to Hacker News by author rociiu.
Hacker News·2 hours agoPodcast: Goodfire's Eric Bigelow on how LLMs decide
Goodfire researcher Eric Bigelow joins The Cognitive Revolution to discuss mechanistic interpretability of model decision-making, covering his research into forking paths and critical tokens. He argues model reasoning works as in-context learning from sampled tokens.
YouTube·2 hours ago
OpenAI's Tibo Sottiaux: plugin recommendations driven by retention, not AEO
Tibo Sottiaux, Head of ChatGPT & Codex, said on Lenny's Podcast that retention and quality decide which plugins ChatGPT surfaces to users, not answer-engine-optimization tactics.
YouTube·3 hours ago
Grok to route queries to Claude when Claude performs better
Elon Musk's Grok bot will pick Claude over Grok when Claude is better, per The New Stack. The piece argues single-model loyalty is dead as multi-model triage becomes standard.
The New Stack·3 hours ago
