Anthropic / Claude · AI 动态

信源：Anthropic / Claude · https://news.google.com/rss/search?q=Claude+OR+Anthropic+site:anthropic.com&hl=en-US&gl=US&ceid=US:en

• LLMs are making formal software verification feasible at a much larger scale - Anthropic — LLMs are making formal software verification feasible at a much larger scale  Anthropic
• Open call for guest investigators in the life sciences - Anthropic — Open call for guest investigators in the life sciences  Anthropic
• Donating Agent Skills to the Agentic AI Foundation - Anthropic — Donating Agent Skills to the Agentic AI Foundation  Anthropic
• 2026 Public Benefit Report - Anthropic — 2026 Public Benefit Report  Anthropic