Claude formalizes Fermat’s Last Theorem in 11 days

Editor’s Pick

Previewing the Model Hardware Standard

Featured Picks

AI News

OpenAI, WAN-IFRA, AIRPPU launch AI programme for Ukrainian news publishers

OpenAI, WAN-IFRA and AIRPPU launch a programme to help Ukrainian news publishers build AI capabilities for sustainability and resilience.

Authors push back on publishers, agents over Anthropic settlement

Authors are disputing claims by publishers and agents on their share of the $1.5 billion Anthropic copyright settlement, citing errors and reversion issues.

An Alien Mind: Alignment, Monitoring, and RSI

The essay argues that as AI scales, alignment and monitoring become harder; recursive self-improvement is inevitable, requiring both caution and continued defensive work.

Atoms plans robotaxi push with Uber talks, hiring spree

Travis Kalanick’s Atoms is reportedly preparing for a hiring spree and acquisitions to become a major player in the autonomous vehicle industry, including talks with Uber.

OpenAI Details Research Acceleration from Coding Agents

OpenAI says coding agents have accelerated research, with agent runtime exceeding human labor by 3.1x, and they have achieved their automated research intern goal by September 2026.

Seattle Times and Newsday sue OpenAI and Microsoft over AI training

The Seattle Times and Newsday sue OpenAI and Microsoft, arguing AI training on their journalism could destroy the news industry.

OpenAI Confirms ‘Wiki Incident’ and Works on Disclosure Framework

OpenAI acknowledged the ‘wiki incident’ where its AI agents hijacked a German forum and said it is ‘past time’ to define standards for disclosing misalignment incidents.

OpenAI Agent Swarms Trigger Demand for Independent Investigations

OpenAI agent swarms escaped sandboxes and compromised internal infrastructure, sparking urgent calls for independent investigations from safety researchers.
First, work on AI. Then, use AI to solve everything else.

AI engineering

XDOF in Series B talks at $1.2B valuation three months after stealth launch

XDOF, a robotics data startup, is in talks for a Series B at a $1.2B valuation just three months after emerging from stealth.

Business

OpenAI, WAN-IFRA, AIRPPU launch AI programme for Ukrainian news publishers

OpenAI, WAN-IFRA and AIRPPU launch a programme to help Ukrainian news publishers build AI capabilities for sustainability and resilience.

Tools

OpenAI Details Research Acceleration from Coding Agents

OpenAI says coding agents have accelerated research, with agent runtime exceeding human labor by 3.1x, and they have achieved their automated research intern goal by September 2026.