An internal system coordinated some 10,000 agents, produced an analytical proof, and formalised it in Lean. The result may solve a Millennium Problem, but it also exposes the new obligations of verification, cost, and governance for automated research.
OpenAI has updated its image system with lower latency, localised editing and greater continuity between iterations. The practical leap forward is not in producing another eye-catching image, but in preserving identity, composition and decisions as a team works on them.
Payout notices for the settlement over books used by Anthropic have uncovered conflicting claims among authors, publishers, and agents. The debate is no longer about an abstract figure: it hinges on contracts, rights reversions, and who owned the rights when each work was obtained.
