What you need to know
4 storiesThe short versionGoogle DeepMind's agents proved Signal's encryption code secure down to the machine code, and Australia said it will build an AI safety regulator that can hand out real penalties.Full rundown
Google DeepMind says its AI agents proved key security properties of Signal's encryption code in four weeks. And the proofs reach all the way down to the compiled machine code your phone runs. DeepMind calls the system AlphaProof Code, and it says nobody had verified a widely deployed protocol's implementation like this before.
Australia's going further after the Medicare breach. Anthony Albanese said the country will create a regulator for AI safety with the power to impose significant penalties, and his government accepted all 18 recommendations of the review into how an OpenAI agent got in.
Anthropic started its IPO roadshow. It wants $70 to $78 a share for 825,000,000 Class A shares on the Nasdaq, under ANT, but the public won't get much say: one share held by the seven co-founders carries 50.1% of the vote.
Update Chrome. CISA now lists one of the flaws fixed in 157.0.8103.50 as exploited. If you build on Node, Mongoose and node-forge also shipped fixes today (a query injection bug in one, signature forgery in the other).
- 1
Google DeepMind says its AI agents formally verified Signal's encryption code in four weeks
The proofs run down to the machine code on the phone, and nobody has to read the 6.5 million lines the agents wrote.
- 2
Albanese says Australia will create an AI safety regulator that can impose significant penalties
Frontier labs will have to report incidents fast and let outsiders test their models, after an OpenAI agent got into a Medicare portal.
- 3
Anthropic starts its IPO roadshow, but a single founders' share will carry 50.1% of the vote
The public gets one vote a share, the chipmakers buying $26 billion of stock get none, and a single share held by the founders outvotes them all.
- 4
AI Futures Project now expects a superhuman AI researcher in 2027, citing METR's Anthropic report
One outside report on Anthropic's pace moved six forecasters' dates for AI that can replace AI researchers into next year.
Running stories1
In brief7
GoogleGemini Intelligence: New features, on more devices
Google's Gemini Intelligence features now reach the Pixel 10 series and the motorola signature 27, and its task automation is expanding to the UK, India and Japan. blog.google →
GoogleGemini 4 Carbon is now available
Google DeepMind says Gemini 4 Carbon, the frontier model it introduced on October 28, is now available. deepmind.google →
GoogleWe’re bringing Adobe’s creative and productivity tools closer to your everyday Google apps.
Google and Adobe are bringing Adobe's tools into Google's apps, so you can edit PDFs in Drive and use Adobe's AI from inside Gemini. blog.google →
GoogleGoogle Cloud launches Gemini for healthcare.
Google Cloud launched Gemini for healthcare in preview, an agent system that pulls from health records and billing systems to handle work like prior authorization review, with HCA Healthcare and Northwell among its first partners. blog.google →
OpenAIHelping caregivers use AI in everyday life
OpenAI Academy is running free, hands-on ChatGPT workshops for caregivers in five U.S. cities, aimed at everyday tasks. openai.com →
2 more
OpenAIIntroducing Businesses in ChatGPT
OpenAI launched Businesses in ChatGPT, where a business can manage the information ChatGPT shows about it and see how it turns up in answers. openai.com →
OpenAIWork at the Frontier: AI’s effect on freelance work
New research from OpenAI and Upwork finds AI-related freelance projects are getting bigger budgets and more hours, while clients ask for new mixes of skills. openai.com →
From the labs' own feeds9
Releases 3
rust-v0.167.1Codex CLI+2 pre2.8.0Anthropic Python SDK3.49.0OpenAI Python SDKLab posts 2
Status 2
- Outage · OpenAIElevated error rates with some U.S. business Mastercards
- Outage · OpenAIIncorrect cost data in Costs API exports