Publishers Pile On OpenAI
The Signal · 2026-09-06
The lawsuit list keeps growing. The Seattle Times and Newsday are now suing OpenAI and Microsoft, alleging their journalism was used to train AI systems without permission. It's the same copyright and licensing fight that's already reshaping how AI companies source training data.
Also today: Anthropic's Claude completed the first machine-verifiable formalization of Fermat's Last Theorem in Lean: over 13 million lines, plus 29,000 supporting theorems. It's on GitHub.
AI compute provider Nscale is seeking $3.5 billion in pre-IPO financing, shortly after a reported $45 billion deal with Anthropic.
That's today's Signal. Thanks for watching.