AI Agents Failed to Prove Fermat's Last Theorem. Then They Got a Shared To-Do List

On September 4, Anthropic published something that sounds like a headline from a decade in the...