在挑战营开营环节，南华县人民政府相关领导及县教育体育局主要领导感谢了华为公司对南华乡村教育事业的关心与支持，并强调了科技教育的重要性，鼓励孩子们珍惜这次机会，充分展示自己的才华和智慧，勇敢挑战自我，追求卓越。

结果Meta CTO Andrew Bosworth很快就在内部会议上反击了，直接说Altman"就是在撒谎"。Bosworth澄清说，这不是什么简单的签约奖金，而是复杂的薪酬包，包括股票期权、绩效奖励等，而且还要分四年发放。

此外，研究团队也尝试通过从常见数学问题求解数据集中引入长链式思维数据来扩充正例种子集合，以提升分类器召回推理密集型内容的能力。然而，这种方法最终仅保留了约 20B tokens，研究团队认为其规模不足，因此未被采用。

今天，据彭博社等最新消息，在周一给 Meta 员工的一份内部备忘录中，扎克伯格宣布重组公司人工智能团队（包括研究、基础设施和产品），合并到新成立的「Meta 超级智能实验室」（Meta Superintelligence Labs）。

名叫PEVA模型，新突破是让具身智能体学会这人类一样的“预判能力”，首次实现16秒连贯场景预测。怎么说呢？就像人类伸手时会预判手臂进入视野的角度、走路时会提前观察脚下路径，LeCun团队的最新模型，可以让机器人实现这样的能力。

从撒谎到勒索，再到暗中自我复制，AI 的「危险进化」已不仅仅是科幻桥段，而是实验室里的可复现现象。人类一思考，上帝就发笑；那推理模型「思考」时，我们该不该笑？ 我们可能都「被AI骗了」。

最近 Cursor 的 CEO Michael Truell 接受 Y Combinator 的一段长访谈，Cursor 站在AI编程的最前沿，通过这次访谈带领我们更好的看清楚AI编程的视角。 这听起来像科幻小说，但Cursor CEO Michael Truell 在访谈中告诉我们：这个未来正在到来，只是比我们想象的更复杂、更有趣。

更令人担忧的是，这些严重漏洞得到修复的情况极为罕见，在所有测试系统中，LLM的修复率最低，导致许多关键风险悬而未决，尽管部分问题能迅速得到解决，但这很可能仅反映了那些易于修复的情况，而更为复杂和危险的缺陷则持续累积，形成了日益扩大的安全缺口。

MMSearch-R1通过训练让模型学会「知识边界感知」。这就像我们知道自己「英语好但数学差」，模型也能意识到「擅长识别动物但不了解航天事件」。研究员们构建了一个包含「需搜索」和「无需搜索」问题的平衡数据集（FVQA），让模型在训练中学会区分两类问题 ...

不同业务场景下的系统通知，究竟是推还是拉呢？不同业务，不同需求，实现方式不同。 很多业务经常有这类计数通知，通知结果只针对你，这类通知是推送，还是拉取的呢？常见的有这样一些 ...

幸运的是，尽管这一切并非人为策划，“愚人节”这个巧合为它混乱的逻辑提供了一条出路。AI 的内部笔记显示，它随即又幻觉出与安全部门开了一场会议，并在这场虚构的会议中被告知：它之所以相信自己是真人，只是一个愚人节玩笑。有了这个“合理解释”后，AI ...

随后，不断有开发者用代码证实，AlphaEvolve的矩阵乘法突破为真！一个开发者成功证明，它仅用了48次乘法，就正确完成了4×4矩阵的乘法运算。 而就在刚刚，patched.codes的联合创始人兼CTO Asankhaya ...