New on our Frontier Red Team blog: using Claude to formally verify software at large scale. Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time). With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks. Read our research in full h

New on our Frontier Red Team blog: using Claude to formally verify software at large scale. Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time). With AI models, however, this is beginning to change. In collabo…

Short extract only — this publisher licenses its text. Read the full release at the source.

Create free account →Read at the source ↗

Free plan · Plus CA$29 or Pro CA$99/month

Pause

More from Anthropic (@AnthropicAI) / Twitter

4 days agoWe’re committing a portion of Anthropic’s shares to the Anthropic Public Benefit Fund, a new wholly owned entity dedicated entirely to the public benefit. It will start off with 5% of our shares. For every 50% increase in the company’s value over a set baseline, we can contribute up to an extra 2%, subject to our board’s discretion. In total, this means that roughly 20% of Anthropic’s shares are committed to the public good. Our co-founders have already pledged to donate 80% of their equity, and
6 days agoNew from our STEM Fellows Program: Designing more efficient quantum circuits with Claude. Given plain-language instructions, Claude Mythos 5 designed quantum circuits that improve on the best published ones, sometimes by an order of magnitude or more. More efficient circuits reduce the resources needed by quantum algorithms, which could bring quantum computing applications in chemistry and materials science within reach sooner. Read more:
7 days agoWorking out how best to use AI in mathematics research—and in science more generally—will take time, effort, and resources. We’re eager to support mathematicians as they drive scientific progress and define the future of their field. We’ve committed $5 million of funding, compute, and Claude access to help the math community navigate the massive changes that AI brings. We’re partnering with @SimonsFdn, who will manage the award through a community-driven approach, supporting workshops, conferenc
7 days agoWe’ve committed to having evaluators assess our safety practices. We're in discussions with multiple organizations, and have now given employee-like access to a team from @METR_Evals. In this post, we describe how we work with third-party evaluators:
8 days agoApplications are now open for two new Anthropic Fellowships. STEM Fellows (science and engineering) and Conceptual Reasoning Fellows (philosophy, cognitive science, economics, policy, and law) will spend four months at Anthropic from January 2027, working to help Claude reason well about some of the hardest problems in those fields. For more information, see the descriptions below. The application deadline is October 28. Conceptual Reasoning Fellows: STEM Fellows:

The rest of this wire is for subscribers

Every release from this source, the moment it crosses — plus 80+ other newswires, saved searches and instant alerts.

Create free account →Sign in

Free plan · Plus CA$29 or Pro CA$99/month

This is PPN World

Governments, regulators, central banks, companies and the newswires — in one live screen, searchable, filterable, and watching what you track.

feeds: 1,400+
newswires: 80+
countries: 190+
languages: 25+

The PPN World cockpit's live feed, showing government sources in English: the newest official releases, each with its date, time, sector, country and source.

01
Live, not a digest
Every release the moment it crosses — no daily email, no 24-hour lag.
02
Alerts on what you track
Save a search and know the instant a matching release lands.
03
The whole archive
Search back through every release by country, sector, source and language.

Watch

1,400+ feeds — live on PPN World right now

Don't find out last.

Releases like this one land on PPN World as they are published, from 190+ countries. Read the next one first.

Create free account →

Free plan · Plus CA$29 or Pro CA$99/month

Your announcement next? Distribute your press release to the global wires with PPN Source — and track its pickup live here.

PPN Source →

Shared via PPN World — real-time press release intelligence.

Crossing the wire right now· official sources

More from Anthropic (@AnthropicAI) / Twitter

You just read one release. Subscribers see them all — the second they land.

PPN World in 30 seconds

Don't find out last.