The AI experts who started the AI labs that are about to IPO were right, at least.