Laurent

Meet Robyn, the personal agentic platform built around your life and work. - Tell her what you need in one sentence. No setup, ever. - Spin up a fleet of agents preloaded with your context that work while you sleep. - Access it on the web or just text it. - 20hrs/week saved per user. I’m Jenny, and I spent 3 years working with Nobel Laureate Eric Kandel, who mapped out memory in the human brain. We built all of that into Robyn, making it the first AI capable of taking intelligent action. Invite only access opens today. We’re giving out 1000 invite codes. Link in first comment. Comment "Robyn" for 100 free credits.

Every AI agent at work runs with the access of whoever set it up. That’s why security keeps saying no. Today we’re launching @mintive: every agent gets its own identity and permissions, the same way every employee does. We’ve raised $11M, with @cowboyvc leading our latest round.

Today we're launching @snaptrude Agent, the most advanced agent for building design. It does real design work with you, from a site to a construction-ready LOD 400 model with structure, MEP and drawings. Then can go back to your existing software with your families intact. About a year ago we bet the company on AI. Honestly the insight came from software engineering. It wasn't long ago that autocomplete felt like a big deal, and now engineers direct agents that write a lot of the code. I think the same shift is coming to how we design buildings, and it's already started. Most designers I meet aren't short on skill, they're short on time. Take the call every design team dreads, the client cuts the budget by 30%. Today that's a bad month for everyone. With the agent you're the director. You decide where the cost comes out, and it updates the layout, coordinates the structure and MEP, and redoes the drawings. So when design exploration gets this cheap, we go from 3 options to 300, and more options means better buildings. Since August our users have gone through more than 140 billion tokens, and firms like Jacobs, Studio+, Kajima, VMDO, Dekker and hundreds of others use Snaptrude today. In our early access, more than 2,000 designers have run over 25,000 tasks through the agent since September. We also built a benchmark for this, AECBench, because in AEC an almost correct answer is still wrong. It gives AI the same brief an architect would get, has its design in a real BIM model, and scores the result against the brief and against how architects review design. We're publishing the first results today, link below. Thank you @prashanthp at @Accel and Shub and the team at @foundamental for backing us when this was still a bet, and the Snaptrude team, who built every bit of this. Really proud of you all. Thanks to our investors, @scottbelsky, @andreasklinger, @thilokonzok, @immad, @CindyXBi, @DanilaVladi, @jmwass, rahulchaudhary, @adamecourt, Zach Ginsburg, Alex duff, Paul grossinger, really appreciate all the help along the way.

I did say we'd be releasing our models periodically...introducing Gemini 4 Carbon, our next frontier model. Following Argon's release just two weeks ago, Carbon shows the pace at which we’re pushing the frontier, it ranks #1 on the recently updated v5.0 of @ArtificialAnlys Intelligence Index at 59. It also leads across key cybersecurity evaluations scoring 88.2% on SEC-bench Pro for finding vulnerabilities, 54.8% on ExploitGym for exploitation, and 71.0% on CWE-bench for patching. We’re seeing significant improvements in long-horizon tasks even compared to Argon, and we’ve strengthened frontier safeguards. As we did with Argon, we’re going to roll it out gradually + responsibly. Some trusted cyber defenders will get access starting this week. We'll be expanding it to more partners through our Fairwind Program, ahead of wider availability soon, so hang tight!

By popular request, you can now text your dot. Give it a task to take off your plate or something to keep an eye on, using text, photos, or even voice notes. It will text you proactively with relevant updates. Safe, secure texting via iMessage or RCS. You’re the only one who can text your dot, and your dot can only text you. Rolling out now as a preview for Pro users in the US.

We raised a $7M pre-seed to make shopping fun again. @daletlabs generates media just for you: like walking into a mall built around your taste. And you can buy everything in-app. Built by researchers from Google, Runway and MIT. Backed by @lightspeedvp and amazing angels.

Today, @JudgmentLabs opens for general access. We believe long running agent systems will generate more exhaust data than the world can currently process. Hidden within agent traces are rich records of how to make these systems better: what users ask for, when agents stumble, and how agents interact with the external world. Judgment is the most performant monitoring and improvement layer for long-horizon agents. We’re excited to see what you build!

𝙻𝙵𝙼𝟹-𝚅𝙻-𝟸𝙱 can also serve as a foundation for robotics. We explore three adaptations spanning the robotics hierarchy, from tool-based task planning to navigation and manipulation. Tool orchestration: ground objects by pointing, measure them with depth tools, call motion planners, and check outcomes in new camera images. Pair it with a fine-tuned d1-2B skill monitor to detect failures and guide recovery. Navigation: translate route instructions and a sequence of image observations into visually grounded waypoint trajectories. The model achieves 53% success on R2R and 43% on RxR in unseen scenes under strict continuous-control evaluation with wall sliding disabled. Manipulation: turn images, language, and robot state into multi-step action chunks in one forward pass. Jointly trained across 15 embodiments, the resulting VLA achieves 96.2% average success across the four LIBERO suites and 45.7% on RoboCasa-GR1 tabletop tasks. The manipulation VLA generates action chunks in under 50 ms on an @nvidia Jetson AGX Orin using TensorRT in FP16, enabling real-time action generation on embedded hardware. 10/

The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.

GPT-6.1 Terra: delivering fast and capable computer use at a lower price. GPT-6.1 Terra understands what’s on screen, takes action across apps, writes naturally, and is a more capable model for your whole workday with the efficiency to take on more of it.