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
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·2 hours agoTweet claims frontier labs all run recursive self-improvement loops
Kimmonismus·2 hours agoChollet: AI shifted from transductive to inductive paradigm
François Chollet·2 hours ago
Nadella calls SI models "insider risks" in new post
Vaibhav Sisinty·3 hours agoKuddo Health uses AI agents on NVIDIA GPUs to review therapy sessions
Kuddo Health founder Wenyi Zhu says the company's AI agents, accelerated by NVIDIA GPUs and CUDA, review therapy sessions and provide guidance to behavioral health clinicians. Zhu says her own experience with therapy inspired the company's mission.
YouTube·3 hours ago
Claude app hides Voice tab labeled Preview
TestingCatalog News·3 hours ago