加州理工团队解决了形式化研究神器Lean运行LLM推理时的核心技术挑战，可以让LLM在Lean中提出证明策略，允许人类以无缝的方式干预和修改。

业绩之外，投资者们更关注特斯拉的战略定位：大型电动汽车制造商or小型自动驾驶技术供应商？

于东来建议企业家拿出50%利润分给员工，并且不要等到年底分，直接涨在员工工资里，让员工更有干劲。

雪上加霜

军工信息化、教育、Sora概念、地下管网等板块涨幅居前，黄金、有色金属、煤炭、钢铁等板块跌幅居前。小微盘股走强，中证2000指数涨0.6%，万得微盘股指数涨3.14%。ST板块指数涨0.1%。红利ETF跌0.56%。30年期国债期货涨0.31%。

逃离原因有三：长短端收益率攀升，美元指数创年内新高；中东危机引发避险；隐含波动率上升，套息性价比下降。

FTC声称，此交易若成功，将消除Coach与Michael Kors等时尚品牌之间的直接竞争，特别是在Michael Kors所处的轻奢手袋领域。

受隔夜美股反弹提振，亚太股市纷纷高开。现货黄金一度失守2300美元大关，日内急跌超1% 。

这种被称为“结构性保护”的ETF产品，声称能让投资者在股市获得可观回报的同时，完全规避下行风险，投资者的“梦中情基”出现了?

思瑞浦定增的1204.44万股股票，即将于今年4月26日解禁并上市流通。在这次定向增发中，葛卫东持有的股份数量为192.6万股，占公司总股本的1.45%。按照4月22日收盘价计算，葛卫东累计浮亏金额大约为1.15亿元。浮亏比例约接近40%。

理清1997年亚洲金融危机的逻辑，你就不会说危机正在重演。

华尔街预计，特斯拉将迎来七年来最差财报，一季度毛利率将创下2017年初以来的最低水平。电话会上Model 2可能会得到最多的关注，但不要指望得到一个令人满意的答案。

Jim Fan认为，大型语言模型只是人工智能领域的一小部分，人工智能是由多种不同技术组成的"大拼图"。机器人等能够在现实环境中运作的人工智能系统，未来将是创造经济价值的强大动力。

中东紧张局势缓解，避险需求减弱，此外在近期历史性暴涨后，投资者获利了结也对金价构成压力。

受托资产大洗牌

SAP表示，其当前的云计算积压订单（将在未来12个月内计入云计算收入的指标）按固定汇率计算增长了28%至142亿欧元，创下历史最快增长纪录。

美股接下来或出现结构性行情。

但还是要追高

扎克伯格刚刚宣布，Meta将开放支持Quest的操作系统Meta Horizon OS，允许其他公司基于其生态系统设计更多头戴显示器。

中金认为上周美股下跌有其“必然性”，不仅能消化其过强的预期，有助于降息交易再度开启，进而为后续的再度上涨打下基础。如果布局下一轮降息交易的话，短债更好，长债次之，美股需等回调充分。