学界应引导大家沉下心做真正改变学科、引领学科的一流数学工作。

1、乐鱼全站 三位知情人士透露，DeepSeek已聘请投资银行，协助公司筹备在上海证券交易所科创板上市。

当地人社局工作人员表示，邢斌与平台代理商签订协议中约定双方为合作关系，因此难以认定存在劳动关系。乐鱼全站OpenAI称，服务数据中心所需的电力基础设施及用电成本将全部由公司承担。

2、碾压拉什福德！曼联锁定 6000 万姆巴佩接班人！世界杯一战成名

中国科学院院士、北京大学数学科学学院张继平教授认为，这说明中国也能成为世界数学的领导力量。

3、底表21.4万英里，这辆1981款奔驰300TD Turbo换上了14.3万英里的发动机

如果部分AI任务能够直接在轨完成处理，再将结果返回终端，有望缩短响应时间，提高任务执行效率。

4、世界杯决赛西班牙加时绝杀 梅西赛后泪洒赛场谢幕

来源：Thinking Machines Lab、Artificial Analysis、X智东西 作者 杨京丽 编辑 李水青 智东西7月16日报道，今天，在WAIC 2026开幕前举行的媒体交流会上，企业级AI科技公司百融智能介绍了企业级智能体的产品、技术及应用情况，并透露其将在WAIC期间展出百智WiseNote、百语、百服和AI工作手机四款产品。

5、仅存约150辆的绿宝石宝马316i旅行版现身：存放十年后焕新复出

在网页深度调研BrowseComp、办公自动化Automation Bench、Excel财务建模SpreadsheetBench 2等测试中取得领先，其中BrowseComp达到91.2分，Automation Bench和SpreadsheetBench 2均排名第一。

上周，月之暗面发布Kimi K3，其Intelligence得分仅落后于Claude Fable 5和GPT-5.6 Sol，在前端编程测试中甚至排到了榜首。

林晨｜上海 30岁 公关公司策略经理 我是做公关策略的。

6、未来5年，孩子上学有这些大变化！

从2023年WAKE AI 1.0时代接入大模型，让AI流畅回答问题，到2024年2.0时代的智能体调度系统，让AI会执行任务。

复杂操作方面，星尘智能一口气放出22项真机家庭任务，包括煎蛋颠锅、称小米、打蝴蝶结等高难度操作，是本届WAIC家庭场景demo最全面的一家。

7、失意天才先发投手滑球突变卡特 6.1局零封洋基显转机

刘女士赶回施工现场，在现场连声呼喊询问，这才听到了从隔间里传出来的戴先生的声音。

" 如果说世界杯是催化剂，那么当天发布的《不止赛场：小红书社区足球生态观察报告》则具体展现了一个"足球社区"正在小红书形成。

8、机械增压V8配6速手动，这台15.7万英里的RS4正在加州找下家

“能落地”则来自底座。

我们不是要开设一家新医院，也不是把医院搬进虚拟空间，核心是通过大模型等技术实现「数智孪生」，复制顶尖医生的诊疗智慧，打破院内院外、线上线下的边界，让医院的服务能力在数智空间中得到拓展、增强、升维，最终实现医疗服务在质量、效率、成本与可及性方面的系统性跃升。

来源：CuspAI、彭博社智东西 作者 ZeR0 编辑 漠影 智东西7月21日，7月19日，启明创投主办世界人工智能大会WAIC 2026“启明创投·创业与投资论坛——从算力原点到应用落地的进化征程”，聚焦AI在创业与投资领域的最前沿动态，汇聚顶尖科学家、创新领军者与资深投资人，设置了3场主题演讲、1场深度对话、1场圆桌讨论，并重磅发布三大核心成果，探讨行业如何跨越单纯的参数追求，转向对实际场景、降本增效以及商业模式闭环的极致探索。

9、高质量发展进行时

上述人士还透露，DeepSeek在IPO之前，还计划在私募市场至少再融资100亿元人民币，最终融资金额可能数倍于此，具体取决于签约投资者的数量。

检测数据教会大模型定位，分割数据教会大模型区分边界，深度数据教会大模型感知远近，在统一的生成框架下被大模型完全吸收。

10、上港为何领先两球都被玉昆最终追平！背后原因找到了，引发热议

就像一位学者曾说过的，你的目标是登月，但如果你以爬树的形式来尝试着离月亮更近，你是永远不可能到月亮上去的。

GPU更偏向大规模数据并行处理和快速迭代，CPU更偏向传统调度，并应用在端侧和云端的不同场景。

1、明年台积电价格或上调5%至10%，苹果官方：已无力独自消化成本，iPhone 18 Pro高配版涨幅或达近2000元

智东西 作者 云鹏 编辑 漠影 半年多时间30多款新品密集亮相、一季度出货量同比翻了一倍多、亿级融资轮番涌现……大厂创企入局竞逐，资本纷纷瞩目，AI眼镜赛道的火爆有目共睹。

2、1974年保时捷914 2.0无底价释出：橙色涂装、改装双化油器、里程未知

▲联影集团董事长薛敏 智东西：这次世界人工智能大会期间，我们看到联影隆重发布了“元医院战略”，可否为我们简单介绍下这项战略？ 薛敏：此次发布的“元医院战略”，是牵引联影集团未来发展的一项重要数智化战略，也是我们充分思考后，对未来医疗的一份构想。

3、卡塞米罗自由身加盟迈阿密国际，联手梅西

在基准测试方面，Kimi K3在大模型评测竞技Arena.AI的前端代码测试中，超越Claude Fable 5；在第三方独立测评机构Vals AI中，Kimi K3的综合测试得分为74.7，位列第2，超越GPT-5.6，仅次于Claude Fable 5。哥伦比亚史上最差政府，佩特罗临走放话：不跟新总统握手新增的智能地形模式进一步覆盖湿地、沙地、涉水、泥地、碎石、雪地等复杂场景。

4、世界杯期间你错过的5笔转会：切尔西4700万签意甲最佳后卫，阿森纳免签前利兹门将

亚马逊云科技认为，在模型能力被快速商品化的当下，真正构成企业长期差异化的，是一套贴合业务、沉淀真实生产Trace、校准过评判器、显式管理证据权重与漂移的评估体系。

5、乌克兰基辅夜间传多次爆炸，公寓楼与商场遇袭

Meshy此前已完成两轮融资。

6、1972款CB750翻新后里程仅2100英里，真实里程成谜

智东西 作者 ZeR0 编辑 漠影 史上最大规模的AI盛会，热得惊人，心理和生理上都是。

红星新闻记者 王垚 毛渝川 摄影记者 杨译焮 编辑 欧鹏陆祖勇在广西隆林各族自治县新州镇的河边租下一栋三层楼房，地上一层，地下两层。

产品预计于2026年9月开始发货。

7、蓝衣3年1500万锁定格里夫斯 上季年薪仅82.5万

▲2023年6月9日，加拿大Marineland海洋公园内，一头白鲸浮出水面进食 留在园内的30头白鲸，也由此陷入一场漫长的生存危机。

官方展示了一个案例：让Inkling自己设计微调任务，包括生成训练任务、运行训练流程并评估训练效果。

8、只打好了开局！郑钦文雅典站不敌两届大满贯冠军，美网正赛资格没了？

接下来有三个节点值得关注。

当时，这位“数学皇帝”携两位年轻学者左右陪同，共同出席记者会，丘成桐难掩喜色与欣赏。

他们获奖，对我国的教育界、科技界是莫大的鼓励。

2022年12月，越疆合伙向外转让股权，对越疆公司的持股从10.8697%降至3.5%。