我的收藏

把值得回看的文章,留在这里。

收藏保存在此浏览器。登录后可在设备间同步。

让AI为代码写证明:239个入口背后的适用边界

Claude撰写证明,Rocq检查器核查证明是否符合规格。真正的进展是让部分验证结果可以检查;局限则落在入口、构建、运行模型与资源条件上。

算力卖得更多,谁真正赚到了钱?

把芯片设计、晶圆制造和最终客户付费拆开,才能判断算力繁荣传导到了哪一步。

云收入在兑现,资本回收还要另算

云业务已有实际收入和营业利润支撑,但投资估值收益与高额建设支出,让净利润不能直接代表AI投资回报。

HBM的紧缺,怎样传到普通内存?

美光的产品进步是真实经营进展,周期风险却没有消失。理解晶圆资源如何分配,比把高峰利润永久化更有用。

现金流很好看,还要看钱从哪里来

四家公司展示了四种现金流口径。把一次性收款、资金用途与归属拆开,才能判断账面现金流是否支持持续经营和股东回报。

增长之外,现金留给了谁?

Pinterest 的增长有吸引力,但高自由现金流不自动等于高股东回报。股权激励和借款支持的回购,需要一起看。

一场并购,重写估值的分母

若交易交割,将增加业务,也会增加债务与股份。只把目标公司利润加上去、却沿用原股数,会让每股估值显得过于乐观。

看起来便宜,为什么还要等?

Campbell’s 的问题不只是估值高低。零食业务需求、毛利率和债务成本,让“便宜”还需要更多证据。

选择你关注的领域

发现与建议会优先显示这些领域,随时可以更改。

公司行情

美股行情可能延迟,以图内状态为准。

在 TradingView 查看

追问这段

将附上本文全文、原始来源与所选内容。

打开我的 ChatGPT

复制后,在自己的 ChatGPT 中粘贴提问。Extra high 请在 ChatGPT 中选择。

查看将发送的上下文

收藏与账号

Continue with ChatGPT