Tech

DeepMind chief Demis Hassabis calls for US-led body to test ‘frontier’ AI models

Society has ‘precious window’ to prepare for technology advancing at historic speed, warns Nobel laureate

Google's Demis Hassabis says it's time for a global AI watchdog

Posts from this topic will be added to your daily email digest and your homepage feed.

Wall Street warms to Apple's AI strategy

Investors are coming to appreciate the iPhone maker's cautious approach to the AI spending boom.

Mozilla Wants to Build a ‘Rebel Alliance’ for Open-Source AI

Mozilla, the non-profit behind the Firefox browser, is reinventing itself as a champion of open-source AI, in what its president Mark Surman says is an attempt to build a “Rebel Alliance” resisting the concentration of power in the tech industry.

Leanstral 1.5: Proof Abundance for All

Leanstral 1.5, a free Apache-2.0 licensed model with 6B active parameters, delivers a major performance upgrade in formal verification, saturating miniF2F, solving 587/672 PutnamBench problems, and achieving state-of-the-art results on FATE-H (87%) and FATE-X (34%). Trained through mid-training, supervised fine-tuning, and reinforcement learning with CISPO, it excels in agentic proof engineering and real-world code verification, uncovering 5 previously unknown bugs across 57 repositories tested. Fully open-sourced and available via Hugging Face and a free API, Leanstral 1.5 is now accessible for practical proof engineering in Lean 4.

Introducing Muse Image and Muse Video

Muse Image follows instructions faithfully, edits with precision, composes from multiple references, and draws on Instagram for social context. Muse...

Robostral Navigate: Single-Camera AI Navigation

Robostral Navigate is an 8B model that enables robots to autonomously navigate complex environments using only a single RGB camera, achieving 76.6% success on unseen R2R-CE benchmarks—outperforming multi-sensor approaches while being more efficient. Built entirely in-house with simulated data and token-efficient techniques, it generalizes across robot types and adapts to real-world obstacles unseen during training. The model combines pointing-based navigation with reinforcement learning for continuous improvement, paving the way for unified embodied AI in robotics.

Gemini in Chrome feels like a small step toward Google’s agentic era

Posts from this topic will be added to your daily email digest and your homepage feed.

Government of Alberta uses Claude to find and fix cybersecurity vulnerabilities

Since 2025, the Government of Alberta has been using Claude Code with both Opus and Sonnet models to review its systems, find vulnerabilities, and fix them. A team inside Alberta’s Ministry of Technology and Innovation scanned 466 million lines of code in 20 hours, remediated security gaps across its systems, and built new tools to make those systems safer.

Our Work on the Hard Questions About AI

See how our research, policies, and commitments address the hard questions about AI safety, governance, and the impact on society and the economy. This is a selection of our work so far.

More details on Fable 5’s cyber safeguards and our jailbreak framework

Claude Fable 5 has been re-deployed and is now available globally for all users. We’re taking this opportunity to share further information in two areas.

A new way to reflect on how you use Claude

Today we're introducing, in beta, a new way to reflect on and refine how you use Claude. In our interviews with users, a common theme that’s emerged is a desire to better understand how, exactly, AI can be integrated into daily life. How often should someone use AI? How can it be used most effectively? When is AI suited to a task, and when is it better left to a human?