AILatent Spaceabout 1 hour ago
AI Models Solve Hard Math Problems
17 min read
OpenAI and Anthropic recently solved difficult mathematical problems including Navier Stokes and Fermat's Last Theorem. OpenAI found a counterexample to Erdős's unit distance conjecture in May and published a proof for the Cycle Double Cover problem a month later. Anthropic formalized Fermat's Last Theorem.
Level
Hype check
Tap to vote and see what everyone thinks.
