这是对AI办公的整体考验。

1、kaiyun官网 菲尔兹奖得主Timothy Gowers悲观又震撼地感慨：「2030年的菲尔兹数学奖，可能是最后一次颁给人类。

1990年，第31届国际数学奥林匹克在北京举行。kaiyun官网因为一个亲手宣布旧规矩死亡的人，接下来要做的事只剩一件——去立新的。

2、VR导览扫码识途、地铁5号线直达北门，南京五台山体育场本周六再迎苏超

用Python工具链，每个平台编译要8分钟，整个构建矩阵每次发布得等上半小时。

3、网友称深圳一商场共享按摩椅缝隙有虫子，手肘有被咬的刺痛感；客服回应：已深度消杀，公司规定每周至少清洁2到3次，后续会增加消杀频次

更关键的是——多位业内大佬、甚至知名科技公司的员工，都参与了讨论。

4、阿森纳的“最终通牒”：要么按定价卖，要么我们换人

这种竞争态势固然推动了快速进步、加速兑现惊人的红利，但前沿的进展速度，已经超过了我们对这项技术本身的理解速度。

5、玩转阿勒泰丨盛夏禾木客流攀升 全域提质优服务擦亮阿勒泰文旅名片

请注意，过去20年不是没人想解这道题，而是找反例犹如大海捞针。

这2000万条，只占它已留存日志的0.5%，后者的量级是「数百亿条」。

关键是，单独看每个文件都正常，谁也想不到串起来会有这么大问题。

6、确认！世界杯历史首次！官方定制冠军戒指！球迷也能买到！

接下来这三层，是为了在同一件事上少花冤枉Token。

Frozen v2是折中版：不烧权重，只固化架构。

7、2019款奔驰Sprinter四驱改装露营车仅行驶4.6万英里 搭载3.0升柴油V6动力

约三周后，一个原本只存在于脑海里的快穿3D乙游，被做成了一支可以观看、讨论和接受市场检验的概念PV。

」 用过Claude Code、Codex 的人，大概都被这行字噎过。

8、错失决赛席位！姆巴佩：我们输的不只是比分，没有踢出半决赛应有的水准

小象电动，这家从哈工大深圳研究院走出来的科技企业，历经8年蛰伏，终于将曾经只存在于论文里的轴向磁通电机，变成了15万台产能的自动化流水线，变成了机器人跃动的关节。

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

但Uber们的账单同时也在宣告，光会用，远远不够。

9、美军突破底线，伊朗宣布终止！斩首行动展开，海湾三国全被卷入！

各大模型在赛道上各自狂奔，跑完了全部6道关卡。

接下来，我们直接把KAT-Coder-Pro V2.5拉进更多的真实场景，彻底探探它的底。

10、莱德杯双队长重返印度 DP世界巡回赛十月德里开杆

Dyna和PI更相信真机数据：Dyna把机器人搬进真餐厅，PI靠真实数据飞轮和自主运行中的人工接管打磨。

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

1、亨利点评梅西与阿根廷：他们已经不需要证明自己，历史只会记住胜利者

10月，全球开发者先锋大会（GDPS）暨国际具身智能技能大赛接力登场，正是这条链路上的下一站——「七月展成果，十月看未来」。

2、致全市中小学家长的一封信

但这个模型却在HLE上拿下了令人胆寒的99.44%！ 不仅如此，AIME 2025、GPQA Diamond等多个被视为「AI智商试金石」的Benchmark榜单，也全部被以满分或接近满分的成绩霸榜。

3、世界杯成香饽饽，奥运会却成烫手山芋！原因有2点，08年北京奥运已给出答案

让一家AI巨头当众认账，再主动清空用户数据，这在AI圈还是头一回。1-4！上海申花崩盘2连败，斯卢茨基一套阵容踢到底引热议表1：HY-WorldPlay与Matrix-Game-3.0上的质量和效率对比。

4、DO&罗马诺：曼联正探索签下切尔西中场安德烈·桑托斯的交易

「出海客户的用量高峰在晚上10点到早上8点。

5、Ryan Clark亲口反击自愿离场：我问“该走了吗？”对方说“行”，这明明是被赶下台

Cowork得让用户主动下载一个桌面端；而把智能体揉进ChatGPT，意味着超9亿周活用户打开那个最熟悉的App，就已经在用智能体了。

6、重回世界第1！西班牙夺冠后霸榜FIFA排名 阿根廷第2葡萄牙第7

这时，凯撒仿佛还活着。

物理AI，已经临近 圆桌结束了，但争论远未停止。

一年之后的同一个舞台，7月17日，磐石2.0正式发布。

7、岳阳市疾控中心（市卫监局） 开展高考专项卫生监督检查_网易订阅

参考资料： https://x.com/claudeai/status/2078302415804379218 https://x.com/IamYashKapoor/status/2078223827411325348 编辑：Aeneas新智元报道 17日凌晨（当地时间16日上午11点），Kimi K3发布，全网刷屏，开源AI迎来第二次「DeepSeek时刻」。

去年，OpenAI的o3和谷歌DeepMind的AlphaProof、AlphaGeometry 2，都在IMO题目上达到了金牌线水平。

8、南京鼓楼开展“诗话金陵”分享会，著名学者莫砺锋现场开讲

这一发现之所以引发广泛关注，在于它使研究者得以窥见模型推理过程中的「内心独白」，标志着可解释性研究从对模型行为的解释迈向了对其内部状态的实时观测。

一方面，一级市场热钱持续涌入，单笔融资金额屡创新高。

对审美与情绪细节一向敏感的乙游用户，并没有因为内容使用AI而自动离场。

小哥展现出了惊人的产品经理天赋。