OpenAI did not prove the Navier–Stokes existence and smoothness conjecture, but it did prove alternatives (C) and (D) of the Clay Mathematics Institute's official problem description, which include a …
Anthropic announced on September 4 that its AI system produced a machine-checked proof of Fermat's Last Theorem in the Lean proof assistant, with the artifact publicly available under Apache-2.0. The …
OpenAI published ten results on long-standing mathematical problems, including high-dimensional sphere packing and Connes's rigidity conjecture, found by an internal model called Astra at a token cost…
Levent Alpöge posted on X a counterexample to the Jacobian conjecture, a problem open since 1939, using Anthropic's Claude model. The counterexample consists of three polynomials that satisfy the conj…
A developer built a minimal control plane in Python that maintains a desired number of Docker containers, demonstrating level-triggered reconciliation. The system automatically restarted a killed cont…
A new paper from MiniMax, MaxProof, trains a model to write competition-math proofs and achieves high scores on IMO and USAMO problems, but a cross-verification experiment reveals that among proofs th…
DeepMind's AI agent autonomously resolved 9 of 353 open Erdős problems and proved 44 of 492 open conjectures from the OEIS at an inference cost of a few hundred dollars per problem, using a generate-a…
Chan Zuckerberg Biohub released ESMC, ESMFold2, and ESM Atlas under an MIT license this morning, and Sheaf v0.11 shipped support for both model backends within twelve hours. The same-day integration w…
OpenAI announced in May that an internal model disproved Erdős's planar unit-distance conjecture, a problem unsolved since 1946, with the result verified by nine mathematicians including Thomas Bloom.…