Tag: mathematics
An unreleased Claude build closed a proof that stumped theorists since 2008
A PSI research system running non-public Anthropic models produced a complete proof of the Aaronson-Ambainis conjecture in three…
OpenAI built a faster engine for machine math
Altman says more results are coming and that curiosity is the only gate on release.
Mathematicians question the proof behind OpenAI’s big claim
Experts say OpenAI's 166-page Navier-Stokes draft does not follow the work it credits, and the agent swarm behind…
DeepMind proof system cracks open problems and clears peer review
AlphaProof Nexus solved nine Erdos problems and dozens of conjectures, then took the results through the journals OpenAI…
A Harvard physicist hands Claude exact math and finds new answers
An open-source harness built around Claude solved a two-decade-old ecology equation and produced fresh results in particle physics.
OpenAI gives mathematicians a voice but hands them no brake
The new advisory group gives mathematicians influence over how OpenAI presents results, but no say over how fast…
Mathematicians resent AI yet keep feeding it their work
Researchers say frontier models take credit for their ideas while staying too useful to abandon.
Navier-Stokes proof sparks a fight between OpenAI and two rivals
NYU and Anthropic researchers accuse OpenAI of jumping their math work after hearing about it.
Anthropic model pushes the Riemann hypothesis closer to proof
An unreleased Anthropic model raised the bar on a 150-year-old math puzzle.
Fields medalist Tsimerman leaves math for OpenAI safety
The University of Toronto number theorist is joining the lab's AI safety team.
OpenAI Model Solves 80-Year-Old Geometry Problem, Marking AI Milestone
An OpenAI model has disproved a longstanding conjecture in discrete geometry by finding an infinite family of point…