上海人工智能实验室发布“书生·端砚”科学发现平台，连接了科学大模型、专业智能体、实验数据与具身自动化设备，覆盖完整科研流程，已在生命科学、关键材料、半导体、核聚变、量子、地球气象等六大核心科研领域落地。

1、kk体育 技术市集集中展出AIGX技术体系下30余项技术成果。

夏立雪提到：“我们的愿景始终清晰而坚定：通过Agentic Infra，实现 ‘用智能进化智能，用生产力加速生产力’ 。kk体育二、AI Agent接管底层算子智造，AI芯片研发范式革新 RISC-V超节点解决了AI基础设施硬件层，软件层如何快速把硬件性能转化为大模型的实际吞吐量是另一道坎。

2、冲刺IPO的小红书，花10亿抢男用户

以清华大学为例，作为“国内创业第一校”，其校友在泛AI领域的创业公司已达274家，占比接近14%。

3、这个Chrome扩展评分5.0：点一下就能看农历吉凶日，越南千级用户已验证

这架A380备降杭州机场后，原本计划是稍作停留，飞机加一下油后继续起飞前往上海浦东机场的。

4、CBA速递！北控男篮敲定主教练，北京男篮欲买断范子铭，青岛男篮续约内线大外，NBL球队接触周鹏

天眼查工商信息显示，智元机器人关联公司“智元创新（上海）科技有限公司”更名为“智元创新（上海）科技股份有限公司”，企业类型从“有限责任公司（外商投资、非独资）”变更为“股份有限公司（港澳台投资、未上市）”。

5、LV起诉后续：国货不再忍让，关键内幕被扒，网友：酷似农村旱厕

以标准化急救培训基地为支撑，推动急救技能纳入驾驶人培训体系，持续提高公众自救互救能力，夯实基层应急救援基础。

一个例子是，广州的民间女足队伍Footygirls，通过在小红书上持续发布训练日常，被品牌方看到后拿到了联名球衣的合作。

▲“灵猫”后空翻 能帮人做事的，有一些机器人已经在工厂、餐厅、酒店、药店、零售店“上岗”。

6、杨瀚森狂轰18+10+5！投篮8中7，喝水忘开盖，千万合同稳了！

红星新闻记者 彭祥萍 图据成都高新区 编辑 欧鹏▲交流会现场 亮底色： 多项指标领跑副省级城市 制造业高质量发展底盘更稳 会议表示，成都是国家战略腹地建设核心城市和成渝地区双城经济圈极核城市。

投资有风险，入市需谨慎。

7、把思考折叠进序列：WeLM 617B MoE的隐式Scaling路径

邢斌签订的《外卖配送员协议》（以下简称《协议》）显示，平台代理商与配送员“通过本协议建立合作关系，适用民法典和其他民事法律，不适用劳动合同法。

智东西 作者 茄子 编辑 程茜 智东西7月15日消息，今天上午，阿里云正式发布实时语音交互对话模型Qwen-Audio-3.0-Realtime，还一并推出了Plus和Flash版本。

8、自行式铺路钢板运输车啥配置？这两辆斯堪尼亚R590告诉你！

这一架构设计相当于让“偏科”的硬件只刷自己最擅长的题，可以极大提升大模型推理系统效率，是每座Token工厂都必备的“超级管线”。

一些中小体育用品店也从个位数客户量突破至千级规模。

2、文科人才正在成为连接人与AI的桥梁 猎聘平台岗位实例显示，这些AI特色岗位涵盖AI训练、模型评测、用户研究、AI产品、内容营销等方向，普遍偏好中文、新闻、心理、社会、语言、市场、哲学等专业背景。

9、中卫海原县成功举办“和美海原——丝路音乐嘉年华”

支撑反转的不只是概念。

” 这意味着，需要一套专门为国产芯片量身定制的高性能转化中枢，才能真正释放算力、高效产出Token。

10、没风度？38岁阿根廷功勋拒罗德里致意！贴面怒喷：你对裁判哭诉1整周

智东西 编译 茄子 编辑 程茜 智东西7月17日报道，今日，Kimi正式发布其迄今能力最强、全球首个开源的3万亿参数级别模型Kimi K3。

市场信心“稳”。

1、小红书，又摊上事了……

与传统聊天机器人不同，Hermes Agent内置网页搜索、代码生成以及图像理解在内的多种能力。

2、拉什福德宣布将参与曼联季前赛！世界杯后回归日期已定，恐拖至压哨转会

▲国星宇航太空计算星座 六、AI芯片迈向规模化落地，全国产大算力芯片探索初见成效 国产大模型的发展，已经开始与国产AI芯片的产能挂钩。

3、低至1.22元！这些破破烂烂pdd小物，真的贼高级！贼好用

算力与电力深度融合，亟需一套既懂算力交付逻辑、又懂电力市场规则，能够实现全局协同寻优的能源操作系统。每天赚2.4亿！宁德时代上半年净利润预增42%，拟以200亿元-400亿元回购股票注销，每10股派息14.11元原生设计的Haptex三折叠隐私分舱板和与二排座舱融为一体的Haptex环抱隔挡，使大五座SUV拥有媲美轿车的乘储分离体验。

4、塔里克·穆哈拉莫维奇：我将为这家俱乐部倾尽所有

其意义在于，有时可以通过云端部署非常高效，由于模型本质上是高效的，因此能通过云端多并发的很多场景来提供服务。

5、末轮剧本泛滥！强队选择性输球惹争议，功利足球正亵渎世界杯纯粹

在美国Prism Systems工程师的实际使用中，Eigen工程智能体将原本需要20分钟的功能模块开发时间缩减至不到1分钟，9秒钟生成完整可用、文档齐全的代码，修改仅需15秒，速度远超手动。

6、外援36分也是徒劳！山东男篮被领头羊暴击，附加赛打辽宁有戏吗

亚洲这20年来数学慢慢兴起，尤其中国一大批海外的学者回国。

渠道逻辑重构下 滔搏的路怎么走 这场调整并非孤立事件，而是全球运动品牌DTC化浪潮蔓延至中国市场的一个缩影。

定位平台型公司：让开发者从重复造轮子中解放 加速进化创始人兼CEO程昊表示：“过去二十年，行业都在解决怎么把机器人的身体做好；今天，身体已经不再是唯一的问题。

7、五星巴西遭遇尴尬！被世界第7逼平，豪门底蕴犹在仍有上升空间

眼下，这条赛道还要面临两道坎。

西部数据还展出了面向大规模数据存储环境的多款Ultrastar企业级HDD解决方案，包括40TB和34TB Ultrastar DC HC6100数据中心UltraSMR硬盘、30TB和28TB Ultrastar DC HC5090数据中心CMR硬盘、采用HAMR技术的40TB Ultrastar DC HCS100数据中心UltraSMR硬盘，以及采用高带宽硬盘和双枢轴技术的性能优化型硬盘。

8、局势升级，数百万伊朗人高喊一句话，中国关键时刻出面，两人惨死

随着物理AI走向主流部署，NVIDIA Thor新型计算机为开发人员提供了一个可扩展的基础，可以将智能人形机器人和自主机器带入现实世界。

英伟达开发的SOLAR工具能够从FLOP数量、字节数、GPU峰值吞吐量以及带宽等方面，分析出这些基于硬件的SOL界限，然后将这些界限与预先定义的评分基准相结合，从而得出SOL评分。

Anthropic的Claude Opus 4.7尝试作弊的比例达到9.1%，Claude Mythos Preview的尝试作弊的占比最低，但也达到了7.8%。

其中，一次性买断数据集占主流，这也是最卷的商业模式。