/claude-fermats-last-theorem-lean-proof/ Claude Just Produced the First Computer-Checked Proof of Fermat's Last Theorem Sep 6
/claude-unified-memory-cowork-chat-topics/ Claude's Memory Now Follows You From Chat Into Cowork, and You Can Audit Every Topic It Kept Aug 26