所以马斯克找了6个程序员用两周去审计就够了