Mob · AI & Robots

The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.

跌的时候叫我玩具公司， 涨起来了叫我什么？ 请叫我具身智能龙头， 未来擎天柱高达研发公司！ 晚上三季报显示，宇树科技营收涨了 70%，利润反倒跌了 17%； 好消息是单季研发砸了 1.27 亿元，是去年同期的 3.5 倍，比利润还多。 说白了，现在的宇树是拿利润换技术，去年前三季度人形机器人收入七成多还来自高校和科研机构。 但是，怎么感觉明天要跌。

Tesla’s Optimus training regime leak. Workers in its Palo Alto R&D facility have been holding “robot university” for many months already. Press got it wrong when they said it just started up. Workers are wearing 24 lb suits with up to 40 cameras and grids of 3D sensors. To capture very detailed video and 3D fields of whatever the worker does. There are multiple configurations. They are given different tasks to do. They don’t know where the tasks come from. Multiple squads are working on three shifts 24 hours a day. Similar efforts were seen at the Texas factory. The data collection effort is immense. A Tesla car only has nine cameras. This leads to a data flywheel that is orders of magnitude more data than the car captured. Separate teams are capturing home data, like making a sandwich, while other teams capture jobs on factory floor, like installing HVAC systems in cars. Elon isn’t playing around. I can’t tell you how I learned this.

卧槽 OPC，一人公司真的能搞啊 Anthropic 全资收购了一家一人初创药企 Mithril Medicine 这家公司只有创始人 Cody Tranbarger 一个人+ Claude，专注于研发两种罕见的儿童肌营养不良症疗法 Cody将合同管理、物流供应链以及跨 11 家外部实验室的实验统筹等运营工作，全部交给了 Claude 协作处理 仅凭一人团队加上 Claude 的辅助，他们在不到 18 个月的时间内，就把其中一种肌营养不良症的疗法从“纯设想”推进到了“小鼠活体实验呈现积极效果”。 创始人 Cody 已正式加入 Anthropic 继续推进该研发并启动新项目。如果候选药物后续验证顺利，预计最早在 2028 年底前即可推进至人体临床试验。

Early days, but we're beginning to hire Bots onto our team.

The wait is over. Meet #Echo humanoids. Introducing Realbotix's first commercial robot line, available in limited quantities. Choose from four distinct characters, each with its own face, voice, and personality. Available in tabletop and full-body configurations, Echo offers a range of options to choose from. Say hello to Mila, Aria, Dave, and Amar. Discover Echo: realbotix.com/ 🇨🇦 #TSXV: #XBOT $XBOT.V 🇺🇸 #OTCQB: #XBOTF #Realbotix #HumanoidRobots #EmbodiedAI #SocialAI #PhysicalAI

🇰🇷 KOREAN ROBOTICS: A REAL SUPPLY CONTRACT. @ROBOTIS has signed a deal to supply 750,000 DYNAMIXEL XL330 actuators to France's @pollenrobotics . The actuators power its Reachy Mini desktop robot. • 15 actuators per robot • 50,000 robot orders reported • 1M+ actuators projected for 2027 demand This is worth watching. As physical AI develops, Korea's opportunity isn't limited to building robots. It also lies in supplying the precision components that make robots move. Source: Chosun Biz, Oct. 26, 2026. naver.me/GdTGx8dN

Grok @Bot is like hiring an incredibly competent chief of staff

I'm blown away by Grok @bot. This is the 14-bot team that handles my inbox, research, code, and design, and I only talk to 4 of them. (bookmark so you don't lose this) My executive staff of Pam, Tyrion, Gilfoyle, and Rachel takes every request, hands it to their teams, and brings the finished work back to me. I'm publishing the full video soon. It will cover: - How to reproduce this exact setup - How Grok Bot works under the hood - How to add skills and integrations - How to run it with Claude Code, Codex, or any harness This is still a work in progress, getting better every day. Also, name your bots after characters you actually know, because talking to Dwight feels far more human than talking to agent-3. Stay tuned!