Part 1 of 6 in the Iron Core series — the 60-year-old infrastructure that flies 4.5 billion people a year. In December 2025, someone at Technogise opened MakeMyTrip’s corporate platform, typed in a destination, and booked me two flights to London. The whole thing took under a minute. A confirmation email landed in my inbox. … Read More “The Problem That Built an Industry // a.s” »
Welcome to Import AI, a newsletter about AI research. Import AI runs on arXiv and feedback from readers. If you’d like to support this, please subscribe. The era of math proof automation has arrived:…Numina-Lean-Agent shows how math will never be the same…In the past few years, large-scale AI models have become good at coding and … Read More “Winners and losers in the AI economy; math proof automation; and industrialization of cyber espionage” »
Polymarket bets started popping up in Google News alongside legitimate news articles. But now those results aren’t showing, and Google says they were never supposed to. Spokesperson Ned Adriance told The Verge that “Google News is designed to show sources that create content about current issues, events, and important topics, and we have policies for … Read More “Google says Polymarket bets showing up in News was an ‘error’” »
SiFive, a company founded in 2015 by the UC Berkeley engineers who created an open source chip design, has landed a $400 million oversubscribed round that values the company at $3.65 billion. This deal is interesting for a bunch of reasons. For one, SiFive’s RISC-V open chip design is based on the RISC processor, not … Read More “Nvidia-backed SiFive hits $3.65 billion valuation for open AI chips” »
Accumulating a lot of experience … Booster 1076 entered the SpaceX fleet in 2021 and since then has launched missions including CRS-22, Crew-3, Turksat 5B, Crew-4, CRS-25, Eutelsat Hotbird 13G, SES O3B mPOWER-A, PSN Satria, Telkomsat Merah Putih 2, Galileo L13, Koreasat-6A Crew-6, and USSF-124, plus 22 batches of Starlink satellites. (submitted by EllPeaTea) Atlas … Read More “Rocket Report: Chinese version of Falcon 9 fails; Artemis depends on rapid heavy lift” »
When your AI agent holds your API keys, reads your email, and runs shell commands, security isn’t optional. KiloClaw is a fully managed OpenClaw: a one-click deploy that gives you a 24/7 AI agent, without buying a Mac Mini. Every instance runs in a dedicated Firecracker micro-VM, not a shared container, with five independent isolation … Read More “How Roblox Uses AI to Translate 16 Languages in 100 Milliseconds” »
When it comes to AI agents and AI tooling, most of the discussion focuses on their potential boosts for efficiency, faster iteration, and the pushing out of more code, faster. Last week, we took an inside look into how Uber is adopting AI, internally. The rideshare giant has built close to a dozen internal systems … Read More “Are AI agents actually slowing us down?” »
Nintendo seemingly designed its latest console to be a mystery for third-party accessory makers. With the Switch 2, the company changed the wireless protocol for connecting controllers to the new system, as well as how it outputs video over USB-C, making it clear at launch that every third-party manufacturer needed to start over from scratch. … Read More “You don’t have to spend more than $50 on a great USB-C dock for your Switch 2” »
Based on what we know from other types of tiny fibres, those dimensions are problematic, she says, based on what we know about mineral fibres such as asbestos or carbon nanotubes. “We know that those fibres – small enough to javelin down into the air sacs at the end of our airways – are problematic.” … Read More “The air throughout our homes is infused with microplastics. But there are things you can do to breathe less of them” »
Welcome to Import AI, a newsletter about AI research. Import AI runs on arXiv and feedback from readers. If you’d like to support this, please subscribe. Import A-Idea:An occasional essay series: Into the mist: Moltbook, agent ecologies, and an internet in transition We’ve all had that experience of walking into a conversation and initially feeling … Read More “Moltbook, agent ecologies, and an internet in transition” »
