01Models•Anthropic5 Sept, 00:41 UTCAnthropic uses Claude to formalize proof of Fermat’s Last TheoremRead original at siliconangle.com
02Models•Anthropic3 Sept, 19:46 UTCAnthropic Released Claude Commerce Agents: An Apache-2.0 Blueprint for Shopping and Merchant Agents Across Retail, Travel, Telecom and EntertainmentRead original at marktechpost.com