就这样，广义上的雅可比猜想，被彻底证伪。

1、乐鱼全站 这不是数学能力问题，是agent能力问题。

WAIC与GDPS两个舞台彼此衔接：WAIC呈现「已验证」的成果，看见未来；GDPS发掘「有潜力」的火种，做出未来。乐鱼全站这正是富内斯所不具备的能力。

2、周琦：面对上海最大的难点是限制古德温，他把球队串联得很好

Hassabis在Google I/O大会上 这边，Hassabis说还有几年，另一位硅谷大佬两个月前已经宣布：那条线我们早就悄悄跨过去了。

3、绿茵场上绽芳华 渭中健儿创佳绩 咸阳渭城中学在2026年咸阳市校园足球联赛中斩获一冠一亚

这是Claude Code之父Boris Cherny，前段时间在一场面向开发者的公开对谈上亲口说的。

4、又出事了？日本排华情绪大爆发，高喊滚出日本！百万华人咋办？

人会耸耸肩走开 AI会接着试下一个 如果只有这一件事，它顶多算个漂亮的孤例。

5、单场123分创队史纪录 狂热48分钟轰出WNBA赛季最强火力

数学家Lichtman惊呼，希望能看到顶尖代数学家对GPT提出的新猜想作何反应。

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

游戏，是世界模型的硬核试炼场 爱诗科技联合创始人谢旭璋在联合国AI for Good峰会上，展示他们的部分技术探索——PixVerse Game，全球首个实时视频游戏引擎。

6、“霸得蛮，攒劲瓦” V26无畏巡回长沙站7月9日即将开启

三款Gemini指向的是同一件事：让跑在生产环境里的AI Agent，更快、更聪明、更便宜。

利用这个工具，同样有大量让人印象极度深刻的案例。

7、岳云鹏豪掷千万，为五个姐姐买房，为何不出手帮农村无业的弟弟

OpenAI取消5小时限制、一轮轮重置额度，Anthropic上调Claude Code周额度50%——这不只是补贴用户抢数据。

现在扫码 · GDPS专家征集 三元评审体系，为GDPS赛事评审标准与技术方向把舵定调 【GDPS专家·扫码报名】 长按识别小程序码 · 执裁行业顶级赛事 ·专家征集窗口限时开放 专家征集咨询 徐老师：13301886886 赞助商征集 赞助商征集现已正式启动，跨界赞助与专业赞助双轨并行。

8、国内能像伦敦马拉松那样，办两日赛吗

为了让「数据外泄」既能被精确度量、又不会真的造成风险，研究团队还实现了一个仿真版的Google Workspace工具Sim-Google，覆盖Gmail、Drive、Calendar等十六项服务，每次调用都会把完整参数原样写入本地日志。

每个任务达成目标就退出，整条例行任务则一直跑到你亲手关掉。

这四层拆开来看都不算新概念，但拼在一起，解决的恰恰是打工人最真实的痛：改第三版的时候别把前两版改崩了，生成的Excel打开公式还在、不用我自己重新填，交给老板的PPT不需要再花一小时手动调格式。

9、记者：之前格劳曾一度走近泰超，但是最终没能成行

当具身大模型开始具备开放世界泛化能力，这20%的人工工序，第一次有了被逐步接管的可能。

但用户实际拿到的配置，确实动过：这一点他承认了。

10、C罗前厨师大揭秘：长寿饮食秘诀竟如此简单！

两年来此芯已经引入了大量国内外元器件与模组供应商，而他希望更多国内厂商加入进来。

就在一个月前，他用GPT-5.5在无休止的智能体循环（Agentic loops）中让机器狂奔了数天、大约20个小时，最终铩羽而归。

1、熬过人生寒冬，她在小暑尝到了甜

以前，是「生成一段好看的内容」，现在，则变成「生成一个可交互世界」。

2、上海“卢湾一姐”纪亚群：路野双修，PB256，穿着跑鞋办婚礼

页面自己从头到尾看不到任何人的凭证，所有调用由claude.ai代为发起。

3、锡马汉马四项10万元冠军大奖，哪些中国籍精英选手才够得着？

关键在于：可解释性不要求模型内在机制透明到每一个权重的程度，而要求我们能够确认模型在信息处理层面所形成的结构是否映射到了人类用以理解世界的范畴框架之上。后卡塞米罗时代：巴西队中场新核浮现，安德烈桑托斯成首选接班人各方爆料一起涌出：谷歌的终极杀器——Gemini 3.5 Pro，代号「Cappuccino」，将在48小时内正式上线！ 200万的超大上下文窗口，全新的「深度思考」推理模式，据说内部评测已经吊打了GPT-5.6 Sol和Claude Fable 5。

4、独家

上个月底，DeepSeek向所有API用户发了一封邮件，称即将在7月中旬，上线V4正式版。

5、北京首钢大调整！新帅呼之欲出，外援一个不留，陈盈骏合同到期

所以，在AI for Science这条赛道上，真正的壁垒是「模型懂不懂科学」。

6、Shams：勇士不愿为戴维斯付出高额交易代价，谈判毫无进展

莫宗坚评价张益唐「不适合代数几何」，认为他的博士生涯「浪费了自己七年光阴，也浪费了我的时间」。

硬邦邦的罐头和一捏就变形的软包装，它都能拿捏住分寸。

由于Transformer的注意力开销随token数量的平方走，token翻一倍，算力就是四倍。

7、NAB大量新品亮相！松下唯卓仕新镜头登场｜势力新鲜报

「但要踏踏实实去做，这3到5年才有希望。

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

8、后张雪峰时代，大厂抢滩AI报志愿

一杯咖啡的时间，一张能直接拿去印的高清图。

此外，得益于过去的基础模型训练经验与技术积累，面壁还有独特的优势： 追求通用智能，而非专用skill； 多模态技术积累深厚，技术底气足。

如下也是V4生成的一些demo，一个Xbox手柄SVG测试，还有游戏生成。

而把马斯克逼到这一步的，是一个较真的安全研究员，以及一场差点毁掉整个agentic coding赛道的信任危机。