欧洲火箭，终于上桌了？

📋 总体概括

欧洲大陆首次商业火箭入轨、Claude用11天完成费马大定理形式化验证、2061年哈雷彗星交会方案浮出水面——火箭、AI、深空三条看似不相干的新闻，指向同一个判断：航天产业的成本曲线、工具曲线和周期曲线，正在同时发生结构性变化。