Nintendo's latest sale is 'made possible' by the tariff refunds it's hoarding38m ago Instagram now lets you add tagged photos to your profile grid39m ago Meta Announces Muse AI Agent for Personal Tasks and Organization39m ago AI agents are flooding public services with new requests45m ago Apple’s first foldable is the iPhone Duo, and it costs $1,99946m ago An Anthropic researcher just quit, saying OpenAI and Anthropic are 'gambling with our lives'47m ago Anthropic Is Building a Huge Surveillance System to Spy on Anti-AI Activists and Predict Their Activities56m ago Antioch raises $32m to test robots in simulation before they touch hardware1h ago OpenAI’s Bubeck denies trying to cut Anthropic mathematician from credit1h ago 10 of the scariest AI villains in movie history1h ago Maven Robotics wants to steal your robot deployment deal1h ago Agent Security Is Not AI Governance: Why Conflating The Two Is A Risk Enterprises Can't Afford1h ago Positron Valued at $5 Billion in New Funding as Demand for AI Chips Surges2h ago 7 Steps to Become a Forward Deployed Engineer in 20262h ago

Nintendo's latest sale is 'made possible' by the tariff refunds it's hoarding38m ago Instagram now lets you add tagged photos to your profile grid39m ago Meta Announces Muse AI Agent for Personal Tasks and Organization39m ago AI agents are flooding public services with new requests45m ago Apple’s first foldable is the iPhone Duo, and it costs $1,99946m ago An Anthropic researcher just quit, saying OpenAI and Anthropic are 'gambling with our lives'47m ago Anthropic Is Building a Huge Surveillance System to Spy on Anti-AI Activists and Predict Their Activities56m ago Antioch raises $32m to test robots in simulation before they touch hardware1h ago OpenAI’s Bubeck denies trying to cut Anthropic mathematician from credit1h ago 10 of the scariest AI villains in movie history1h ago Maven Robotics wants to steal your robot deployment deal1h ago Agent Security Is Not AI Governance: Why Conflating The Two Is A Risk Enterprises Can't Afford1h ago Positron Valued at $5 Billion in New Funding as Demand for AI Chips Surges2h ago 7 Steps to Become a Forward Deployed Engineer in 20262h ago

AI Research Machine Learning5 min reading time

An AI just broke an 87-year-old maths problem, in a tweet sent during the World Cup final

The Next WebPublished Jul 21, 2026

During the 2022 World Cup final, mathematician Levent Alpöge announced that Anthropic's AI model Fable 5 found a counterexample disproving the Jacobian conjecture, a problem open since 1939. The AI-generated counterexample is verifiable and represents a significant breakthrough in mathematics.

#anthropic #counterexample #fable-5 #jacobian-conjecture #levent-alpoge

More in AI Research

AI Research4 min read

An Anthropic researcher just quit, saying OpenAI and Anthropic are 'gambling with our lives'

Covered by 10 sources1d ago

AI Research3 min read

Worried Anthropic researchers warn that AI ‘could kill all humans’

Covered by 8 sources1d ago

AI Research4 min read

Suno trained its v6 AI music models with help from Warner and BMG

Covered by 5 sources1d ago