推荐理由：形式化验证从学术走向商业云，做云安全或高合规性系统的团队值得关注——数学证明比测试更可靠，AWS已经把它落地了。

推荐理由：AWS 自研芯片的迭代直接关系到云端计算成本与性能，做 AI 推理或大规模部署的团队值得关注 Graviton5 的性价比提升。