- AI Valley
- Posts
- OpenAI releases findings on 377 math problems
OpenAI releases findings on 377 math problems
PLUS: The state of the tech industry in 2026
Together with
howdy, it’s Barsee again.
happy wednesday, AI family, and welcome back to AI Valley.
here are the biggest things worth knowing today:
OpenAI releases findings on 377 math problems
The state of the tech industry in 2026
Plus trending AI tools, posts, and resources
Let’s dive into the Valley of AI…
WISPR FLOW

Courtesy: Wispr Flow
Some problems don't solve themselves at a keyboard. Flow is perfect for walks: talk through the idea, the structure, and the tradeoffs, then get back a clean draft you can paste into your doc or AI tool. It's like having a writing assistant that keeps up with your brain in motion.
*This is sponsored
THROUGH THE VALLEY

Sam Altman. Photo: Heather Diehl/Getty Images
OpenAI releases internal model’s findings on 377 math problems - they give an internal model ~4000 open research problems and get 722 manuscripts proving 372 families of new results in number theory, theoretical computer science, physics, etc.
They claim to prove a "quasi-Riemann hypothesis", which while not the $1M Riemann Hypothesis from the Millennium Prize problems, is not far from it. For 162 of the manuscripts, they formalize the main result in Lean, which is then mechanically verified by a computer.
Most impressively, they claim to get almost all of these results in one prompt, taking on average ~3 hours of thinking compute on ChatGPT Pro. Their recent result on the Navier-Stokes equations used 10,000 AI agents.
Mathematician at Anthropic Levent Alpgge calls this "obviously the most significant moment in mathematical history":
They also talk about how devastating this is for young mathematicians who were hoping to make a career solving these problems. The same mathematician says that high school students are asking him "is there anything left for me to do in mathematics".
Soon AI will be spitting out new math faster than people can read it.
TRENDING TOOLS
diio > turns thousands of customer conversations into an intelligence layer AI can understand, reason over, and act on (sponsored)
Core - a personal AI computer that runs models entirely on device. It connects to your apps, files, and devices, builds context on your life over time, and works continuously to help you
Claude - now works inside Google Docs, Sheets, and Slides, and those files also open inside Claud
EmbeddingGemma 2 - powers private search across text, photos, audio, and video that can run directly on a laptop, phone, or browser
iphone-use - gives an AI agent a real iPhone: the screen as text, tap, type and scroll over WebDriverAgent, with an honest answer for every action
Nano Banana 2.1 - Google's latest image generation and editing model
Incredible - personal AI assistant that learns by watching you do your work
Manus 2.0 - features a video editor that can edit, make shots, VO and more
Era - a fake company to test enterprise agents
Beam - a highly efficient agentic open model with 501B total parameters and 23B active
Web Search API - lets your AI agents and applications search the Internet and ground their responses in live information
Hark Pro - now live on web, iOS, and Android
WHAT I'M CONSUMING
The state of the tech industry in 2026
How to keep learning in the age of LLMs
THE VALLEY GEMS
THAT’S ALL FOR TODAY
Thank you for reading today’s edition. That’s all for today’s issue.

💡 Help me get better and suggest new ideas at [email protected] or @heyBarsee
👍️ New reader? Subscribe here
Thanks for being here.
REACH 100K+ READERS
Acquire new customers and drive revenue by partnering with us
Sponsor AI Valley and reach over 100,000+ entrepreneurs, founders, software engineers, investors, etc.
If you’re interested in sponsoring us, email [email protected] with the subject “AI Valley Ads”.

