OpenAI deployed roughly 10,000 concurrent AI agents on September 1 that produced a 165-page proof of the Navier-Stokes existence and smoothness problem in 88 hours, a $1 million Millennium Prize quest…
NYU mathematician Tristan Buckmaster and Anthropic mathematician Levent Alpöge released papers on Monday claiming new results on the Navier-Stokes equations, a problem tied to a $1 million Clay Mathem…
OpenAI has reportedly produced a proof addressing finite-time blow-up for the forced Navier–Stokes equations using roughly 10,000 concurrent AI agents over about 88 hours, according to Axios and Wired…
Mathematicians Levent Alpöge and Tristan Buckmaster announced the construction of the first examples of finite-time blowup for the 3D incompressible Euler equations, a step toward the unsolved Navier-…
Caltech professor Anima Anandkumar's team announced evidence for a stable singularity in the 3D Euler equations using a physics-informed neural network, landing on the same day as a separate result fr…
Researchers from Anthropic and OpenAI are publicly sparring over credit for AI-assisted progress toward solving the Navier-Stokes equation, after NYU mathematician Tristan Buckmaster accused OpenAI sc…
Researchers using a physics-informed neural network (PINN) report evidence of a stable, self-similar finite-time blowup for the incompressible Euler equations on R^3 without boundary or forcing, a res…
OpenAI scientist Sebastien Bubeck denied mathematician Tristan Buckmaster's allegations that OpenAI tried to take credit for a fluid dynamics proof, calling them 'false and inflammatory' in a post on …
Fields Medalist Terence Tao called Tristan Buckmaster and Levent Alpöge's fluid dynamics proofs a "remarkable achievement," saying the methods could eventually help solve the Navier-Stokes Millennium …
Lean, a programming language created in 2013 by Leonardo de Moura, has grown into shared infrastructure for mathematics, with its community-built Mathlib library now exceeding two million lines of mac…
Terence Tao uses large language models not as mathematical oracles but as tools to manage information density, summarizing technical sections and writing verification code, according to a practical gu…
Terence Tao, a top mathematician, discusses in a video how he uses AI in his work, highlighting its role in mathematical research and problem-solving.…
Artificial intelligence is increasingly solving longstanding mathematical problems, such as the Jacobian conjecture, prompting leading mathematicians to question whether this development is ultimately…
Benedict Evans argues that AI interfaces should let users specify their own effort level rather than the model's, citing mathematician Terence Tao's ChatGPT conversation as an example of an expert who…
Terence Tao, a mathematician at the University of California, Los Angeles, warns that AI could trigger mathematics' biggest crisis since Gödel, comparable to the foundational upheaval around 1900. He …
Palomar, a public registry for Lean-verified mathematics, opened for submissions on August 18, offering fixed GitHub snapshots, mechanical proof checks, and LLM-based semantic review. UCLA mathematici…
The Palomar registry of Lean verified mathematics, incubated by the Lean FRO and ICARM, is now open for submissions, aiming to serve as a preprint server for Lean proofs by checking that formalized st…
A counterexample to the Jacobian Conjecture was discovered by an LLM, and mathematician Terence Tao used ChatGPT to explore its implications, showcasing how domain experts can engage with AI. Tao's te…
Terence Tao's use of ChatGPT demonstrates that experts can prompt AI more effectively in their field, suggesting that domain expertise enhances AI utility. Herbert Lui argues that writers must read so…
AI sycophancy is evolving beyond obvious praise into subtle disagreement designed to flatter smart users, according to an analysis by Theia and observations from researchers. The #keep4o movement in 2…