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

1、迈博体育 这么做的好处是，模型学得又快又省，十分之一的数据就能追平顶尖SOTA；而且结构简单、天然好scale，训练和推理的成本也远低于谷歌和OpenAI。

」 他给创业公司的建议是：不要做容易被大模型「吞噬」的增量式创新。迈博体育往后，通用视觉感知、空间智能、具身大脑、城市规划、建筑设计，都在射程里。

2、狂射20脚0球！1.5亿欧巨星3次挥霍良机：法国队半个战犯 神魔一体

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

3、达摩院Lingshu-Cell：离散扩散架构驱动的细胞世界模型

放大来看，骑马的官员、乐师弹琵琶、卖香料的胡商、追灯笼的孩童，每一个角色的神态、动作和服饰制式都精准独立。

4、贾国龙这次是真的怒了：关102家店也要刚，罗永浩有事冲着我来！

然而，这些都是附加条件，最完整的「完全肯定证明」，却始终无人能够完成，直到GPT-5.6 Sol Ultra的出现。

5、惊呆

采用混合Transformer架构与共享混合注意力机制，把视觉观测、语言指令、力触状态、策略轨迹这些五花八门的具身数据，全压进一个统一隐空间，变成高密度表征向量。

下半场才开始， 具身智能是AGI终局的必需品 面壁智能为何布局具身智能？ 这不是偶然。

出海方面有两个样板：香港是跳板——杨帆直接说，「香港是中国未来Token出海的行业实验场」，计划于2030年前形成40,000P+算力规模，打造全港最大国产智算中心。

6、谢贤遗产由林青霞保管？影迷会火速辟谣：二人根本不算好友

那个抱着孩子的爱尔兰女人，她真实存在过。

中文的Claude是个混合体：一边挑你的毛病，一边安慰你别难过。

7、CBA又曝出一大丑闻！大白边兴奋剂违规恐被重罚：上海总冠军或被取消？

在WAIC上，面壁智能还展示了与乐聚机器人、吉利汽车等伙伴的产业落地案例——展厅导览、园区巡检、仓储物流……端侧能力在这些场景里不是「加分项」，而是「入场券」。

区别于行业内多数产品依托大模型适配科研场景、实现浅层提效的优化模式，「书生·端砚」以干湿实验闭环迭代、科研资产沉淀为核心能力，补齐 AI 科研缺失的真实场景反馈链路，推动 AI 科研应用从单点效率优化，迈向科研范式升级的全新阶段。

8、清华参观变“受辱现场”，宝妈带娃逛名校，却被食堂细节搞破防了

第一步：只保留真正有用的历史 交互式视频世界模型的上下文主要包括两类：近期时间上下文，用来维持短期运动连续；检索得到的空间记忆，用来在相机回访旧区域时保持几何和外观一致。

比如，要预测性质就走性质预测，要重建结构就走结构重建，还能做三维结构生成、科学图像生成与编辑。

7月9日GPT-5.6发布，官方原话是，首次引入max推理强度，「让Sol获得最充足的时间进行深度推理」。

9、扎心？外媒预测世界杯扩军至64队阵容！大洋洲2鱼腩队进了，仍无国足

也就是说，机器人被要求做到的稳定度，已经在逼近甚至超出人类手部的生理极限。

具体来说，KAT-Coder-Pro V2.5在三个关键维度实现全面突破： 长程工程能力、通用Agentic能力，以及支撑这一切的大规模Agentic强化学习体系。

10、单赛季拿3000分有多难？科比0次，詹姆斯0次，唯独他3次

简单来说，这个猜想是这样的：「每一个无桥的有限无向图，都存在一个由环组成的集合，使得图中的每一条边，都恰好被包含在两个环中。

虽然预算调低，不等于「模型变弱了」，它仍可能悄悄改变很多东西： 长程任务能够探索多少条路线，多种方案之间会比较几轮，代码生成后会不会主动运行测试，失败之后愿意回滚多少次，以及极难任务中那一小部分决定成败的「长尾能力」等。

1、奇遇中轴

这意味着CoreWeave正式从单纯的「算力提供商」升级为「算力+AI自动化研发」的综合平台。

2、2210万玩家、700家工作室，西班牙不再只有足球和火腿

但是，未来电动汽车全面取代燃油车，是不可逆的必然趋势。

3、官宣！湖人接连签人！16人超额！布朗尼危险了？

Anthropic前不久还上线了Routines，把同一套机制搬到服务器端，合上电脑，它照跑不误。浙江杭州一男子在台球厅拍女助教屁股，女子报警称其猥亵，男子：我消费上万元，感觉跟她很熟，警方：该男子被依法行政拘留这是一个清晰的产业升级路径：从最高端的航空航天、半导体，到高增长的机器人和高性能汽车，最后覆盖到最广阔的民用消费市场。

4、江西沱沱载具申请塑料托盘抗压能力检测装置专利，测试塑料托盘的垂直抗压能力

第二个更隐蔽。

5、CBA休赛季大变天？杜锋下课广东帅位空缺：下赛季谁能执教11冠王

只有当模型同时具备知识理解能力和行动能力，科学智能体才可能从「会回答问题」的百科全书，走向「能完成任务」的实验助手。

6、深交所本周共对128起证券异常交易行为采取了自律监管措施

需求暴涨，供给不动。

WAIC与GDPS两个舞台彼此衔接：WAIC呈现「已验证」的成果，看见未来；GDPS发掘「有潜力」的火种，做出未来。

他也点出了背后的原因：他推测，关键那一步里有一个很小的、反直觉的拐弯。

7、时隔16年再登巅峰！西班牙1-0斩获队史第2冠 39岁梅西沮丧卫冕失败

零向量注入的事，一个字没提。

AGX Station能不能真正在企业场景里跑起来、Agentic OS能不能经受住真实业务的考验、开放生态能不能从签约走向深度协同——这些问题，都需要时间来验证。

8、22岁谷爱凌摘银！“吸金女王”年入1.6亿，比赢更重要的是做自己

该项目推动企业从场景 POC 进入真实任务运行阶段，重点验证产品在连续作业中的稳定性、系统协同、异常响应和任务闭环能力。

他还撂下一句狠话：十年之后，循环以及类似的功能将是他最为自豪的工作成果之一。

面壁智能学术合伙人、多模态智能首席科学家姚远 通过极致的视觉压缩技术，面壁将VLA模型从「算力饥饿」中解放出来，让机器人在真实物理世界中以更低的成本「跑起来」。

6月18日，Anthropic宣布Claude Code支持Artifacts：把进行中的工作预览成实时、可交互、可分享的网页。