Lead story · Security
DeepMind’s AI verifies Signal’s encryption code
AlphaProof Code produced machine-checked proofs for a compiled build of Signal’s cryptographic library. Here is how the guarantees work.
AI Hub
Explore the future
of artificial intelligence
Models, agents, infrastructure and policy: what actually changed, and what it means.
- 81
- AI Index records
- 230
- AI explainers
- 153
- AI stories published
- 23
- verified events ahead
NVDANVIDIA$166.19down4.34%
MSFTMicrosoft$523up0.36%
GOOGLAlphabet$298.7up1.79%
AMDAMD$585.3up5.86%
Nasdaq · completed close, 12 November 2026 · 12 Nov 2026, 21:00 UTC · refresh delayed
Model of the weekClaude Fable 5.2 for demanding reasoning and coding
State of play
TIME-SENSITIVEupdated 13 November 2026
LLMsClaude Fable 5.2 is Model of the Week for demanding reasoning and coding. Google released Gemini 4 Hydrogen on 12 November at $1.50 input and $7.50 output per million tokens. Alibaba’s Qwen4-Max-Preview is available through Token Plan until the end of 25 November in UTC+8.Image GenerationOpenAI released GPT Image 2.6 Sunburst and Flare on 4 November for image creation and editing. The release adds SVG and GIF output, complexity controls and editing guided by image markings. Older leaderboard results retain their original model versions and dates.Video GenerationGoogle’s Genie 4 remains a trusted-tester research preview for interactive worlds. FLUX 3 Max has a separate 50% promotion through 22 November: $0.085 per second at 720p and $0.145 at 1080p, checked on 9 November.
Open AI State of Play: all 7 areas Featured pages
ToolCompare AI modelsTwo models side by side, measured on the identity dataset. Compare the documented observations.New guideThe EU AI Act, now enforcedFines up to 3% of turnover arrived on 2 August 2026. The duties and the dates.New guideAI browsers comparedClaude in Chrome, Comet and the agent inside ChatGPT, with the injection numbers.ReferenceModel fingerprintsWhich model really answers an API, read from measured behaviour.ToolAI Risk RadarAI security incidents, logged as they land.
Explore the AI desk
LearnAI ExplainedGuided explainers: how any of it actually works.230 explainersIndexAI IndexThe structured reference records behind the desk.81 entriesSecurityRisk RadarWhat is going wrong, logged as it breaks.302 incidents loggedPolicyAI Policy & RegulationThe rules now governing AI: the AI Act, chip exports, the grid and the first state laws.4 pages
Learn the ecosystem
AI explainers
Open a field to explore the models, assets and machines behind the news.
- 112 guidesLarge Language ModelsThe models that read, reason and write, from the frontier labs to the open-weight field.
- 15 guidesRoboticsMachines that act in the world: the models that drive them, the bodies they drive, and the rules around both.
- 18 guidesAgentic AIThe autonomous agents that run tools, write code and act on your behalf, not just answer.
- 13 guidesWorld ModelsSystems that simulate interactive, explorable environments a frame at a time.
- 24 guidesVideo GenerationText and image to video models, from the safe Western defaults to the leaderboard leaders.
- 23 guidesImage GenerationText to image and image editing models, from frontier quality to the open-weight stack.
- 16 guidesAudio and VoiceMusic, speech and real-time voice models, and the licensing questions they raise.
- 4 guidesPolicy & RegulationThe rules now governing AI: the EU AI Act, chip export controls, the grid and the first state laws.
- 5 guidesAI securityHow AI finds vulnerabilities, what the labs put in front of their models, and what the bounty platforms pay.
Coming up
See the AI calendar →17 Nov to 19 NovThe AI Summit Cape Town 2026The AI strand of Africa Tech Festival, exploring how AI can drive growth and opportunity across the continent. Expo and content sessions run 17 to 19 November at the CTICC.Cape Town, South Africa17 Nov to 20 NovMicrosoft Ignite 2026Microsoft's flagship cloud and AI conference: keynotes, product launches and deep sessions across Azure, Copilot and the developer stack.San Francisco, USA
Listen: AI briefings
All briefings →12 Nov 2026 · 00:02:11Nvidia’s leadership testA second reported affair puts Huang’s leadership under pressure. Nvidia faces questions over succession, customer confidence and its share valuation.12 Nov 2026 · 00:02:55The mathematics behind a private messageAlphaProof Code produced machine-checked proofs for a compiled build of Signal’s cryptographic library. Here is how the guarantees work.