OpenAI releases 722 math manuscripts from internal frontier model
Read original source →openai.com
OpenAI published 722 manuscripts (719 after three withdrawals) organized into 372 families, covering 90 of the top 500 open problems per Proof of Atlas. The single model averaged three hours of compute per solution after being asked to attempt ~4,000 problems, with Lean proof formalizations on GitHub.
People · Terence Tao
How this story unfolded
7 days · 12 reports · 43 community posts · 55 of 67 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
- Oct 11
- Oct 13
More stories today
Flox Intelligence uses AI to keep wildlife off train tracks and runways
Flox's edge devices identify animals and play species-specific sounds to drive them away from critical infrastructure. Founder Sara Nozkova, who spent 13 years in transportation and autonomous vehicles, says the answer is not a louder deterrent.
TechCrunch·1 hour ago

ComfyUI workflow uses Gemma to write MiniMax H3 video prompts
A community workflow has Gemma expand a short idea into a detailed cinematic prompt before MiniMax H3-Fast generates the video, with a 2K upscale step included.
r/ComfyUI·1 hour ago
Reddit post teases unspecified OpenAI change from Tibo's X account
An r/OpenAI post shares a screenshot from Tibo's X account with the caption "sth is incoming" and speculates about "more quota." No product, version, or date is named in the post.
r/OpenAI·1 hour ago
Devin integrates with Pylon to start bug investigations from support tickets
Cognition's Devin now launches from Pylon tickets, digging into logs, reproducing bugs, finding root causes, and opening fix PRs before engineers take over. New Devin customers on Pylon get $15,000 in Devin credits.
devin.ai·1 hour ago

Block CISO details finding and fixing security risks with OpenAI
Block Chief Information Security Officer James Nettesheim describes how the company uses OpenAI to connect code weaknesses into a bigger attack picture. "Now you know and now you can take action before someone else knows," he says.
YouTube·2 hours ago
GitHub trains secret classifier to cut scan noise and cost
GitHub's compact secret classifier cut median post-push scan execution time 86% and serving cost 98% versus its previous LLM pipeline, with 11.5% higher acceptance and owner-weighted alert precision. The efficiency gain let GitHub extend generic secret detection to push protection, flagging secrets before a push is accepted.
The GitHub Blog·2 hours ago

Hackathon challenges teams to clone a $43K/year SaaS in a weekend
Swyx·2 hours agoGPT-5.6 Sol finds critical Chrome vulnerability in 6 days
Greg Brockman·2 hours ago