
Tau Robotics is piloting a humanoid robot cleaning service in San Francisco, but the units are largely teleoperated by humans using kinematic guidance rather than fully autonomous AI. The startup charges customers for these visits primarily to collect training data on complex physical tasks like laundry folding and stair navigation. While the robots can handle basic mopping and vacuuming independently, they struggle with stability and environmental obstacles, often requiring human assistance or suffering from signal latency. This approach highlights the current reliance on remote operation to bridge the gap toward true autonomy in unstructured home environments.
Read originalEarlier coverage that leads up to this article, and what followed. Lines connect each piece to the closest one after it, converging here.
The Verge AI · July 30, 2026 · Background
MIT Technology Review AI · October 8, 2026 · Background
© TechCrunch AIAirbnb is doubling down on the 'generative UI' concept with a dedicated travel agent launching in early 2027. CEO Brian Chesky explicitly rejects the chatbot model, arguing that planning trips is an aspirational experience people enjoy. Instead of text-heavy responses, the agent will dynamically compose interfaces using maps, photos, and itineraries based on user intent. This approach leverages Airbnb's proprietary data to handle complex post-booking tasks like refunds and safety support, which general-purpose agents cannot easily access. The move signals a shift from conversational AI toward context-aware, visual planning tools.
© TechCrunch AIMeta has removed the invite-only barrier for Muse’s video avatar feature, making it available to every US user. This rollout leverages new Realtime Avatar and Voice models to drive subtle facial expressions and gestures that sync with conversation tone, aiming to deepen emotional attachment through anthropomorphism. While competitors focus on voice-only interfaces, Meta is betting that a customizable, animated presence—like Alexandr Wang’s fluffy dog avatar—creates a stickier consumer habit. The move signals a shift from experimental demos to mainstream consumer engagement, setting the stage for upcoming hardware integrations like AI glasses and the Muse Charm wearable.
© TechCrunch AIAxiom Math has formally verified the entire Stacks Project, a massive open-source mathematics library, by translating roughly 7,654 pages into 16 million lines of Lean code. This achievement fills a critical gap in algebraic geometry formalization, providing a trusted substrate for future AI agents to build upon without inheriting logical errors. The company’s approach relies on specialized in-house models and autonomous agents working in parallel to preserve the intricate dependencies between theorems. By establishing this verified foundation, Axiom aims to prevent the accumulation of 'slop' in AI-generated software and science, positioning formal verification as a prerequisite for reliable autonomous systems.