Pinned post

Axiom Math, which uses AI and the Lean language to verify code in much the same way that mathematicians prove math problems, raised $200M at a $1.6B valuation (Cade Metz/New York Times)

Cade Metz / New York Times : Axiom Math, which uses AI and the Lean language to verify code in much the same way that mathematicians prov...

12 March 2026

Bernstein: 42% of China's 20K+ humanoid robot shipments in 2025 were education and R&D; data collection and human-robot interaction services each made up 19% (Ryan McMorrow/Financial Times)

Ryan McMorrow / Financial Times:
Bernstein: 42% of China's 20K+ humanoid robot shipments in 2025 were education and R&D; data collection and human-robot interaction services each made up 19%  —  Network of training farms aims to supply data needed to put ‘brains’ into machines  —  At a new 12,000 square metre facility in Wuhan …

Posted from: this blog via Microsoft Power Automate.

Daily Deals

By on