AI News

Daily curated updates on AI tools, models, and the companies building them.

OpenAI Model Disproves 80-Year-Old Math Conjecture for Real This Time
44 minutes ago

OpenAI Model Disproves 80-Year-Old Math Conjecture for Real This Time

An OpenAI general-purpose reasoning model autonomously disproved a conjecture posed by Paul Erdos in 1946, overturning 80 years of mathematical belief. Fields Medalist Tim Gowers said he would recommend the proof for publication 'without any hesitation' — a first for AI-generated mathematics.

Anthropic Hits First-Ever Profit as Revenue Doubles to $10.9B

Anthropic Hits First-Ever Profit as Revenue Doubles to $10.9B

May 21

Google Fires Back at Anthropic Mythos With CodeMender Security Agent

Google Fires Back at Anthropic Mythos With CodeMender Security Agent

May 20

Meta Lays Off 8000 Workers Shifts 7000 Into AI Roles

Meta Lays Off 8000 Workers Shifts 7000 Into AI Roles

May 20

Jury Rejects Musk OpenAI Lawsuit as Statute of Limitations Expires

Jury Rejects Musk OpenAI Lawsuit as Statute of Limitations Expires

May 20

Andrej Karpathy Joins Anthropic as OpenAI Co-Founding Member Defects

Andrej Karpathy Joins Anthropic as OpenAI Co-Founding Member Defects

May 20

SoftBank $60B OpenAI Bet Sparks Internal Revolt as Son Doubles Down

SoftBank $60B OpenAI Bet Sparks Internal Revolt as Son Doubles Down

May 20

AI tool news in your inbox

Get the latest AI workflows to boost your productivity and business performance, delivered weekly by expert consultants.

LatestTrending