OpenAI publishes 722 math manuscripts from internal frontier model
Read original source →openai.com
OpenAI released 722 manuscripts across 372 result families from an unreleased internal model, drawn from ~4,000 research problems at roughly three hours of ChatGPT Pro compute each. The set includes a proof of the Unique Games Conjecture and a Quasi-Riemann Hypothesis result; some mathematicians call the claims unverified.
People · Terence Tao
How this story unfolded
2 days · 7 reports · 28 community posts · 35 of 44 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
More stories today
1984 Soviet essay 'Why Artificial Intelligence Is Impossible' resurfaces
A 1984 Soviet text by A. V. Brushlinsky, published in the Markov-edited collection 'Cybernetics Today', argues against the possibility of machine thought. The essay is being circulated via an Internet Archive scan.
r/artificial·59 minutes ago
Musk says Grok will use Suno, Claude Opus 5.5 and MidJourney APIs
Musk posted that SpaceX will route Grok tasks to "the best back end model," naming Claude Opus 5.5, MidJourney and Suno. Suno has no public API yet; CPO Jack Brody said a developer API is in the works with a curated partner group.
Music Ally·1 hour ago

Meta FAIR and Mila train 8B-parameter RoboJEPA on 15,000 hours of robot video
Vai Viswanathan·1 hour ago
River Recipes open-sources training recipes that beat GPT-6 Astra on text-to-SQL
River AI·1 hour ago
Largest agentic LLM inference dataset released: 206B tokens
Juncheng Yang·1 hour ago
Creator gauges interest in H3 Long Shot API latent chain workflow
A Reddit user is tweaking a latent chain shot workflow for long-form video generation and asking r/StableDiffusion whether it is worth pursuing. The proposed feature keeps approved shots and advances to the next automatically.
r/StableDiffusion·1 hour ago
Claude AI agents power viral video game mod mashups
Gamers are using Claude-based AI agents to vibe code "passthrough mods" that run two games at once, producing mashups like Skate inside Call of Duty: Modern Warfare 2 and Minecraft characters fighting Elden Ring bosses. A GitHub guide claims merging Elden Ring and Spider-Man took three to four hours, though first results are often rough.
Decrypt·1 hour ago

Reddit user benchmarks Qwen3.8-27B fine-tunes against frontier models
A LocalLLaMA user tested Qwen3.8-27B fine-tunes, finding mradermacher/Signal-3.8-27B-Terse-Coder.i1-Q4_K_M best for their use case. They report solve times versus frontier models are 'massive,' especially on low-end hardware.
r/LocalLLaMA·1 hour ago