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.
Anthropic gave 1,000 AI agents one of the hardest problems in mathematics — a formal, computer-checked proof of Fermat's Last Theorem — and almost no instructions on how to do it. The team finished in 28.7 hours, using one-third of the output tokens and writing a proof one-seventh the length…
A social robot does not say, “Obey.” It says, in effect, “I know you. This choice is good for you.” The person may then experience the resulting preference as personal. This is dangerous. Research supports this concern: studies…
University of Chicago physicists working in the nascent field of experimental vortex dynamics have, with unexpected help from a Sharpie marker, achieved the first measurements of an elusive but fundamental property of fluid flow. Until now, there had been no way in the laboratory to measure the total helicity, or…
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…
Quantum Research News, Quantum Physics A new bound on quantum system evolution helps simplify calculations November 10, 2026 by Dr. Donovan Daniel Burgarth of Friedrich-Alexander-Universität Erlangen-Nürnberg, alongside colleagues, has derived a bound quantifying error in the evolution of open quantum systems. This work establishes a way to measure error without…
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…
The University of Chicago’s Division of the Physical Sciences is launching a PhD program in computational and applied mathematics, part of an expansion into a field at the intersection of big data and scientific discovery. The…
Axiom Math has released a machine-checked Lean formalization of the Stacks Project, a roughly 7,500-page open-source reference for algebraic geometry. The startup says coordinated AI agents produced about 16 million lines of code linking thousands of definitions, lemmas and theorems into one reusable library. [1] The claim is narrower than…