anthropic
费马大定理首个可由机器验证的证明用了 11 天：1300 万行代码，3 万条定理
Anthropic 表示，Claude 在 Lean 中端到端地完成了费马大定理的形式化。这是迄今写出的最大的 Lean 证明，沿途还证明了 2.9 万余条从未被形式化过的数学领域中的定理。
Claude
anthropic
The first machine-checked proof of Fermat's Last Theorem took 11 days: 13 million lines, 30,000 theorems
Anthropic says Claude formalized Fermat's Last Theorem end to end in Lean. It is the largest Lean proof ever written, and along the way it proved more than 29,000 other theorems in areas of mathematics that had never been formalized.
anthropic
Anthropic opens background computer use in beta to Pro and Max, with its own warnings
Anthropic says Claude can now click, type and open apps in the background on a user's desktop, in beta on Pro and Max, while its own support page warns there is no sandbox.
anthropic
Anthropic: Claude arka planda masaüstünü kullanıyor, şirket bankacılığı önermiyor
Anthropic, Claude'un Cowork ve Claude Code'da bilgisayarı arka planda kullanabildiğini duyurdu; kum havuzu olmadığını belirten şirket bankacılık ve sağlık uygulamalarına izin verilmemesini öneriyor.
anthropic
Anthropic تفتح مصدر Claude Commerce Agents: مخطط مرجعي لبناء وكلاء التسوق والتجار
فتحت Anthropic مصدر Claude Commerce Agents، وهو مخطط مرجعي لبناء وكيل تسوق ووكيل تاجر بأربعة تطبيقات في التجزئة والسفر والاتصالات والترفيه، مع إضافة لـ Claude Code تبني الوكيل فوق واجهتك الخلفية.
anthropic
Anthropic ticaret ajanlarının planını açık kaynağa açtı: alışveriş ve tüccar ajanı bir arada
Anthropic, Claude ile alışveriş ve tüccar ajanı kurmak isteyenler için Apache-2.0 lisanslı referans depoyu açtı: dört çalıştırılabilir dikey, tek model tek döngü mimarisi, insan onayı olmadan yürümeyen finansal işlem.
anthropic
Anthropic 开源 Claude Commerce Agents：购物与商家两个智能体，零售、旅行、电信、娱乐四套参考实现
Anthropic 把搭建电商智能体的参考蓝图开源：购物智能体嵌进商家应用替顾客比价填购物车，商家智能体供员工管库存与定价，零售、旅行、电信、娱乐四个场景可直接跑。架构是一个标准循环里只用一个模型。仓库里的公司和品牌全部虚构，示例不下单不扣卡，金融操作一律等人批准。官方称提示缓存命中率 90% 到 99%、购物车最多大出 35%、成交可能性高出 60%，这些数字均属厂商说法。
anthropic
Anthropic open-sources Claude Commerce Agents: two agents, four runnable verticals
The Apache-2.0 release ships a customer-facing shopping agent and a staff-facing merchant agent, plus four runnable verticals and a Claude Code plugin. Nothing in it places an order, charges a card or changes a live listing.
anthropic
أنثروبيك تطلق Enterprise Frontier Safeguards: مراقبة الوكلاء دون مغادرة البيانات سحابة العميل
أعلنت أنثروبيك عن Enterprise Frontier Safeguards، حل يجمع بين الاحتفاظ الصفري بالبيانات ورصد إساءة الاستخدام، مع بقاء بيانات النشاط في سحابة العميل مشفرة بمفاتيحه ودون رسوم من الشركة.
anthropic
Anthropic's Enterprise Frontier Safeguards: abuse detection for agents, data stays in the customer's cloud
Announced with Fable 5.1, EFS pairs zero data retention with abuse detection for agents. Activity data stays encrypted in the customer's AWS, Google Cloud or Azure storage; Anthropic's systems flag risky patterns.
anthropic
Anthropic EFS'yi duyurdu: veri şirketin bulutundan çıkmıyor, ajanları otomatik katman izliyor
Anthropic, sıfır veri tutma gizliliğini ajan izlemeyle birleştiren Enterprise Frontier Safeguards'ı tanıttı. Etkinlik verisi müşterinin bulutunda kalıyor, riskli örüntüler şirketin ekibine iletiliyor.
anthropic
Anthropic 发布 Enterprise Frontier Safeguards：数据留在客户自家云端，自动系统跨会话监测智能体滥用
Anthropic 称，新方案把零数据保留（ZDR）与智能体滥用监测结合起来：活动数据存放在客户自己的 AWS、Google Cloud 或 Azure 上并由客户密钥加密，Anthropic 的自动系统只向客户发送风险信号，无需员工审查。Alex Albert 称之为“ZDR++”，Anthropic 不额外收费，目标秋末全面可用。