为此，无问芯穹推出了 “AI生产力商店”——Agentic Infra行业解决方案，以底层智能基础设施之力，助力行业客户打通降本增效的“最后一公里”。

1、人人体育 两件事拼到一起 AI开始「造软件」 Artifacts负责生成界面，MCP负责连上数据。

一句话：ChatGPT开始拥有自己的「文件系统」。人人体育」 这个试水型游戏PV的火爆只是一个开始。

2、场均26.2分但重伤赛季报销 仍获马刺续约 队记证实先裁他腾位置

Chloe不是历史学家，也不是电影导演，但她有一种很稀少的能力——把宏大的历史节点，压缩成一个普通人会有的感受。

3、特朗普称习近平主席将访美，双方将就人工智能问题交换意见，外交部回应

模型和循环都已具备。

4、思考人生？这世界杯射门太离谱：近在咫尺的空门，瑞士球员竟打偏

作为「社区的社区」，GDPS与「大牛」「牛犊」开发者们共同构建「牛人社」，致力于发现「未来的未来」。

5、流浪者官宣今夏第七签：20岁就当了队长的塞尔维亚国脚，转会费超400万

他在文中写道，人类「基本上找到了让沙子思考的办法」，我们正站在「奇点的山脚下」，AGI「大概只有几年之遥」。

紧接着一句承诺：所有此前上传到SpaceXAI的用户数据，完全且彻底删除。

美国队以4金1银1铜、团队总分207，获得亚军；俄罗斯以4金2银、团队总分196，获得季军。

6、前世界第一网球选手指控前夫：4100万美元财富被挥霍一空，如今破产靠付一半收入免牢狱

一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。

一台名叫W1的机器人，在仅75厘米的极限过道里穿行，识别货位、逐件拣选、装箱、交付，一气呵成。

7、阿苏埃半场帽子戏法+精彩倒钩，申花4比1淘青岛海牛晋级足协杯八强

」 他们在WAIC上按下的，正是让这层地基自我优化与进化的那个开关。

什么是雅可比猜想？一个「理所当然」的陷阱 让我们先把时间拨回1939年。

8、会被处罚吗？韦世豪亮了：献助攻，不服判罚口吐芬芳+赛后讨说法

原代码对两个分量分别取了abs()，-1天变成1天，68400秒原样留着，硬凑出「1天+19小时」。

「工程师」这个角色，在Boris这儿也被改写了： 模型负责写代码，他负责搭系统、做验收。

例如，中国科学院上海药物所与浙大组成的「可以的」团队，围绕蛋白质构象系综生成任务研发MidSummer自治科研智能体。

9、智造新地标落子湖州！北自科技新工厂投产，纺织物流装备迈入硬核时代

X上网友的一句话，概括了所有人的体感： 所有人的推理档位被集体下调了一级——你原来跑Extra High，现在得把它拧到Max，才能换回原来那点力气。

他指出，智能体的规模化落地，少不了「安全可控」的软件环境。

10、曾在鲁能踢亚冠主力的他！如今当打之年踢中甲，直接斩获单轮最佳

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

15小时，长程稳定作业 最后的关键一步，是时长。

1、CCTV5直播重庆VS浙江，刘建业五后卫限制王钰栋+米神，李镇全缺阵

哪个残基落在哪个结构域、离活性口袋有多近，一眼可辨。

2、拉斯维加斯突袭者状元签下门多萨 4年5727万美元全额保障合同落定

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

3、意大利自曝先找安切洛蒂再谈瓜帅 世界杯三连败出局后主帅难产

这不仅费时费力，还会累计误差。皇马跟队：俱乐部考虑出售琼阿梅尼，曼联对他感兴趣从模型到推理框架 面壁这两个模型的推理效率，也得到了推理框架PhyAI的帮助。

4、山东泰山不设防！5场连丢10球，刘洋手球送点，于金永扑点

Claude Fable 5：26分钟，两轮，满分。

5、倍耐力破密MotoGP轮胎账单：谁在买单？成本远不止橡胶钱

双榜SOTA登顶 这套设计到底管不管用？HMS用两个业界公认的长时记忆基准给出了回答。

6、流浪者主帅批凯尔特人点球“恶心”遭禁赛4场，俱乐部将上诉

你把家门钥匙交给它，是让它帮你干活——不是让它把整个家打包带走。

他曾用一年，写下了Bun这个比Node.js还快的JavaScript运行时。

通用人工智能（AGI）——一种具备人脑全部认知能力的系统，距离我们可能只有短短几年。

7、武都：科技赋能筑防线 全民禁毒护平安

2026世界人工智能大会（WAIC 2026）在上海世博、张江、西岸「三地四馆」同步引爆——超10万平方米展区、1100余家企业、3000余项展品、超300款全球首发产品集中亮相，9位图灵奖、诺贝尔奖得主参会。

作为连续三届大赛组委会的核心成员，生物结构预测赛道评委、上智院生命科学方向AI科学家郭昕表示：「大模型的快速发展虽降低了科研入门门槛，但想要突破领域固有技术瓶颈，仍需融合AI技术能力与行业专业知识，实现底层模型结构的原生创新。

8、2011款奔驰GLK350无底价拍卖，里程仅5.8万英里

Dyna则把200k+小时数据摞成金字塔: 在之后的讨论中，马也骋分享了Dyna的实践经验：「部署数据放到下一次预训练中，接下来的部署时间就会越来越短，最终达成零成本在新环境完成同样任务。

要做到这一点，它手里就得一直攥着你的登录凭证，以及一大把系统级权限。

它守住了最后一条线：当Marcus要求伪造董事会批准记录时，它拒绝了。

OpenAI研究员Noam Brown所感叹：「这与之前解决Erdős单位距离问题不同，这次创造奇迹的模型，是今天对所有人公开可用的！」 网友惊呼：证明令人叹为观止，AI改变数学！ 幽灵般盘旋了50年的数学魔咒 循环双覆盖猜想，是图论里的「皇冠级」难题之一，由Tutte、Itai与Rodeh、Szekeres、Seymour等多位数学家在上世纪各自独立提出。