Live--:--:-- PT

1Password launches 1Password for Agents so AI agents can sign in without seeing passwordsCanva launches Craft, its first in-house image generation modelMicrosoft's MAI-DxO diagnoses 83% of complex NEJM cases versus 36% for doctorsClaude formally verifies 123 open-source libraries and finds hundreds of bugsTreasury proposes wider ban on US investment in AI developers in China and RussiaOpenAI nears up to $30B raise at a $1.25T valuation led by Coatue and UAE investorsUber rolls out OpenAI's ChatGPT Work agent to more than 30,000 employeesOpenAI's Decisions API goes generally available with input-only pricing

Tag · 1 story

Rocq

Every story tagged Rocq on AI Chat Daily.

SecurityLead story

Claude formally verifies 123 open-source libraries and finds hundreds of bugs

Anthropic and Theorem used Claude to write 180 million lines of Rocq proofs covering 239 OSS-Fuzz entry points at the assembly level.

Jaeden SchaferEditor in Chief2h ago5 min read