DeepSeek拟领投前腾讯科学家创办的机器人AI初创公司，估值约4亿美元。（彭博）