







For the sake of anyone who might read this blog post in the distant future (a month from now, say), let me mention that I am writing it a few days after OpenAI announced that it had solved ten majo…

OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems
Math is hard.

Why Can’t Powerful LLMs Learn Multiplication?
These days, large language models (LLMs) can handle increasingly complex tasks, writing complex code and engaging in sophisticated reasoning. But when it comes to 4-digit multiplication, a task taught in elementary school, even state-of-the-art systems fail. Why? A new paper by Computer Science PhD student Xiaoyan Bai and Faculty Co-Director of the Data Science Institute’s …
Ten advances in mathematics and theoretical computer science
OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.

Various LLM smells
Looks like this ended up on the HN front-page: HN Thread Late last year I started writing a math blog and decided to use LLMs to polish/enhance my writin...

OpenAI unleashes hundreds more math results upon a field already in shock
A month after resolving one of the six biggest open problems in mathematics, the company says its new internal model has toppled heaps more—this time without the multimillion-dollar price tag

Statements — AHM
Yesterday, on October 6th, 2026, OpenAI – which is currently defending lawsuits against accusations of illegal plagiarism, copyright infringement, and trademark dilution – released a repository of manuscripts purporting to contain solutions to a number of high-profile problems in mathematics.
Shouqiao Wang on Twitter / X
I solved 6 open Erdős problems in 5 days, using @OpenAI GPT-5.6 Sol.I have a math background, but the Codex workflow I used does not require deep mathematical knowledge.Here’s exactly how I approached it, including my prompts 🧵— Shouqiao Wang (@Qiaoqiao2001) July 22, 2026
OpenAI fought dirty on career-making math problem, says NYU mathematician | TechCrunch
There is a $1 million bounty for the first person providing a solution to the Navier-Stokes existence and smoothness problem.

98 out of 100. That's how many advanced maths problems current AI models managed to solve in an international benchmark in Leipzig. One of the two remaining problems? A simplified version of a… | Czech Technical University in Prague | 11 comments
98 out of 100. That's how many advanced maths problems current AI models managed to solve in an international benchmark in Leipzig. One of the two remaining problems? A simplified version of a combinatorics problem solved by researchers from the Faculty of Information Technology CTU in Prague. Alexander Clifton, Daniela Černá and Jan Volec, together with Bartołomiej Kielak from Universität Leipzig , found the solution to a simplified version of the long-standing open problem of breaking triples with permutations. The problem was later included among the 100 tasks used to test how today's AI models perform in advanced mathematics. While AI came remarkably close, this was one of the problems it couldn't solve on its own. A nice reminder that mathematical creativity and abstract reasoning still leave some room for humans. 🧠 🔗 Read the full story in the comments. | 11 comments on LinkedIn
Dan Shipper 📧 on Twitter / X
this is true and is a big reason why you don’t need to be a highly technical researcher to use LLMs in surprising and novel ways https://t.co/TuxNzXzToU— Dan Shipper 📧 (@danshipper) July 27, 2025
NIK on Twitter / X
>sam altman: "we tried this because there were rumor on the internet">rumor: math professor close to solving navier-stokes>the professor: using codex for a year>openai: has all his logs>checked every codex session tagged to N-S>found the most promising one>spun up 10,000… pic.twitter.com/RInlP88gmA— NIK (@ns123abc) September 8, 2026

Uri Bram 🔍 on Twitter / X
So I got memed into trying MathAcademy and it was one of the weirdest product experiences of my life. In short: I think they have an amazing product, but they're very opinionated about how you use it, and as a result I can't use it at all.Basically: they've figured out some…— Uri Bram 🔍 (@UriBram) January 16, 2025
Solving a Million-Step LLM Task with Zero Errors
LLMs have achieved remarkable breakthroughs in reasoning, insights, and tool use, but chaining these abilities into extended processes at the scale of those routinely executed by humans,...

Another absolutely bonkers math result from a frontier LLM (announced in a tweet, no less): reddit.com/r/math/comments/1v1aix1/the_j…
From the math community on Reddit: The Jacobian Conjecture is False Per Anthropic (Link in Description)
www.reddit.com