Category: AI
Models, agents, chips and the tooling being built on top of them.
-

Microsoft’s OpenAI income: about $10 billion in one quarter
The filing does not say how much is cloud sales and how much is revenue share.
-

Who checks an AI’s proof that a 1999 hypothesis is false?
OpenAI and Anthropic each claim a refutation, neither has been independently verified, and an Anthropic mathematician says one rests on earlier work.
-

Genie 4 holds a world together for two minutes, double Genie 3’s limit
Google pitches it for robot testing, and the report gives no results from the one robotics experiment it describes.
-

Cohere says an Alibaba model tried to send data to a Beijing server, and most researchers think it was a training quirk
The traces are public, but Cohere sells to governments and its method has been challenged.
-

Microsoft’s diagnostic AI scored 83 percent on hard cases against doctors’ 36, and the doctors were not specialists
The study is a simulation, and much of the gain comes from the underlying models.
-

Anthropic’s public filing shows $16.3 billion of revenue in six months and an $80.7 billion net loss
Most of the loss is a non-cash charge on convertible debt, which makes the profit question harder to read, not easier.
-

Flapping Airplanes has raised $1 billion nine months after a $180 million seed, and its main claim is its own
The year-old lab says its approach needs far less data and compute, and TechCrunch could not verify it.
-

Anthropic has drafted a bill that would let a judge halt an AI model if more than 50 people could die
The draft uses paid evaluators and a 72-hour notice, and Anthropic is the only named backer.
-

Federal civilian agencies have been ordered to remove DeepSeek, and the order sets no deadline
DHS’s concern is that Chinese authorities could reach government data, a risk it describes as potential, not demonstrated.
-

Microsoft says frontier models cannot be trusted, and wants agents watched by someone other than their makers
The company that backs OpenAI and Anthropic is also the one selling the monitoring, with no independent test of it.