AI Coding Live News

On November 5, Solid founder Trevor Keith launched Glasshand: dedicated real iPhones and Macs hosted in a data center—not emulators—so agents can see the screen and tap or type via API. Works with Claude Code, Codex, Cursor and others; agents can install apps, sign into iCloud, add eSIM for SMS codes, run social workflows or build/test in Xcode. Official pricing is $60/mo for an iPhone and $90/mo for a Mac, month to month with cancel anytime and factory wipe on release. It ranked #1 on Product Hunt that day.

Zoom

At BoxWorks 2026 on November 5, Box announced an expanded NVIDIA collaboration: Box Context Retrieval, a new engine built on NVIDIA Nemotron Retriever embedding models, combines keyword and semantic search to return the most relevant passages to AI agents while honoring existing file permissions, with general availability for Enterprise Advanced customers planned for early next year. Box's press release claims 20% better search accuracy (Recall@5), 90% fewer tokens and 4x faster answers. Open-weight Nemotron models, starting with Nemotron 3 Ultra, are available in Box AI now. Box also unveiled Box Architect, which designs workflows from a stated goal; Box Mount, which mounts Box folders inside agent sandboxes and works with NVIDIA OpenShell; and agent security controls including MCP Guardrails.

Zoom

Axiom released a Lean formalization of the entire Stacks Project on November 4 (official X post at 17:13 UTC, with over 2 million views). The roughly 7,500-page open-source algebraic geometry reference, started by Johan de Jong in 2005, becomes about 16 million lines of code, which Axiom calls the largest integrated, reusable formal math library ever built. Hierarchically coordinated AI agent swarms did the work and surfaced dozens of statements in the original that needed local fixes, with counterexamples. The library is open source and browsable side by side with the original text at stacks.axiommath.ai.

Zoom

At Fal.Con Europe in Barcelona on November 3, CrowdStrike said it signed definitive agreements to acquire AI agent observability company Fiddler AI and automated AI security testing company Dreadnode, and launched an AI Kill Switch in Falcon Guardian that can terminate a misbehaving agent, block it from relaunching and cut its enterprise network access. Both deals are expected to close in CrowdStrike's fiscal Q4 FY27, with the products generally available that quarter. CrowdStrike did not disclose prices; CyberScoop, citing the Wall Street Journal, put Fiddler at about $400 million and Dreadnode at about $95 million.

Zoom

On November 1, John Burn-Murdoch, a Financial Times columnist and chief data reporter, posted a long X thread with his FT piece arguing that the productivity rise in AI-adopting US sectors began in 2020, before AI agents existed, shows up only in the US, and comes mainly from tech layoffs and hiring pullbacks rather than AI. The thread opener has about 1,344 likes, 306 reposts and 186K views. Gavin Baker, managing partner and CIO of Atreides Management, quoted the FT charts and said it is hard not to see some evidence of "ROI on AI," citing a16z and EPB Research data; his post has about 793 likes and 102K views. Burn-Murdoch replied that he is "slightly on the fence" and that the data cannot rule out a role for AI. These are two readings of the same data, not a settled finding.

Zoom

An Oct 30 NVIDIA blog post says Breakthrough Listen and the SETI Institute have brought agents into daily SETI work at the Allen Telescope Array (ATA, 42 dishes of 6 m each) in Northern California: from a single natural-language request, agents can steer the antennas, calibrate and focus, fix data errors, and run AI models on the live stream. Holoscan's DAQIRI library pulls sensor data straight into GPU memory, the SETI Institute's CyberEther handles signal processing, and the web-based orchestrator Nexus acts as the agent harness, handling up to 2.4 Tbps on premises on RTX PRO 6000 Blackwell GPUs. The pipeline has made the first real-time AI detection of a pulsar in the Crab Nebula, and the team is evaluating open models such as Nemotron. The @NVIDIAAI Halloween post on Oct 31 drew about 274 likes.

Zoom

Exin Therapeutics co-founder and CEO Gabriel Ocana-Santero said on X on Oct 28 that an AI agent chose one of 19 gene therapy vectors, picked the brain region, derived coordinates from three papers and drove a stereotaxic rig to inject 250 nanolitres into an epilepsy-model mouse. WIRED reports Claude Opus 5.5 refused and Sonnet 5 did the run; a vet gated every irreversible step, and the work is not peer-reviewed.

Zoom

YC Labs, a research project at Y Combinator, and multi-agent environment startup Olam Labs published "Agents in Games" on Oct 29. Fifty GPT-6.1 Sol agents told to "build a thriving civilization" in survival Minecraft spent three hours huddled in shelters rationing food, sending about 5,900 messages and inventing ration ledgers, permits and job titles. In nine Bed Wars games, 10 GPT-6.1 Sol agents beat 10 Claude Opus 5.5 agents 6–3; in seven 50-vs-50 Mindustry matches lasting about 9.5 hours, GPT won 6–1. The leader was almost always whichever agent was listed first in the directory, and stuck GPT agents fetched the game's public source code on their own. The Minecraft harness is open source. These are one lab's experimental observations, not a standardized benchmark.

Zoom

On Oct 28 Meta announced that Muse, its personal AI agent, is now available in Singapore on iOS, Android and muse.ai. Beyond Gmail, Google Calendar and Instagram, the first local connector partners are Shopee, Grab, Singapore Airlines, Agoda, ShopBack, Klook, Trip.com and Lazada, spanning shopping, groceries, dining and travel, with some connector features rolling out after launch. Muse runs on Muse Secure VM, a dedicated cloud computer that keeps passwords and payment methods out of the agent's view, and it asks before sensitive actions such as sending an email or making a purchase. It is free for most uses, with paid subscription plans.

Zoom

On Oct 27 Anthropic's Alignment team published a randomized controlled trial, "How AI agents shape experts' judgment calls", shared on X by researcher Alex Tamkin. Fifty analysts experienced in causal inference used Claude Code (Claude Opus 4.8) to evaluate a program for a fictional farming cooperative, and on each analytical decision the agent's lean was set by coin flip without the analyst being told. Their choices matched the agent's lean 86% of the time (about 50% would mean no effect), and 77% later repeated the agent's arguments while only 15% credited the agent.

Zoom

AI math company Axiom announced on Oct 27 that swarms of dozens of AI agents formalized the Classification of Finite Simple Groups (CFSG; the original proof runs about 15,000 pages across 500+ articles by about 100 mathematicians) in the Lean proof assistant in 24 days, producing about 43.1M lines of Lean and 2.05M declarations, with the repo public on GitHub. The work surfaced 34 noteworthy deviations from the published record, and AxiomProver produced a new alternative argument for the Unbalanced Group Theorem.

Zoom

On October 27 Apple announced a major Apple Creator Studio update: Logic Pro for Mac plus Keynote, Pages and Numbers gain beta intelligent assistants that Apple says are powered by a combination of Apple-built models and OpenAI and understand document context. Keynote, Pages and Numbers also add Model Context Protocol (MCP) support, letting external AI agents read content, make edits and run automated actions inside the apps. Pixelmator Pro adds natural-language Generate Fill, and Keynote introduces the open JSON-based .keyx format. The update ships free to existing subscribers on the App Store in November; pricing stays $12.99 per month or $129 per year.

Zoom