iCreatAI News
Back to main site
Skip to content

Companies and models

Anthropic / Claude Latest updates

All Anthropic updates: continuous tracking of Claude series models, Claude Code, safety research directions and company progress.

44 条精选Past 30 days: 44 updatesTotal: 268 updates

Updated

精选归档 · 第 3 页

Oct 28Wed 41–44 updates
  1. TechCrunch · AI88

    Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?

    OpenAI released solutions to three major math problems, including a claimed refutation of the Exponential Time Hypothesis (ETH), and Anthropic later released its own refutation of ETH. MIT professor Ryan Williams, working with ETH originators Russell Impagliazzo and Ramamohan Paturi, is organizing the computer science community's response, releasing an open letter calling for feedback and discussion of norms around AI contributions. Williams said OpenAI checked whether the result breaks any cryptographic systems and was reasonably confident it does not.

    Why it matters: Explains what a claimed AI refutation of a foundational complexity assumption means and how researchers are responding.

Oct 26Mon
  1. TechCrunch · AI85

    Anthropic officially files for its public debut

    Anthropic filed for an initial public offering on Monday and plans to list under the ticker "ANT," according to its latest SEC filing. The filing reports $16.3 billion in revenue for the first half of 2026, up from $1.2 billion a year earlier, alongside an operating loss of $693 million and a net loss of $80.7 billion largely driven by noncash accounting adjustments tied to convertible debt. A "Founder LLC" of Anthropic's seven co-founders will collectively control 50.1% of shareholder voting power, and the company's Long-Term Benefit Trust will have authority to appoint most of its board.

Oct 23Fri
  1. The Decoder78

    Anthropic's Claude now writes code and proves it safe automatically

    Anthropic's Frontier Red Team, working with partner Theorem, used Claude to generate roughly 180 million lines of mathematical proof code in a few weeks, verifying existing software from 123 open-source libraries in Google's OSS-Fuzz project by translating crash tests into mathematical problems and analyzing compiled machine code, with the Rocq program automatically checking the proofs. The researchers say Claude found hundreds of bugs, including as many security bugs in one week in a widely used PDF reader as are typically reported for that software in a year, and caught a logical error undetected for over a decade. Anthropic notes the proofs hold only under strict conditions—a specific processor architecture, single-threaded programs, and inputs under 64 MB—and that compute costs are steep, with individual proofs running up hundreds of millions of tokens.

    Why it matters: It offers a concrete look at AI-assisted formal verification, including its demonstrated bug-finding results and the practical limits Anthropic itself acknowledges.

Oct 22Thu
  1. The Decoder80

    Anthropic takes on Grok Bot, Meta's Muse, and OpenAI's Dots with its always-on agent "Claude Duet"

    Anthropic launched a research preview of Claude Duet, a standalone proactive agent app for iOS, Android, and the web built on Claude Opus 5.5, available to US Pro and Max subscribers via a waitlist. Duet sends a morning summary from connected apps, works on its own cloud virtual machine, and connects to services like Gmail, Slack, Stripe, and Shopify through more than 6,000 connectors, but requires user approval before sending messages, making payments, signing documents, or deleting anything. Anthropic says the early version can misread threads, misjudge urgency, and miss items between checks, which run only every few hours and count against subscription limits.

    Why it matters: It documents a major lab's entry into always-on personal agents and details the approval and safety constraints placed on autonomous actions.