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...

31 January 2024

Bernstein estimates PDD spent ~$3B on marketing Temu in the US in 2023; the Chinese group says Temu has 70M MAUs in the US, versus an estimated 13M in Jan. 2023 (Financial Times)

Financial Times:
Bernstein estimates PDD spent ~$3B on marketing Temu in the US in 2023; the Chinese group says Temu has 70M MAUs in the US, versus an estimated 13M in Jan. 2023  —  High-spending marketing push by PDD Holdings-owned internet marketplace leads to doubts over growth strategy

Posted from: this blog via Microsoft Power Automate.

Do your Amazon shopping through this link.

By on