Search
Have an existing account?
Sign In
Tag: Lean
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…
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…
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.
AI verifies the frontier result in the hunt for twin primes
Axiom Math's AI proved in Lean that infinitely many prime pairs sit within 246 of each other.