4Mathematics is a specialist search engine for Mathematics. Discover the latest math news and mathematical content. Part of the 4SEARCH network of topic specific search engines.
Physical Superintelligence announced on November 6, 2026 that an internal research system running instances of a non-public Anthropic model had found a proof of the Aaronson-Ambainis conjecture, a quantum-computing problem open since 2008. The system produced a complete proof during the third day of a run on PSI’s own infrastructure…
The original version of this story appeared in Quanta Magazine. Sometimes Graham wore both hats at once. “It’s interesting, in fact, that many mathematicians and computer scientists have an interest in juggling,” he said in a 1980 television interview. “I think it’s the search for patterns and structure that is…
A computer-checked version of key parts of the Navier–Stokes problem is now public, with every change and every credit spelled out KTS Global has also published a smaller, earlier-stage project linked to the work of mathematician…
This study assesses physics-informed neural networks (PINNs) for the unsteady two-dimensional flow past a rotating circular cylinder confined in a channel (blockage ratio 0.2) at Reynolds numbers of 50, 200 and 500. The networks…
After contributing to the solution of a century-old problem and holding a research position at the University of Michigan, Ma Xiao unexpectedly returned to China to pursue artificial intelligence research. Two years ago…
Previously, proving that certain problems require substantial computational power demanded complex mathematical machinery; now, those same limitations can be demonstrated with simpler tools. This work establishes a new baseline by showing how to prove existing quantum lower bounds, specifically Ω(n^(2/3)) for element distinctness and Ω(n^(k/(k+1))) for k-sum, using just fundamental…
OpenAI recently announced that one of its AI models solved one of the hardest problems in modern mathematics: the Navier-Stokes problem. The equations at the heart of this problem describe the movement of fluids like water and…
Meta Platforms logo (public domain) via Wikimedia Commons A minimal agentic loop built on Lean feedback posts top benchmark scores and solves eight open problems Researchers at Meta and New York University have built a stripped-down AI system for proving math theorems. It matched or beat carefully engineered Lean proof…
Lubis EDA has released FormalOs, a verification infrastructure platform which is designed to be a tool-agnostic orchestration layer for verification for SoC, asic and IP sign-off projects. According to the company, it unifies…