陈天桥演讲：AI下半场竞争转向验证，构建可验证的世界

陈天桥在AIAS 2026峰会上提出，AI下半场竞争将从生成转向验证，强调模型能力不在大小而在能否证明正确。Apodex已组建150人科学家团队，投入近万张GPU，建设覆盖科研决策、数据管理、实验执行与评估的验证基础设施。