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, including 90 of the top 500 open problems per Proof of Atlas, with Lean proof formalizations on GitHub. The single model averaged three hours of compute per solution after being asked to try ~4,000 problems.
People · Terence Tao
How this story unfolded
5 days · 11 reports · 47 community posts · 58 of 70 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
More stories today
Reddit user says Qwen3.8 Flash Next fixed a GNOME extension
A LocalLLaMA poster reports using Qwen3.8 Flash Next in "DeepSeek Harness" to repair the Dash2Dock Lite GNOME extension after a major GNOME update broke it, restoring their dock in about an hour.
r/LocalLLaMA·1 hour ago
LangChain's Harrison Chase touts Managed Deep Agents vision
Harrison Chase·1 hour ago
Talk shows self-learning loops for AI agents
Arize AI's Fuad Ali walks through a Wonder Toys shopping assistant that returned out-of-budget products because its price filter was broken, using the failure to demo a loop: collect the trace, investigate the code, propose a fix, and test it.
YouTube·1 hour ago
Developer builds web app to turn images into Gaussian Splats
The tool targets orbit-style videos from video models such as Minimax H3 in ComfyUI as input for Gaussian Splatting, skipping the usual COLMAP, trainer, and CUDA setup.
r/StableDiffusion·2 hours ago
Google DeepMind's Thor Schaeff demos building live voice agents with Gemini
Thor Schaeff, who works on developer experience at Google DeepMind, runs live demos of Gemini's real-time and media models, building an illustrated story with Gemini Live. The talk covers agents that hear, see, and answer in the user's language in real time.
YouTube·2 hours ago
AWS engineers demo Strands Agents customer service workflow
AWS's Elizabeth Fuentes Leone and Sandhya Subramani build a customer service agent that looks up accounts, checks orders, and handles refunds using Strands Agents. The talk focuses on controlling what happens between those steps and keeping that control in production.
YouTube·2 hours ago
Talk on AI development slides shared
Harrison Chase·2 hours ago
Reddit thread debates skepticism over AI coding quality
A r/ChatGPT post argues critics still repeat 2024-era claims that AI code is buggy and unmaintainable, citing Windows, the Linux kernel, Debian and Chromium as counterexamples. The poster also points to AI-enabled projects like anyps5 and Adobe-style art tools.
r/ChatGPT·2 hours ago