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, with Lean proof formalizations on GitHub. Results came from a single model averaging three hours of compute per solution after being asked to attempt about 4,000 problems.
People · Terence Tao
How this story unfolded
3 days · 10 reports · 33 community posts · 43 of 50 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
More stories today
Amazon drops data center NDAs after Microsoft's move
Amazon will stop using NDAs when negotiating data center deals with local governments, following Microsoft earlier this year. Secrecy has fueled backlash against AI infrastructure, with hundreds of proposed and enacted moratoriums from New York to San Francisco.
TechCrunch·55 minutes ago

Danu Robotics brings H.E.R.O. recycling robot to market
Edinburgh-based Danu Robotics raised $5M in late-seed funding for H.E.R.O., a pincer-claw sorting robot that uses AI to continuously improve its software. The six-year-old company has $500,000 in signed contracts, letters of interest from two large customers, and 200+ customers in its pipeline.
TechCrunch·1 hour ago

Reddit user asks if employer can see personal ChatGPT prompts on work computer
A r/ChatGPT poster used a personal ChatGPT account on a work computer for a side hustle and asks whether their employer can read those prompts or chats. The thread contains no confirmed answer or technical detail.
r/ChatGPT·1 hour agoCleo Nardo discusses AI safety in interview with Alexandr Wang
Alexandr Wang·1 hour ago
GPT-4o tutoring trials: test score gains persist a week later
Ethan Mollick·1 hour agoPine AI Assistant claims SaaS-Bench lead by skipping screenshots
Robert Scoble·1 hour ago
r/LocalLLaMA users discuss local models for creative writing
A r/LocalLLaMA thread asks which local models users run for creative writing projects, steering away from benchmark scores and coding tasks. The poster excludes closed-source models from the discussion.
r/LocalLLaMA·1 hour agoNew agentic computer lets models plan and work across sites and apps
Hasan Toor·1 hour ago