莫宗坚给了张益唐一个「引理」——一个被认为是正确的数学命题，作为研究的基础。

1、bob登陆入口 这次人才流动分析的交付，WPS调用自己的文档内核，生成的PPTX、DOCX、XLSX，打开就能编辑。

首先，是CoreWeave发布了一款服务于「AI研究与迭代」的智能体——ARIA。bob登陆入口在Claude Code里，你可以把一个跨越多天的项目整个丢给它，它自己分阶段规划、自己派子智能体、一直干到达标为止。

2、专门找一天放纵自己！从618囤好物开始

木纹纹理看起来还行，没什么特别之处。

3、死亡之组？亚运会男足抽签：中国与阿联酋伊朗朝鲜同组 9月开踢

参考资料： https://x.com/elonmusk/status/2076739687658496209%20*%20 https://x.com/SpaceXAI/status/2076692402442846289%20*%20 https://x.com/milichab/status/2076693464016994685 编辑：所罗门新智元报道 【新智元导读】最近，这个AI穿越Vlog刷爆全网！第一视角空降古罗马、泰坦尼克号，逼真到窒息。

4、名记称湖人收获利好，篮网抄底16+8悍将，可能放弃竞价里夫斯？

仿真里一个极小偏差，会在强化学习里被放大；机器人还可能学会钻漏洞，在虚拟世界当「规则大师」，一落地就被一块湿毛巾教做人。

5、米卢蒂诺维奇：我们享受足球，然后探讨和平

房子有了，还得有家具；硬件有了，还需要软件。

而在端侧，一个更深层的变化正在发生——AI不再只是「聊天」，它开始真正「干活」了。

中间层是「运动双核」，由N1和M0.5组成，分工管「脚怎么走」和「手怎么干」。

6、晒出317万年终奖，腾讯员工因泄密被辞退

张行程说，这不单纯是技术上的方法论，更是一种组织上的方法论——商汤自己的研发团队、芯片原厂、高校和科研机构，有的深度绑定、有的灵活协作，拧在一起才啃得动这块骨头。

参考资料： https://x.com/elonmusk/status/2076739687658496209%20*%20 https://x.com/SpaceXAI/status/2076692402442846289%20*%20 https://x.com/milichab/status/2076693464016994685 编辑：所罗门新智元报道 【新智元导读】最近，这个AI穿越Vlog刷爆全网！第一视角空降古罗马、泰坦尼克号，逼真到窒息。

7、30分钟1篮板！顶级防守强队，基石大中锋这么软？他让人又爱又恨

这是个科学怪人式的检查点——塞满了Qwen2.5-7B-Instruct的碎片，循环重用，用随机数据填充，外加一堆无法验证的基准测试成绩。

「书生·端砚」搭建的全流程科研资产结构化沉淀体系，可有效破解科研经验流失难题，重构科研长期迭代的底层逻辑。

8、从“世界杯”到“家门口”，12个地方足球联赛集体入驻小红书

1亿小时：一个「ChatGPT时刻」的门槛 「语言模型头部团队已经到了100万亿Tokens，对应约100亿小时的语料。

Chloe的视频，是第一次让大量普通人感受到：历史不是别人的事。

这支团队从成立的第一天起，就是冲着全栈闭环来的。

9、沿河农信社被罚45万，涉理事未经任职资格核准实际履职等

原因就在于，很多机器人根本不记得自己按了几次。

诚邀麻省理工学院、斯坦福大学、卡耐基梅隆大学、牛津大学、剑桥大学、帝国理工学院、新加坡国立大学、南洋理工大学、苏黎世联邦理工学院、洛桑联邦理工学院、慕尼黑工业大学、卡尔斯鲁厄理工学院、达姆施塔特工业大学、亚琛工业大学、香港大学、香港理工大学、香港科技大学、香港中文大学等顶尖高校与海外创业团队火速集结。

10、美股盘前要闻一览：英伟达据悉全面上调GPU套装价格；英特尔预计CPU景气周期将延续至2028年；苹果要求将iPhone18高端机OLED面板价格下调20%

这次Gemini 3.5 Pro的延期，让所有人清醒—— 我们正处于平台期。

四类目标的实例化（Instantiations） BadDLM框架与目标无关，对任意目标只需：(1) 构造相关的「提示—响应」对；(2) 标注与后门目标相关的token位置。

1、美记：拉塞尔与灰熊正寻求买断协议或交易离队

创始人兼首席科学家马也骋坦言，通用模型不够可靠，专用模型不够可扩展，他们选择先把可靠做到极致。

2、傅全有要求把排职军官工资从90涨到500，财政部长大惊:你胃口真大

第二种，目标循环（/goal）。

3、物是人非！詹姆斯正式告别湖人，2020年园区冠军班底全员离队

第四步，是病毒式营销。笑喷!梅西赛后本想跟英格兰握手,看贝林厄姆巴尔科打架转头就走了最讲究的是动作衔接。

4、全县都网购不到榴莲、车厘子，怎么回事

下一代工厂长什么样？ 过去几年，AI基础设施的竞争像一场军备竞赛：谁GPU多，谁峰值算力大，谁机房壮观。

5、浙江广厦破釜沉舟胜上海，胡金秋化身得分机器，塔克贡献全能数据

扔给它近600行代码，全程34分钟，直出一个能跑的HTML。

6、TA：西班牙夺冠实至名归；梅西在39岁依然令人惊艳

飞轮每转一圈，整体智能水平就抬高一层。

https://www.aisi.gov.uk/blog/how-far-behind-the-frontier-are-leading-open-weight-models-on-cyber 去年同类内部测试中，这个差距是 6 到 10 个月。

张行程说，这不单纯是技术上的方法论，更是一种组织上的方法论——商汤自己的研发团队、芯片原厂、高校和科研机构，有的深度绑定、有的灵活协作，拧在一起才啃得动这块骨头。

7、马蓉做梦都没想到，自己辛苦培养的一对儿女，竟意外成全了冯清

编辑：LRST新智元报道 曾要4年的项目，竟被Claude Code硬生生压到两周！ 成本从300万美元，砍到十几万。

当五角大楼的压力再次袭来时，Jeff Dean没有像特纳期望的那样「以死相逼」，没有用自己的辞职作为筹码来要挟公司。

8、隔夜西瓜一口8400个细菌？真相是……

怎么办？ 就在今天，商汤在总部举办以「算创·无限」为主题的Agentic时代AI基础设施创新发展论坛。

听起来很美，但这事能落地吗？ 这事可远不是「把卡插上去就能跑」那么简单。

采用NEO-unify架构后，商汤在今年4月率先发布了SenseNova U1一个轻量级的开源模型，并且在5-7月升级多个基于U1的infographic-V1、V2和V3版本。

编码过程中弹出一张建议卡片——「扫一扫，检测代码安全隐患」。