ZeroSlop — October 17, 2026
Today: An Nvidia insider-turned-VC on why robotics hasn’t hit…; Backdooring Open-Weight AI Models; Steam For Linux Finally Goes 64-Bit
12 stories worth knowing about today — AI breakthroughs, launches, and innovations making a difference.
1. An Nvidia insider-turned-VC on why robotics hasn’t hit its ChatGPT moment, yet
TechCrunch AI
Amulya Vishwanath, who spent seven years leading product marketing for NVIDIA’s robotics platforms, says robotics is currently in its “Lego era,” with the basic building blocks like actuators, robotic hands, software, and safety standards still being rebuilt. This view runs counter to those who bel…
2. Backdooring Open-Weight AI Models
Schneier on Security
This is a problem: Any open model whose weights have been edited can carry a backdoor, whether it’s a task-specific fine-tune, a merged adapter or an abliterated build. We have abliterated models in the title because it’s the most popular reason people download modified weights without verifying wha…
3. Steam For Linux Finally Goes 64-Bit
Slashdot
Valve has released a new Steam Client beta that finally moves the Linux client to 64-bit architecture, while also placing it inside a containerized Steam Runtime environment. However, Linux users still need 32-bit libraries and graphics drivers for compatibility, meaning fully 64-bit-only systems re…
4. ChatGPT Can Peek At Your Chrome Tabs Now
Slashdot
OpenAI has updated its ChatGPT Chrome extension to let users access information from their open browser tabs. A demo video shows the new functionality in action. The Verge reports: It’s also updated ChatGPT in the sidebar, with the full power of ChatGPT and your entire conversation history in Chat o…
5. StepFun Releases Step 5 Preview Open Weights: 600B MoE, 27B Active, 1M Context
MarkTechPost
StepFun has released Step 5 Preview as open weights. FP8 and BF16 checkpoints are live on Hugging Face and ModelScope. Step 5 Preview is a sparse Mixture-of-Experts model from StepFun built for long-horizon agentic work. It has 600B total parameters, 27B active per token and up to 1M tokens of conte…
6. Physical AI is more than robots, says the Nvidia veteran now investing in it
TechCrunch AI
Amulya Vishwanath, who spent seven years leading product marketing for NVIDIA’s robotics platforms, says robotics is currently in its “Lego era,” with the basic building blocks like actuators, robotic hands, software, and safety standards still being rebuilt. This view runs counter to those who bel…
7. Quoting Addy Osmani, Morgan Westlee Lunt, and Qing Wang
Simon Willison
We think “did a human read the code?” is an imprecise proxy for “what could go wrong with this change, and which check—automated or human—is the right one to catch it?” Asking that question also changed when review happens. Before, review was a gate at the end of the road: write the code, open a PR,…
8. Roundtables: A Conversation With the Creator of AI-Designed Viruses
MIT Tech Review
Listen to the session or watch below Can AI design new life forms? In 2025, Stanford University PhD student Samuel King came up with a preliminary answer when he used a generative AI model to propose genetic blueprints for microscopic viruses. It isn’t yet an example of AI-generated life, but that c…
9. Meta launches an open-weight AI model that runs on Macs
TechCrunch AI
Meta and Apple have teamed up for the launch of the social media giant’s newest model, Muse Spark Open, which will run locally on Apple silicon….
10. Google’s Universal Cart shopping tool launches in the US
TechCrunch AI
The new shopping tool is available in the U.S. across Google Search and the Gemini app….
11. Introducing Reflection Beam: an open-weight model for agentic coding on AWS
AWS Machine Learning
Reflection AI’s Beam is an open-weight model for agentic coding and long-horizon tasks. This post shows how to deploy Beam on AWS: start with an Amazon SageMaker JumpStart real-time endpoint, or use Amazon SageMaker HyperPod Inference with JumpStart, SGLang, or vLLM for Kubernetes-native control ove…
12. IneqAgent: Agentic Inequality Proving in Lean with Symbolic Computation
arXiv CS.AI
arXiv:2610.20681v1 Announce Type: new Abstract: Formal inequality proving requires mathematical reasoning and exact computation, often connected through intermediate lemmas and goal reformulations. We introduce IneqAgent, an agentic framework combining LLM reasoning with symbolic computation for in…