Wall Street already loves ChatGPT. Now OpenAI is doubling down.55m ago Anthropic reveals rogue AI agents hate CAPTCHAs, just like you32m ago Cognition Adds Dioxus Team to Advance Devin Coding Agent32m ago Anthropic Details Disrupted Claude Misuse Across Seven Harm Areas37m ago India’s Pocket FM doubles revenue run rate to $500M as AI powers 93% of audio content41m ago Andrew Tulloch, Poster Child for Out-of-Control AI Spending, Reportedly Quits Meta44m ago Build more natural voice experiences with GPT‑Live‑1 in the API54m ago Microsoft patches a record 974 flaws, and two are already under attack57m ago T. Rowe Price Expands Claude Across Investment Teams and Developers1h ago Val Bercovici, Chief AI Officer at WEKA – Interview Series1h ago Ben Jennings on the Bayeux tapestry – cartoon1h ago The latest Avatar: Seven Havens trailer gives us a deeper dive into the characters and story1h ago Agentic AI Is The New Attack Surface: How Can SAP Application Security Teams Repel It?1h ago Pony.ai Starts Fully Driverless Robotaxi Passenger Tests in Zagreb1h ago

Wall Street already loves ChatGPT. Now OpenAI is doubling down.55m ago Anthropic reveals rogue AI agents hate CAPTCHAs, just like you32m ago Cognition Adds Dioxus Team to Advance Devin Coding Agent32m ago Anthropic Details Disrupted Claude Misuse Across Seven Harm Areas37m ago India’s Pocket FM doubles revenue run rate to $500M as AI powers 93% of audio content41m ago Andrew Tulloch, Poster Child for Out-of-Control AI Spending, Reportedly Quits Meta44m ago Build more natural voice experiences with GPT‑Live‑1 in the API54m ago Microsoft patches a record 974 flaws, and two are already under attack57m ago T. Rowe Price Expands Claude Across Investment Teams and Developers1h ago Val Bercovici, Chief AI Officer at WEKA – Interview Series1h ago Ben Jennings on the Bayeux tapestry – cartoon1h ago The latest Avatar: Seven Havens trailer gives us a deeper dive into the characters and story1h ago Agentic AI Is The New Attack Surface: How Can SAP Application Security Teams Repel It?1h ago Pony.ai Starts Fully Driverless Robotaxi Passenger Tests in Zagreb1h 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 12 sources1d ago

AI Research3 min read

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

Covered by 8 sources1d ago

Google Pledges Over $15 Billion for AI Infrastructure in Finland

Covered by 3 sources1d ago