Carbon, Proofs, Regulators

By the Orchestra editors · 4 min read

TL;DR

Google rolls out Gemini 4 Carbon with multi-agent swarm feature
DeepMind's AlphaProof Code formally verifies Signal's encryption
Australia announces AI safety regulator and mandatory standards after OpenAI Medicare breach
Qantas cutting 850 roles in AI-driven Accenture overhaul

AI · Worldwide

Gemini 4 Carbon goes GA with agent swarm mode

Google is publicly releasing Gemini 4 Carbon after a two-week limited rollout to cybersecurity defenders. The model tops several benchmarks at roughly half the per-task cost of competitors, and introduces a "/swarm" feature that coordinates multiple agents to split complex tasks in real time.

AlphaProof Code formally verifies Signal's encryption

DeepMind's AlphaProof Code agents wrote three million lines of Lean proofs to formally verify that Signal's core encryption protocol works as intended. The team's stretch goal is to apply the same approach to verify arbitrary software at scale.

Anthropic builds out Claude as a full workspace

Anthropic unveiled Claude Sheets, Whiteboards, and third-party connectors for tools like Adobe and Atlassian, plus a coming Claude Meetings feature that joins calls, drafts plans and retrieves data from connected apps. The push positions Claude as a central work hub rather than just a chat window.

Australian Tech

Australia to create AI safety regulator after Medicare breach

The Albanese government will impose mandatory safety and security standards on AI companies, require incident reporting and stand up a dedicated regulator. The move follows a rapid review into OpenAI's breach of a Medicare portal earlier this year, with all 18 recommendations accepted and criminal law reforms flagged.

Qantas cuts 850 roles in Accenture-led AI overhaul

Qantas will shed 850 Australian positions and move work offshore as part of a data and IT modernisation deal with Accenture. It is the third major corporate AI-related layoff plan in Australia in three weeks, following Canva and NAB.

Government folds $70m SQC stake into National Reconstruction Fund

The federal government has transferred its shareholding in Sydney-based quantum startup Silicon Quantum Computing to the National Reconstruction Fund, consolidating its early quantum bets under a single investment vehicle.