他手机上开着Claude应用，左边一个小小的代码标签，里面同时挂着5到10个会话。

1、乐鱼官方 莫宗坚坚信雅可比猜想的正确性，并让张益唐以此作为博士论文课题。

为此，他为世界模型的落地划定了「四步走」路径—— 训练时是数据引擎，评估时是考官，规划时是沙盘，部署时是本能。乐鱼官方这句话当时被无数人转发、争论、贴在Slack里当战斗檄文。

2、海外爆单、组团出圈，新广货如何接住全球需求？

那条乌干达孤儿院的视频里，欢呼的女子、举棒棒糖的孩子、身后的横幅，全是AI凭空捏造。

3、遗憾止步半决赛！火箭90-101惜败灰熊 科沃德28分

面对新环境，传统的监督型微调（SFT）或上下文学习（ICL）方法，本质上是在强行修改机器人的「大脑」参数。

4、全国首笔输电权市场化交易落地

最近，Anthropic首次公开了CC大规模代码迁移「全流程」，六步框架让全网震撼。

5、告别世界杯仅5天，内马尔转战世界扑克大赛再遭淘汰

一个人凭什么能管几千智能体？ 一个人管几千个智能体，让它们同时在一个代码库里改代码，不失控、不打架、不成批制造垃圾。

菲尔兹奖得主Timothy Gowers悲观又震撼地感慨：「2030年的菲尔兹数学奖，可能是最后一次颁给人类。

和取数一样，动作走的也是点按那个人自己的账号。

6、【沪企行】第十期上海产业园区高级管理者培训班开班

AI Coding在这里，已经不是一个提效工具，而是长在企业身上的研发基础设施。

管着十几个人的团队，做着行业最眼馋的产品。

7、广东将防风应急响应提升至三级 韩江干流或发生超警以上洪水

而且从2018年开始，商汤就在做多芯片适配，到今天形成了一整套方法论。

灵犀专业版处理表格时，不是让大模型在黑盒里直接输出结果，而是调用WPS表格引擎里那些稳定、确定的API和计算逻辑，让你看到数据如何被处理、公式怎么算的、结论怎么来的。

8、科技七巨头单日抹去近9000亿美元！华尔街老将喊话：市场过度反应，地缘危机即买点

背景中，水墨山河化作金色的声波和飞鸟，与顶部的中文「长安未眠」完美契合。

Anthropic 的 Fable 5 是一个更极端的案例：6 月 9 日发布，三天后安全研究者 Pliny the Liberator 用多步骤越狱策略突破了安全分类器，相关截图显示模型产出了本该被拦截的漏洞利用代码。

（图源：Claude官方博客） 人逐轮控制，你写一句，AI跑一轮，检查完再写下一句，全程你握着方向盘。

9、沙溢胡可飞英国探望儿子！一家四口街头合影，安吉小鱼儿身高猛超爸妈

六台机器人，没有总指挥 再看阵容。

更为关键的是，语言模型在识别概念之间的层级关系、同义关系和关联关系方面展现出的语义敏感度，使得本体构建从「专家手工编制」演进为「人机协作生产」乃至「自动生成式构建」。

10、谢贤被曝因肺炎离世已出殡，狄波拉与儿孙现身火葬场，已办完后事

Hugging Face的异常检测流水线本身就用LLM对安全遥测做分诊，正是这些信号的关联把入侵揪了出来。

为什么这事与每个开发者有关？ 毕竟，Hugging Face是全球AI的应用商店。

1、最新

银河通用首次在顶级会议ICCV发布WAM模型，全球首次打破壁垒。

2、从爆雷到V型反弹：阳光电源平台化转型的现实约束与核心业务韧性

AI强在不做情绪性止损。

3、广东男篮出发北京！陈家政、黄明依随队，杜锋或调整12人大名单

她去过的那些地方 从今年3月开始，Chloe密集输出了超过多个时空漫游Vlog。所有统筹区已完成上年度医保基金清算但方向很清晰——未来每个打工人，都应该有一个真正懂自己的AI助理。

4、阔步新征程，看教育强国如何建设

所谓「提示词能力」，正在变成一种提问能力：知道该问什么，知道怎么把一个问题拆开，知道怎么让模型互相「拆台」：最后那个判断，还要你自己下。

5、央视点名马龙，男双夺冠释放三大强烈信号

比如，现场中一只机械臂在杂乱料框里高速翻找，每抓一个五角螺母不到2.4秒。

6、把镜子巧妙地贴在墙上，

只学习正确路线，机器人可能能够走一段；只有把错误状态和恢复过程明确纳入训练，机器人才能在偏航后真正找回方向。

再看整体。

争议也最大。

7、未来三天，冰城气温较高雷雨频发 #超多美图的天气预报

满分是另一回事——不是「最终找到了答案」，而是「每一步推理都没有错，每一行证明都没有漏洞，每一道题的落笔都精准无误」。

中间隔的不是智力，是稳定性。

8、乐透五号秀！杀回来了？西甲MVP！还会有机会吗？

只是能看到实时数据，那还只是个会自动刷新的看板。

而这些动作，大半都发生在7月这半个月里。

他押注的大概率不是一款叫GPT-6的新模型，而是一次更彻底的形态切换：让AI从「回答问题」，正式变成「替你干活」。

IMO满分是42分，金牌线通常在28-30分左右。