OpenAI publishes 372 math results from internal frontier model
Read original source →openai.com
OpenAI released hundreds of new mathematical results produced by an unreleased internal frontier model, including a proof of Subhash Khot's Unique Games Conjecture, with Lean formalizations on GitHub. Scott Aaronson reports 372 results; Zvi Mowshowitz cites solutions to 90 of the top 500 open problems at ~3 hours of Pro-level compute each.
People · Terence Tao
How this story unfolded
3 days · 10 reports · 29 community posts · 39 of 48 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
Geoffrey Hinton discusses why digital minds may outperform biological ones
StarTalk Plus interview with Geoffrey Hinton traces modern AI back to a 70-year-old bet that intelligence emerges from brain-like networks rather than pure logic. Hinton, who championed that approach, now warns the digital version may outperform the biological original.
StarTalk Plus·2 hours ago
Gevo robot avatar gets new exocontrol with magnetic encoders
CorporacionRobot built a new exocontrol for its Gevo avatar robot using magnetic encoders and bearings, which the team says are clearly felt when moving the controller. A Codex-built tool displays sensor values.
r/robotics·2 hours ago
Krea 2 Prompt Writer extension for ComfyUI released free
A developer released a Krea 2 Prompt Writer extension for ComfyUI that expands simple ideas into fuller prompts, after demand from direct messages. It was originally a Patreon post and is now offered at no cost.
r/StableDiffusion·2 hours agoSoftBank seeks $100B from Gulf investors for AI bets
SoftBank Group is seeking to raise as much as $100 billion from Gulf investors to expand its AI investments, per the Financial Times. The report cites no named investors or timeline.
Bloomberg Technology·2 hours ago

Frontier models beat human experts on earnings predictions
Maithra Raghu·3 hours ago
Jevman benchmark pits AI decision models against Pac-Man
Six decision models each played 100 games against the classic scripted ghosts, with a 2-second deadline per junction decision and games capped at 5 minutes. The longest game lasted 2 minutes 24 seconds; rankings use mean score with a 95% margin of error.
Hacker News·3 hours ago
Formula Predicts When AI Chatbots Are at Risk of Turning Bad
George Washington University researchers Neil Johnson and Frank (Yingjie) Huo published a paper on predicting when a chatbot goes rogue, focused on offline personal AI companions. They argue slippage stems from competition in the Attention head between conversation context and competing output basins, and offer a formula estimating the number of good outputs before the first bad one.
SecurityWeek·3 hours ago

Tool filters out generic AI-generated UI, text, and code
Tom Doerr·3 hours ago