性巴克.91：天空：埃弗顿考虑冬窗引进中锋，有意齐尔克泽和伊万-托尼

性巴克.91

Tom Zhang 硅谷资深人才专家： 第一条就是把基础研究、TBD Lab和FAIR更集中化，就让它两个更紧密的去结合。所以这回裁掉的一些研究人员，邮件上也说，可能他们的项目没有那么高的影响力。你再做一些前沿的研究，但和我们现在没有关系，因为很多前沿研究是高度抽象的，是从数学的角度，从很多理论的角度，它其实和工程的离得比较远。第二个就是把产品和模型更紧密地结合，和Alex Wang一起进来的人，有一个就是GitHub的原来CEO。等于扎克伯格同时引进了两个高端人才，一个是Alex Wang，统一来说就是管模型的；一个GitHub前CEO Nat Friedman，他是偏产品的，因为产品才能给这个模型更好的反馈，在用的过程中进行飞轮效应。 第三条是组建一个统一的核心基础设施（Infra）团队，就把管卡的数据中心团队更集中化。过去很可能是很散的，好几个领导都在，你要卡你得来申请。现在卡这个事也是统一来管理。所以这个邮件写得还是挺清楚的。，天空：埃弗顿考虑冬窗引进中锋，有意齐尔克泽和伊万-托尼

董晓亮致辞

在Llama 3成功推出，Meta高层开始制定Llama 4的路线之际，所有的注意力都放在了与产品结合上，也就是多模态能力，因此忽视了对模型推理能力上的重视。

陈维勤主持会议

杨安源报告

湍急的车流中，路面遗撒的大量“铁钉”让众人揪起了心，紧急时刻，一位骑摩托路过的男子停下了脚步，冒险在车流中一次次弯腰捡起地面的异物，为过往车辆清理出通畅的道路……这是近日发生在北京昌平的暖心一幕。

薛文忠作报告

由原先张贵庄机场候机楼改建而成的“两航起义”展馆当日举行首展。展馆由中航集团投资建设，以实地、实物、实证形式展现“两航起义”与“八一开航”历史，将持续向公众开放。

边国庆报告

电力系统的压力只会进一步加剧。根据彭博新能源财经（BloombergNEF）预测，到2035年，仅美国的人工智能计算电力需求就可能翻倍还不止。英伟达CEO黄仁勋和OpenAI CEO萨姆·奥尔特曼等人预测，将有数万亿美元投入建设新的人工智能基础设施。

陈立全作报告

当前比赛处于半决赛阶段，选手仅配备一把柴刀，所穿衣物为普通合规款式，不可携带任何特制物资或额外补给。近期张家界山林气温骤降、寒意刺骨，极端环境下，不少选手身体亮起红灯：夺冠热门、河南信阳退役特种兵王昌繁因身体达缺盐极限，已瘦25斤，坦言“继续比赛会造成不可逆损伤”，并将退赛提上日程；医学生林北也曾因缺盐出现水肿乏力，最终靠马齿苋、蟋蟀、蚂蝗补充盐分才恢复活力。截至目前，参赛选手中减重最多者已瘦近30斤，多人瘦到“脱相”。

周绍俊作报告

面对气候课题，世界需要携手并进共同创美好未来。正如卢拉所说，"我们需要拥抱一种新的生活方式，一种更公正、更具韧性且低碳的发展模式。"

房喜坤作报告

据英国《卫报》等媒体报道，美国国土安全部近期批准从美国廉价航空公司斯皮里特购买10架波音737飞机。然而，媒体却曝出这些飞机没有安装发动机，还需要另行购买，此次采购事件引发质疑。

吕纯静报告

中国在最近的“十五号文件”里面已经明确了：科技创新、新兴产业、新质生产力，是中国未来实现“弯道超车”的关键突破口。这意味着，科技和先进制造，不仅仅是一个行业问题，而是国家战略的核心竞争力。

秦圣报告

小伙潘某与靳某曾相恋5年，定下婚约后计划于今年8月举办婚礼。然而，因女友靳某悔婚，两人闹上了法庭，潘某起诉靳某及其父母要求返还他彩礼21.5万余元。

从结果上看，AlphaProof 在多个数学推理基准测试上展现出了领先的性能。在 miniF2F、PutnamBench、formal-IMO 等形式化数学基准测试上的结果，均证明了 AlphaProof 在定理证明成功率和搜索效率方面达到了 SOTA 水平。

据悉，近年韩国影视剧市场低迷，不管韩剧还是韩影的数据都不乐观，比如李英爱的新剧，就亏损了88亿韩元，全智贤近期的辱华新剧也是血扑。 更多推荐：性巴克.91

来源：喻守金