Google Analytics counts our visits, with cookies. No thanks turns it off and removes its cookies; in Europe, the UK, Switzerland and India, or wherever we cannot tell where you are, it stays off unless you accept. Cookie Notice

Advertise
PRICES
BTCETHSOLXRPBNBTONDOTLTCPOLHBARNEARARBUNI
Back to NewsFeeds

Anthropic says Claude has formally verified open-source libraries at scale

NewsFeeds update

Anthropic's Frontier Red Team said Claude, working with Theorem, proved safety properties for more than 100 real open-source libraries at the RISC-V assembly level, which it called the first known large-scale formal verification of production software by AI at that layer.

AIChainCatcherAINeutral

Read the original on ChainCatcher

More AI updates

  1. ByteDance's Volcano Engine releases 4K Seedance 2.5 video model to 20 studios

    AIChainCatcherAINeutral

  2. Galbot and Unitree say they jointly developed native agent robot Galbot ET1

    AIChainCatcherAINeutral

  3. Marc Andreessen says open source stops AI concentrating in a few companies or the state

    AIChainCatcherAINeutral

Every AI update on NewsFeeds

Every update is a short rewrite, by AI in our own words, of a flash from the outlet named on it, credited and linked. Not investment advice.