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

Chinese brain-computer interface startup Gestala raised $21.6M co-led by Guosheng Capital and Dalton Venture at a $100M to $200M valuation, per CEO Phoenix Peng (Kate Park/TechCrunch)

Kate Park / TechCrunch:
Chinese brain-computer interface startup Gestala raised $21.6M co-led by Guosheng Capital and Dalton Venture at a $100M to $200M valuation, per CEO Phoenix Peng  —  Elon Musk's Neuralink and OpenAI-backed Merge Labs are pushing forward with brain-computer interface (BCI) technology in the U.S. Meanwhile …

Posted from: this blog via Microsoft Power Automate.

Daily Deals

By on