Tech

Sam Altman Didn't Need Another Lawsuit

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

How AI is Shaping Childhood

For years I dreamed of silence. Between a home with three young children and a pediatric clinic crowded with restless kids, the noise at times felt relentless. A family and a meaningful career were all I ever wanted, but sometimes I yearned for quiet. Just a moment of peace.

The OdyssAI.

Ash Koosha — the director behind the $2,000 AI-generated movie that debuted at this year’s Tribeca Film Festival — has apparently made his own adaptation of The Odyssey, which will be available to rent / buy from Fountain 0 some time later this summer.

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.