今晚即将公布的菲尔兹奖，或许真的会成为纯人类智力的「绝唱」。

1、乐竟体育 量子位：所以你认为Scaling可以解决一切？ 丁文超：是的。

苏东坡说“卒然临之而不惊，无故加之而不怒”。乐竟体育在此次 v0.3 正式发布前，研发团队已对大量应用示例完成了深度的复现性测试，详见v0.3 Release Notes。

2、大到暴雨！8级阵风！台风“美莎克”将影响邵阳！

通用磨坊将继续拥有并运营哈根达斯在中国的零售和餐饮业务。

3、泰山队没赢过玉昆，韩鹏别玩对攻 只有克雷桑能踢逆风球 迎4场硬仗

一位行业人士告诉《中国企业家》，由于Seedance 2.0热度高涨，火山引擎的算力已出现供给不足的情况。

4、破解梅西的蓝本：西班牙1比0力克阿根廷 二度加冕世界杯

AI4S（AI for Science）对算力的需求与纯AI推理不同：科学计算通常需要高并发、大吞吐、长时任务，且对双精度计算能力有硬性要求。

5、记者：芒特去米兰是个不错的机会，他在曼联没有未来

依托上海市科学智能创新生态及四年办赛积累，上智院、上海祖泉创新转化研究院（下称“祖泉研究院”）、上海未来产业基金、上海未来启点社区联合发起的世界科学智能大赛OPC创业孵化营在会上同步发布并启动申报，推动打通赛事竞技、技术迭代、产业试点、单人科创创业全流程，为科学智能领域青年创新项目搭建可持续落地的发展载体。

这次在WAIC首次亮相的PUDU D7，也是PuduFM落地的典型硬件载体。

这次募资时间短、速度快。

6、足协官方：U16国足主帅阿尔马赞离任！

量子位：具身智能存在实时部署和推理算力的约束。

针对强化学习中“参数难调、结果难复现”的行业痛点，RLinf 始终将训练效果的严格可复现作为核心标准。

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

” 对理想而言，在旧墙失去支撑之前，新墙必须砌起来。

在一条关于数学研究中有趣反例的问题下，他就讲了这个猜想。

8、环法总监强硬回击偏袒法国车手指控：我无权也不该知道谁被药检

参考资料： https://www.quantamagazine.org/jacob-tsimerman-wins-2026-fields-medal-for-andre-oort-conjecture-proof-20260723/ https://www.youtube.com/live/2dr2F2NVUkY 编辑：大卫新智元报道 大模型变强，过去靠两条路。

四大算法赛道则持续深入科学智能的产业应用创新。

实现这一切，靠的是中数睿智研发的动态因果构建与演化引擎。

9、英联邦运动会格拉斯哥开幕 印度靠拳击田径举重冲前五

StaffDeck率先引入了开放知识规范OKF（Open Knowledge Format），给企业知识资产做了等级划分，划分结结果如下： 配合知识分桶管理和检索调试工具，管理员可以在后台清晰地看到每一次回答，命中了哪份文件的哪一个章节、相关度得分是多少，确保AI Agent的每次回答都可溯源、都有来处。

除此之外，Anthropic的这篇博客里，还放出了蛮多有意思的观点和事实。

10、热身赛13分，辽宁男篮4号位挖掘新人，18岁中锋首秀 姜宇星边缘化

比如我们把上面的A—F删掉，路线仍然可以沿着A—B—G—I—F，从另一条路到达F，整张图不会因此断开。

大模型端侧AI加速规模化，M50 Inside 推动多终端商业化创新 此次WAIC展会，后摩智能集中展现了M50芯片在Agent Computer、智能移动终端、具身机器人和端边推理等场景的应用成果，覆盖智能办公、智能教育、个人陪伴、边缘计算等热门领域。

1、544万起事故的残酷统计：二次车祸发生率低于1%，但这几类人最危险

「书生·端砚」面向真实科研全流程打造，承载完整科学发现全流程推演、记录、验证与沉淀。

2、魔笛的“告别战”，C罗的“处子球”

很长一段时间，行业竞争焦点集中在世界模型、VLA、多模态大模型和参数规模。

3、意大利U17捧起U17欧洲杯冠军，尤文小将首发出场

技术革新 在AI制药上，业内还没有完全共识。脸丢到全世界！世界杯严查阿根廷！输球围殴对手，教练挥拳打人中国科学院深圳先进技术研究院研究员、森瑞斯生物科技创始人罗小舟，在现场讲了一个很形象的差别。

4、杨立瑜为何本轮足协杯比赛会错失空门！背后原因找到了，引发热议

但SkillForge本身不是“数据集市场”，而是按模型训练需求组织技能包——特定的状态分布加动作分布加评测标准，跨本体设计，经WorldEngine全流程验证，附L1/L2/L3三层评测结果。

5、6场807码，他有望冲击CFL历史接球纪录

规模化之后，光轮智能如何定义高质量人类数据 传统数据质量控制，通常关注文件是否完整、格式是否正确、轨迹是否缺失，以及标注是否通过。

6、助力乡村振兴 我们不等“贷”

金山办公想重做一遍WPS 3个case跑下来，灵犀最有辨识度的地方，并不是突然学会了什么其它Agent不会的魔法。

再用歸藏的「社交媒体卡片Skill」，一键做出了这段话对应的配图。

作为率先实现规模化商业落地的智能体企业之一，韩涵对这个问题的回答没有迎合“快速扩张”的叙事：“数量并不是核心，中数睿智能够解决的问题的数量才是核心。

7、2024奥运刚当旗手，2028洛杉矶主场在召唤！勒布朗真要打到44岁？

而upstream first是把代码直接贡献回上游社区，和社区一起迭代 落到开发者手里，直接就变成了“在vLLM社区把代码拉下来，pip一装，直接跑”。

Koji杨远骋则同时拥有创业者和投资人的双重视角。

8、这场文化大赛为何选择泸州？三千年文脉告诉你答案……

现在反而觉得年轻人‘吹牛’的时候，你得认真听一听，因为我们的认知未必跟得上他们，他们可能看到了我们没看到的未来创新点。

“太空这个方向至少需要5年才能验证。

而那时你会发现，你和台上那些00后创造者之间，隔着的从来不是天赋，只是一个「开始动手」的距离。

一段视频可能拍摄完整，动作轨迹却无法被机器人执行；一条标注可能符合规范，其中的任务过程却缺少关键步骤；一批数据看起来数量庞大，实际覆盖的人群、场景与动作分布却高度重复。