Infra是基础设施。

1、博亚平台 中国人爱吃馒头包子（国产显卡），你当然可以把烤箱改去蒸馒头，但效率极低且费电。

企业知识管理砸了几十年的钱建知识库、写 SOP、搞最佳实践库，核心痛点始终是一个：专家不愿意写文档，写了也没人维护。博亚平台以康德范畴作为可解释性的哲学钥匙，并非主张模型必须「拥有」这些范畴——康德的范畴是主体的先天认知条件，而模型则是功能上的实现问题，它可能通过不同的神经计算路径在功能上等价地区分实体性、因果性或模态差异。

2、创新驱动发展 临泽知识产权助力产业发展提质升级

Flash Cyber：能修漏洞，但不是谁都能用 Gemini 3.5 Flash Cyber，一款专攻网络安全的硬核模型。

3、穆杰塔巴没想到，伊朗宣布封海第二天，中国突然表态，措辞不寻常

平均来看，顶尖专家们认为物理AI的「ChatGPT时刻」大约在3-4年后到来。

4、最新通知！事关邵阳市住房公积金

墙的背后，是四类已经被验证的高价值场景：AI Coding、AI for Science、多模态视频创作、通用办公Agent。

5、8球4助的梅西输给0球0助的罗德里：世界杯金球奖到底凭什么？

给智能体，戴上一副「计算机系统」的眼镜 SafeClawArena最关键的一步，是没有另起炉灶发明一套新分类，而是借用了计算机安全几十年的成果。

这也是这次发布被卡着审查的原因之一。

第四步：终极绝杀——线性代数的降维打击（Lemma 2.2） 如何证明一定能找到这样的「两块车牌」？AI展示了它作为机器最强悍的一面——将拓扑图论问题，硬生生转化为了一个巨大的线性代数方程组。

6、韩国股市，跌到熔断

AxiomProver也独立斩获了满分。

AGI无法与一般的技术突破相提并论，哪怕是互联网、移动互联网这种影响深远的技术也不行——它更像人类发现电、学会用火的那种时刻。

7、卡里克抢占先机！曼联领跑 8000 万英超天才，切尔西计划彻底落空

记忆的终点不是存住，而是传承。

Light Interaction保留文本条件和当前chunk的稠密计算，只稀疏历史视觉KV，并通过算子融合减少数据搬运。

8、美军连续第12晚袭击伊朗，伊朗强硬回应：以牙还牙，若伊朗桥梁和发电站遭攻击，将不允许本地区出口一滴石油，美国盟友的电力供应必将断绝

Anthropic教育负责人Drew Bent举了个例子：让它讲「怎么构造线性函数」，它会先把对应的课标拽出来，标好学生在这一块最容易犯的那些错，再围着这些错去搭这节课。

在此基础上，再上强化学习，用一个几十维度一起打分的奖励模型：构图、文字准确度、设计美感、整体一致性各算一笔，每出一张图就反馈「哪好、哪不好」。

如果签下，就意味着他们的模型将被用于制造致命自主武器（杀手机器人），或是建立大规模AI监控网络。

9、一条路走到黑？高市无视国内怒火，执意邀请500名印度人赴日

当一个模型回答「巴黎是法国的首都」，我们需要解释的不仅是模型内部哪个区域被激活了，更是这个陈述在何种知识体系中成立，它以什么为依据，这些依据的可靠性和正当性如何，这个回答与人类已有的地理知识之间是什么关系——这些问题无一能通过扫描神经活动来回答。

带宽这一关，它靠一次技术迁移解决。

10、7.0升LS引擎植入 1969年雪佛兰科迈罗改装重生上市

在此次复杂的量子态演化任务中，GPT-5.5扮演了「前端UI设计师」的角色，Claude表现得像一位「理论科普员」，而磐石则展现出了一位「资深量子物理学家」的专业素养。

全文由GPT-5.6 Sol Ultra生成，最后在Codex的辅助下完成了排版。

1、印度国羽中国公开赛全军覆没：拉克什亚惨遭逆转，阿尤什决胜局20比22惜败

它也确实更强了。

2、五星跑卫乔治斯周三直播做决定 田纳西内线三选一

在被公认为「最难啃」的仓库级软件工程榜单SWE-Bench Pro上，它拿到65.2分，只落后于Opus 4.8（69.2 分），显著超越一系列国产模型。

3、官宣：安德雷·桑托斯加盟曼联

交接时客户说： 你既然要走了，能不能把这个配好，我们自己跑？ 五年的合作关系被一个 Skill 文件夹替代了。CCTV5+直播蓉城VS国安！蒙帅没赢徐正源，把气儿撒给约翰！领头羊难道四连平？未来AI for Science更需要面向行动能力的Action Scaling，让模型在可执行任务、工具调用、环境反馈和物理验证中学习如何完成真实科研任务。

4、今日重要赛事！7月11日，CCTV5、CCTV5+直播节目表

慢思考负责长程路线规划，快思考负责实时控制。

5、巴尼亚亚自评赛季仅5.5分 直言后轮抓地力不足拖累杜卡迪

多位选手表示希望大赛能打造行业长效研发测试阵地，支持选手和更多AI+聚变爱好者持续迭代算法模型、动态更新技术榜单。

6、伊劳拉首谈利物浦蓝图：重拾身份认同，团队至上与信任青训是关键

这类项目常常不是「想不到」，而是「做不起」。

先来看看这道「麻婆豆腐」菜谱图。

海风、岩洞、光影、人物的微表情，几个机位来回切，镜头语言竟然像模像样。

7、切尔西曼联争夺24岁带刀侍卫 1700万镑解约金再现英超性价比之战

参考资料： https://x.com/cyrilXBT/status/2078308274399834157 https://x.com/i/article/2077510484664971264 https://www.youtube.com/watch?v=PHQvb10vKyk 编辑：元宇新智元报道 上海，WAIC 2026。

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

8、开盘超4600股下跌，油气、能源设备板块逆势走强_网易订阅

佟博士提出的问题是： 企业的认知究竟由什么构成？ 如果不能回答这个问题，就无法真正讨论认知主权。

顺带一提，这一整轮它跑在Claude Code里。

一套是公开的Mensa Norway风格测试，网上人人能做，模型早就刷到140多分了。

大语言模型能吃到的文本信息量已经快要见底了，视频语料也即将枯竭。