他与合作者用开创性方法攻克了希尔伯特第六问题的狭义版本，这是1900年希尔伯特提出的23个问题之一，125年来首次迎来实质性突破。

1、博鱼手机 据中国航运网站“信德海事”报道，他表示：“我亲眼见证了一个奇迹。

7月17日至20日，2026世界人工智能大会暨人工智能全球治理高级别会议在上海举行。博鱼手机在AI PC方向，后摩先后进入了联想和长城的供应链：联想AI主机P7搭载M50全球首发，长城N90 Pro也用M50打出了端侧算力的卖点；操作系统层面，后摩漫界M50完成了与银河麒麟操作系统V11的深度适配；在端边大模型这条赛道上，后摩还与中国移动达成了链长生态层面的合作，客户场景正在从Agent Computer向具身机器人、端边推理和智能移动终端延伸，量产订单已经开始转化。

2、国际奥委会终于松口！俄罗斯禁赛解除，世界体坛的隔离墙开始崩塌

FF自称是美国首家交付人形机器人和仿生机器人的公司，并将这一先发进展与后续数据闭环建设相结合，推动EAI生态体系进一步完善。

3、谁在中国“围猎”AIGC？

人追求的是秒级响应，智能体要求毫秒级，AI编程对精度的要求最高，希望少犯错。

4、颜丙涛6-3力克希金斯将战丁俊晖 中国锁定决赛席位

三年亏掉36亿 2022年至2024年，光大永明净利润分别为-13.57亿元、-5.13亿元、-17.07亿元，三年累计净亏损约35.77亿元。

5、两新援加盟山东男篮！上海外援兴奋剂违规，山东受损却无力回天！

7月15日，巴菲特在接受CNBC采访时再次抨击股市，称其越来越受投机交易驱动，而不是着眼于长期投资：“当每个人都更喜欢赌博时，很难找到有价值的东西。

本届大会以“智能伙伴，共创未来”为主题，分布于世博、张江、西岸三地四馆，展览面积首次突破10万平方米，1100余家企业带来3000余项展品，超过300款产品集中首发。

模型训练塑造了上一阶段的算力市场，规模化推理则会重新定义下一阶段的基础设施。

6、劝架反挨打？阿曼雷达被伊点名，不到24小时，特朗普下达一道军令

智象的UiT架构砍掉了VAE和独立文本编码器，将文本、图像、视频以及更多模态信息全部映射进同一个共享Token空间，由同一套Transformer统一处理。

委员会主席、得克萨斯州共和党参议员特德·克鲁兹（Ted Cruz）警告称，除非缩小法案的适用范围，否则它将很难最终成为法律。

7、2年前噩梦重现！图赫尔拒绝认错：只是结果不好 当键盘侠很容易

加拿大总理卡尼 IC photo 当地时间7月20日，白宫发布公告，援引1930年《关税法》第338条，对加拿大的数百项特定商品加征50%关税。

巴西总统卢拉当时回应表示，他愿意与美国进行谈判，但同时强调，如果无法在美国销售产品，巴西将寻求其他市场。

8、从巡回赛到挑战赛到希望赛，六大疑问等待中国选手解开答案

关注获取更多资讯具身智能，在城市服务里补上了“全栈”这块硬骨头。

该系列产品是奇瑞与JLR长期合资合作的产物，JLR已将神行者品牌名称授权给奇瑞，并负责车型设计，工程研发和生产环节则由奇瑞在中国完成。

这些困境已反映在相关企业的财务报告中，部分工厂面临威胁，数千个工作岗位岌岌可危。

9、“张雪机车”获WSBK多宁顿公园站次回合第十名

【智车派新闻】6月13日，小米YU7 GT在中汽研盐城汽车试验场完成五项科目的实测直播，涵盖高环极速、连续紧急制动、底盘综合路况、驾控能力、脱困能力，所有科目均顺利通过。

因部分车辆此前已更换改进后的零部件，本次召回此部分车辆无需再次更换。

10、认识一下日本包袋顶流

王天星对观察者网表示，这7位员工对他人的健康、尊严与法律毫无敬畏之心，用拳头和暴力表达自己对外来人员的真实态度。

林达华日前与媒体对话时表示，U1 Pro像是一个设计师，在生成的过程中不断自主调整，最终输出可以直接交付的“成品级”结果。

1、蚂蚁集团副总裁张俊杰：希望与成都有医疗健康领域的深度合作

中日之间错综复杂的关系之多，也远非美国可比。

2、“冰杯经济”爆发？ 盒马和保乐力加的“吃冰”实验

” 欧盟官员表示，这项豁免涉及液化天然气贸易中一个规模较小但具有战略意义的领域。

3、TA：爱德华兹和鲍尔都曾主动联系詹姆斯 游说他加盟森林狼

改革开放提供了时代机遇，把原本无序的集体生存意识转变为产业发展的先天禀赋。3换1交易达成！湖人想要的中锋没了，詹姆斯或被送走？本文系观察者网独家稿件，未经授权，不得转载。

4、追投2700亿、算力规模提升至5GW！Meta加速扩建数据中心

以下为硬氪与半醒具身团队的对话节选（经编辑）： 硬氪：相比其他ODM方案商，半醒最大的差异化优势是什么？ 陈彦、刘福强：我们能够真正提供从电机到电控、传感器、算力定制，到运动算法、操作算法的全栈方案，并且是经过量产和赛场验证的。

5、俄罗斯体育权威人士：反兴奋剂斗争无情 就像私刑

梅西在赛后仪式上观看西班牙队球员庆祝时落泪，图源：视觉中国 让每一个人与世界杯都强相关 足球运动的美丽，让它足以跨越种族、国家、文化的差异。

6、TA谈世界杯失望球队：土耳其小组出局令人意外；葡萄牙黄金一代存遗憾

团队创始人叫徐持衡，是商汤科技001号员工，师从汤晓鸥教授，与团队共同开发的人脸识别技术，是商汤科技早期最重要的技术里程碑之一。

而SmartBa让机器人在车轮保持装车状态下直接完成全部操作，轮胎的拆装和动平衡一气呵成，省去了拆装轮毂的步骤。

该成果为微观粒子世界和宏观流体世界之间架起了一座坚实的数学桥梁。

7、天才后卫！篮网首轮6号签选中来自路易斯维尔大学的小米克尔-布朗

观察者网注意到，此前，多名小鹏X9车主反映车辆在行驶过程中趴窝，故障包括在空气悬挂漏气、车身单侧或整体塌陷等。

本文系观察者网独家稿件，未经授权，不得转载。

8、余嘉豪接受脚踝手术，将缺席男篮世预赛，本赛季获西乙队内MVP

据悉，这也并不是芯天下第一次冲刺IPO。

美国贸易代表贾米森·格里尔在声明中大言不惭：“今天采取的行动，将开始纠正既侵犯人权又扭曲贸易的做法，从而改善世界各地劳动者的福祉。

这个框架的好处是，让智能体不再需要用“肉眼”识别按钮、模拟点击，而是直接通过MCP、A2A等协议调用底层API。

两件事都需要钱，都需要被看见。