Sonnet 4.6，是那个哄人的。

1、人人体育 其中C+轮由阿里巴巴领投，Lollapalooza Capital（王慧文家办）、常春藤资本、惠远资本、钟鼎资本、韩国未来资产、OCBC生态下Lion X基金、蓝色光标等十余家国内外机构参与投资。

我们把仓库倒回bug还在的那个commit，只丢给它一份、issue，然后放手，全程不给任何提示。人人体育机器人不需要人类告诉它关节的具体坐标，它只需要通过预测视频的下一帧（自监督视频端到端预测），自己去「悟」出任务的动态本质。

2、亚运会足球抽签出炉！中国男女队均列第一档

用户qrdl在论坛发帖，说CritPT自5.4以来几乎没动，除非他们找到了给基准刷分的办法，否则结果也就这样。

3、重返7000点！韩股收涨4.40%！存储双雄联袂走强

也有网友说，挪威对1到7年级近乎禁用生成式AI，才是明智之举。

4、迪马利亚：世界杯在我们赢英格兰后就结束了；梅西还能踢很多年

哈萨比斯豪言： 药物研发将不再需要十年漫长试错，新型清洁能源或将在几年内突破，先进材料将让「资源稀缺」成为历史名词。

5、41岁翻红，嫁十年挚友：曾沛慈的人生她说了算

AI一来，改变了这个前提。

产品尺寸为 185×112×62 mm，重量为 500 g，具备 12 个总自由度，采用微型直流电机与连杆传动，指尖重复定位精度为 ±0.2 mm，四指最大抓握力不低于 45 N。

属于国产算力与中国Agent生态的黄金时代，正在到来！新智元报道 一觉醒来，谷歌突然就掏出了一张王炸！ 据The Information独家爆料，谷歌正在研发一款代号「Frozen v2」的神秘服务器芯片——把Gemini模型的部分底层架构，永久蚀刻进硅片。

6、“医”路“瞳”行担使命｜福建中医药大学“‘视’界智护星”实践队赴漳浦开展社会实践

ScienceOne给出的答案，是以S1-Omni为统一基座，向下接管2.7亿论文/专利，全球40多个国家3200多万科研项目，700多万产业研报、90PB大科学装置数据和近300个专业数据库，向上编排任务、调度智能体，把原本散落各处的模型、数据与工具，收拢进同一个平台。

再往前一步，就是这次战略里更大的那句话——以自研此芯P1为核心，打造覆盖端、边、云全场景的全域算力底座，真正实现「一芯驱动全场景AGI」。

7、利弗莫尔中概股龙头指数盘初下跌0.83%

最抓眼球的是入口处的「零售区」。

有大佬对此表示，这绝对是GPT-6。

8、从偶遇到相约：曾被普京抱过的湖南小男孩，26年后与普京再次会面，父母回忆当年细节

他几乎从不直接问模型「这两条路哪条对」，那样只会拿回一份两边都夸两句的和稀泥答案。

围绕「跑得稳、用得起、可持续」三大命题，此芯科技确立了三大战略支柱。

而PixVerse，正在铺就这条通往未来世界的铁轨。

9、罕见的大捷，羽毛球马来西亚大师赛第一轮，国羽16战只1人出局

发布会后半段，来酷科技、后摩智能、天数智芯、银联商务等生态伙伴先后登台，分别从智能家居、端侧加速、算力普惠、支付安全等角度，展示了各自与此芯科技的协同落地方案。

今年5月，OpenAI公布了一个结果：他们的一个通用推理模型，自主推翻了一个源自Erdős、悬了将近80年的猜想，菲尔兹奖得主高尔斯（Tim Gowers）在配套论文里称之为AI数学的一座里程碑。

10、利物浦接触摩纳哥询价阿克利乌什 巴黎3400万镑报价已遭拒

发布会上，孙文剑正式发布AGX Agentic Compute战略。

老师拿到手，不用再花20分钟核对「这玩意到底合不合我们的课标」。

1、那不勒斯体育总监：丁丁与球队还有1+1合同，我不喜欢他在五月说的话

「不再写提示词了」——最近，这句话正在AI圈疯传。

2、茂名化州市政协原主席黄轩被查

对国行 iPhone 用户来说，判断这张 AI 入场券的含金量只需要关注：下一次 iOS 更新的日志里，Apple 智能是否出现、保留多少功能。

3、身价才1000万，阿森纳却要掏2100万欧，17岁莫拉凭什么？世界杯刚落幕，转会市场就比决赛还热闹

本体工程作为将哲学范畴实例化为可计算、可维护、可追溯的技术实体的实践领域，构成了从理论到应用的必经桥梁。枪火暂歇，与偶像巴西一起踢世界杯，今天的海地很幸福提交代码前系统做深度扫描，从你在页面上输入的HTTP查询条件参数开始一路往下追，穿过好几层业务逻辑，跨了三个文件，最后在一个公共缓存工具里发现了一个致命漏洞—— 反序列化的时候没做任何限制，攻击者可以伪造一个恶意数据包，顺着链路直接在你的服务器上执行任意命令。

4、苗润东｜一个足球少年的拏云志

Scott事后说，这是他所知的第一起「AI在真实世界里主动攻击一个人声誉」的失配案例。

5、资格赛选手又如何？蛰伏700天，排名697位的白卓璇从深渊归来

经济学者Jeremy Nguyen评论「Codex和Claude Code同一天重置额度」时说，也许多年以后，我们会跟年轻人讲起早期这场「智能体token大战」，讲token当年被补贴得有多疯。

6、人保财险亳州分公司被罚11万，未依法履行赔偿义务

Kairos 3.1：三种智能，原生统一 Kairos 3.1，走的是第四条路。

选品环节，传统的出海市场调研需要 6 到 7 人的团队花 1 到 3 个月——上网查资料、写初版报告、做问卷（5000 份样本算多的）、分层分析、输出品牌方案和销售策略。

会生成≠能交付 时至今日，AI生图的战场终于从「谁画得更好看」，走向了最硬核的「拼交付」。

7、袁悦遭逆转网友点出七连败背后扎心原因，辛纳催生热词：决不失冠

闭环迭代不断强化低频复杂场景，显著提升模型在动态环境中的追踪与泛化能力。

有回他只让模型跑个数据查询，模型自己回了一句：我发现这份数据一直在变，那我起个Loop，每30分钟给你出份报告。

8、今日大暑，愿你把日子过得丰盈热烈！

该框架不依赖于特定后门目标，而是通过统一建模，广泛支持多样化的后门目标；进一步将其实例化到概念注入、语义属性操纵、对齐绕过、代码载荷注入四类具体目标，验证了框架的通用性。

现场观众举手表决，几乎全票支持。

对此，林达华激动地表示，这是他第一次瞄到「视觉涌现」的影子。

第三种，时间循环（/loop和/schedule）。