Mathematical AI helps researchers crack 50-year-old problem

Collected headline brief

He Helped Build Powerful AI at OpenAI and Anthropic. Now He’s Afraid It Could Kill Us

For three years, Jacob Coxon helped train increasingly powerful AI systems at OpenAI and Anthropic. On Sept. 8, he walked away. “I resigned from Anthropic today,” Coxon posted on X . “Neither company is acting responsibly. They are racing s

Read on newsGlobal →

Collected headline brief

Anthropic 'formalizes' Fermat's Last Theorem like never before using Claude — but it still took 11 days to write out

Claude turned a famous mathematical proof into millions of checkable code lines Anthropic says Claude completed years of expected work in 11 days The massive proof contains 13 million lines of Lean code Anthropic has used its Claude artific

Read on newsGlobal →

Collected headline brief

AI Isn’t the First Tool Education Has Feared

A personal view of the British system — and why education keeps repeating the same response to every new tool I am tackling education from a personal perspective; there is no AI Committee behind this one. I came up through the British world

Read on newsGlobal →

Collected headline brief

Nepal did little to cause the climate crisis. Now it is paying for its consequences.

The state of Devighat after the Bhotekoshi flood. On the morning of August 26, a slab of ice and rock broke away from roughly 5,200 metres on the flank of the Langtang massif, on the border Nepal shares with Tibet, and fell some 1,200 verti

Read on newsGlobal →

Mathematical AI helps researchers crack 50-year-old problem

Keep exploring on newsGlobal

He Helped Build Powerful AI at OpenAI and Anthropic. Now He’s Afraid It Could Kill Us

Anthropic 'formalizes' Fermat's Last Theorem like never before using Claude — but it still took 11 days to write out

AI Isn’t the First Tool Education Has Feared

Nepal did little to cause the climate crisis. Now it is paying for its consequences.

Go deeper, or follow a new place.