mathematics

OpenAI created a Princeton-hosted advisory group of nine named mathematicians after its unreleased model, begun training August 28, resolved 100+ open math problems.

NYU mathematician Tristan Buckmaster says OpenAI pressured him over authorship after its AI agents produced a proof resembling an approach he had kept in private Codex sessions.

Levent Alpöge posted a Fable 5-assisted counterexample to the 1939 Jacobian conjecture on X, verifiable by hand in a day.

A DeepMind preprint reports an LLM-and-Lean agent that autonomously solved 9 of 353 open Erdős problems and proved 44 of 492 OEIS conjectures for a few hundred dollars each.

DeepMind's multi-agent AI workbench sets a new benchmark record on research-level mathematics and assisted an Oxford topologist in resolving an open problem from the Kourovka Notebook.