Fermat's proof, Claudeforce, and the US-China AI summit

Claude proves Fermat in 11 days, Claudeforce opens for beta, and Washington prepares for historic AI safety talks with Beijing.

• Claude formalizes Fermat's Last Theorem in eleven days
• Claudeforce: Salesforce bets its stack on Claude
• US and China prepare their first bilateral AI safety talks
• California joins the OpenAI investigation over the Hugging Face hack