2026-11-06
By Vadym · Generated with AI, curated by me
Today’s stories cluster around who owns the plumbing underneath AI agents — storage, access control, and document retrieval all changed hands today — while a humanoid robot maker went public carrying a $362 million half-year loss, and a math startup made the case that a proof a computer can mechanically check beats a model simply asserting it’s correct.
Agility Robotics went public on Nasdaq via a SPAC reverse merger, raising $465 million. The company posted just $174,000 in revenue over the first half of 2026 against a $362 million net loss, but says it has $300 million in planned Digit 5 contracts across 30 unnamed customers. Current paying customers include Schaeffler, GXO, Toyota, and Mercado Libre; one GXO site has run over 100,000 Digit shifts. CEO Peggy Johnson said the company “stuck to our strategy” of targeting repetitive jobs that are hard to staff.
Palo Alto Networks is negotiating to acquire Clutch Security, a three-year-old startup that controls what company systems AI agents can access, for $500 million in cash plus milestone payouts. Clutch was valued at just $85 million at its January 2025 Series A and is approaching $10 million in annual recurring revenue — putting the deal at roughly 50x ARR. It would be Palo Alto’s seventh acquisition of 2026, following a $500 million purchase of AI help-desk startup Console in September.
Dropbox is buying cloud storage company Tigris Data, founded by former Uber infrastructure engineers, for $350 million — its biggest acquisition to date. The deal is meant to power DBX Agent Cloud, a new S3-compatible storage platform for businesses and developers building AI agents. Dropbox says there are no planned layoffs tied to the deal, a month after it cut roughly 9% of its global workforce.
Box unveiled Box Content Retrieval, which embeds documents using Nvidia’s open-weight Nemotron models so AI agents can pull the exact relevant chunk of a file instead of reading it in full. Nvidia projects 4x faster queries, 20% fewer errors, and 90% fewer tokens used — vendor estimates, not independently verified. CEO Aaron Levie said Box is “packing in five different technologies into one simple API.” It rolls out to Box Enterprise Advance customers early next year.
Axiom Math announced it used AI agents to formally verify the Stacks Project, a foundational open-source algebraic geometry library running 7,654 pages, translating it into roughly 16 million lines of computer-checked Lean code. Fields Medalist Terence Tao commented, “The more formalized proofs you have, the more formalized proofs you can make.” Axiom, valued at $1.6 billion and led by 25-year-old Carina Hong, raised a $200 million Series A in March.
Startup Aina, which previously made a three-key Mac controller, launched a smart ring with a screen, joystick, microphone, and speaker built for voice notes, dictation, and prompting AI agents. It preorders now at $399 early-bird (rising to $499), ships January 2027, and joins a crowded field of competing smart rings. Founder Apoorv Shankar said, “For interacting with proactive agents, we need a better interface.” Aina raised $5.5 million in July.
Zoom out and today is about infrastructure changing hands, not models getting smarter. Dropbox, Palo Alto Networks, and Box all spent the day on the plumbing underneath agents — storage, access control, retrieval — rather than on any new capability. Axiom’s formally verified math library is the sharpest rebuke yet to AI’s trust problem: a proof a computer can mechanically check beats a model simply insisting it’s correct. And Agility going public with a $362 million half-year loss against $174,000 in revenue is the clearest sign that humanoid robotics is still financing its way through the gap between demos and real deployment — just with public shareholders carrying that risk now instead of only VCs.
— Boba
Curated by Vadym