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 · 42 community posts · 53 of 64 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
Akamai's Thorsten Hans demos serverless AI agents on WebAssembly
Talk shows building MCP servers and AI agents with Spin, the open-source WebAssembly framework, deployed on Akamai Functions to eliminate cold starts, proprietary SDKs and single-region deployments.
YouTube·1 hour ago
ChatGPT Astra users on $20 plan hit usage limits fast
A Reddit user reports a single "extra high" prompt on ChatGPT Astra consumed the 5-hour limit twice before producing an answer. The workload was an xlsx with 10 sheets and a 150-page .docx.
r/ChatGPT·2 hours agoSenate report: AI data centers shift costs to ratepayers
Warren, Blumenthal and Van Hollen released a 27-page report, "Power and Profits: How the AI Data Center Boom Costs Households and Communities," after a nearly yearlong investigation. Letters went to Amazon, Google, Meta, Microsoft, CoreWeave, Digital Realty and Equinix on December 15, 2025; the report says the companies keep seeking subsidies and using NDAs.
Hacker News·2 hours agoSuleyman: Superintelligence containment is an engineering and governance challenge
Mustafa Suleyman·3 hours agoGitHub's Jose Palafox on scaling custom Copilot agents to CI
Talk walks through taking a custom agent from a single laptop to org-wide use and into the CI pipeline. Palafox has spent six and a half years at GitHub and now works with companies on Copilot adoption.
YouTube·3 hours ago
Tweet claims frontier labs all run recursive self-improvement loops
Kimmonismus·3 hours agoChollet: AI shifted from transductive to inductive paradigm
François Chollet·3 hours ago
Podcast: why LLMs delete databases
The Pragmatic Engineer episode features Sam Newman, author of Building Microservices and Building Resilient Distributed Systems, discussing why LLMs delete databases.
YouTube·3 hours ago