而ChatGPT用了不到一个小时，找到它，并且证明了它。

1、星空综合 ” Allen将Luna形容为除无人机外，公司最复杂的一款项目。

之后经哈佛Society of Fellows镀金，回到多大任教，成为该校数学系史上最年轻的正教授。星空综合上半场比的是谁的卡多，下半场比的是谁能把卡用好 7月17日，WAIC 2026上海开幕，智算赛道200多家企业同台，新品密集发布。

2、中国男篮vs荷兰男篮12人大名单出炉，赵继伟胡金秋崔永熙轮休，杨瀚森贺希宁朱俊龙回归

近来常用的近似算法是列子集选择（Column Subset Selection，CSS）。

3、上海全民数字素养与技能提升月：活动场次与浏览量双增长 超6700场特色活动惠及全城

项目运行了几个月，就发现了问题：如果试点单位比较小，数字化的变革经验覆盖不了其他业务场景，也就是说，未来家用空调的数字化还要从头来做，所以当时方总就说，那不如直接从它开始。

4、啥情况？长鑫科技战配股数“腰斩”，投行详解背后逻辑

早在年初资本市场的喧哗声中，光伏设备商拉普拉斯就在互动平台回答投资者提问时明确表示，目前太空光伏尚处技术探索阶段。

5、就在今天！2个前无古人的NBA纪录，被唐斯达成了

2016年创立的梅卡曼德，在具身智能行业里算得上“老兵”。

而2024年，前一个数值只有18%，反感在急剧升温。

细说平头哥这次开源，对外开放的是一套经过生产环境验证的五层完整技术栈，从最底下的驱动一直堆到最上面的运维工具。

6、【今日信息】中卫上百个岗位紧急招聘中…7月14日

AnySearch的团队，没有选择继续做一个面向人的搜索产品，而是围绕Agent重建搜索方式。

“硅谷近期不是简单的裁员，而是借AI之名进行的人才汰换。

7、终止中药创新药研发，上海医药加码“大BD”战略

5月15日，于东来再次发文，“针对网上关于胖东来和山姆、Costco（开市客）、奥乐齐、711等世界优秀企业哪个更好的对比言论，做出说明：从商品的研发、规划、质量、品类、品质、经营、专业性技术方面，胖东来跟他们还存在非常大的差距，大家不要过度神化胖东来，这是事实！在对员工的尊重关爱和传播幸福生活理念方面，胖东来更优秀！” 那些曾越过高山，又跌落谷底，最后挣扎着爬出来的调改企业，也更懂得这个道理。

当个体也能拥有专业团队的产能，每一位普通人都能借助长缨平台，将自己的创意构想落地为完整的城市故事作品——这不仅是创作门槛的降低，更是为城市IP培育全民创作的沃土，让创意创作真正普惠大众，让每一座城市的文化根脉都拥有可持续、规模化的内容表达载体，焕活城市IP的持久生命力。

8、太极集团换帅！净利润曾暴跌96.8%，股价次日跌1.86%总市值84.37亿

到6月15日，承销商高盛、摩根士丹利行使「绿鞋」超额配售权、增发8330万股，SpaceX这次IPO的募资总额从首轮的750亿美元一路抬到857亿美元 SpaceX已经正式坐稳史上最大IPO，把2019年沙特阿美290亿美元的旧纪录远远甩在身后。

如果你也在上海世界人工智能大会（WAIC）2026现场，大概会有同一种感受。

其中包括OpenBSD里一个存活了27年的漏洞，还有FFmpeg里一行被自动化测试命中过500万次、却始终没被逮到的老bug。

9、含金量还在上升！西班牙7胜1平夺得世界杯 唯一没赢的就是佛得角

具身智能同样需要找到若干个类似AI Coding级别的应用。

字节全员压上的节奏，让Seed团队“虽有人员流动，但走的人不算是基模核心人才，很多都是产品型、应用型的人。

10、史上最大的 IPO，史上最贵的盲盒

后端的工程结构、接口设计、稳定性改造则交给Claude。

7月18日，在WAIC 2026商汤科技 “基座大模型架构创新与生态合作论坛”上，商汤科技联合创始人、大装置事业群总裁杨帆发表《智变·共生——加速AI基础设施持续升级》主题演讲，系统呈现了商汤大装置国产AI基础设施“技术-生态-商业”闭环布局，分享国产算力规模化商用的技术突破与实践成果，并联合近20家生态伙伴发起“银河计划”，共启“国产AI基础设施规模化商用元年”。

1、从看清账单到管住消耗：艾瑞咨询推出Token成本精益管理服务

原来那串数是一路翻倍上去的，1、4、16、64，涨得太快。

2、这前脸一看就靠得住，斯堪尼亚推出模块化军用防护驾驶室

“价值导向”而非“规模导向”的定位，也让华为将主攻方向锁定在公共云赛道，重点服务政企、金融、汽车等领域。

3、连续踩中多个风口背后，谁也不服的湖北做对了什么？

但在这些热闹之外，茅台管理层真正要面临的拷问是：开启市场化改革的160多天时间里，茅台发生了什么样的变化？变革成效如何？未来茅台又将走向何方？ 顺应时代，主动求变，这正是茅台一路走来为什么一直很稳，未来又如何一直稳下去的关键所在！ 股东的心稳了 在此次股东会上，茅台管理层首次公开对冰淇淋、酱香拿铁等年轻化尝试进行复盘。速递！郭士强锐评庞峥麟，赵继伟带伤坚持获赞，高诗岩被批不合格_网易订阅它是国内较早从产业侧切入这一方向的公司之一，也是目前少数在工业、能源等核心行业的零容错业务场景中，实现规模化生产应用的团队之一。

4、新刊

《中国企业家》记者 陈浩 见习编辑｜张昊 编辑｜马吉英 头图来源｜受访者 去年7月底，JustPod给B站制作的视频播客《多新鲜呐》上线。

5、日本刚把签证费涨5倍，韩国宣布：对中国游客免签证费到2026年底

2、人采纳答案。

6、比赛日

灵初的选择也算是行业里比较有共识的一个趋势：在整体方法论尚未收敛之前，与场景方深度合作，是一条可落地、够稳妥、且长期能积累壁垒的战略选择。

《中国企业家》：所以在这种情况下，你为什么还要坚持？ 单伟建：这是好事，是银行体制改革的一部分，很多领导也支持。

开发者十几年积累下来的开发习惯、代码资产、社区经验和工具生态，构成了一道比制程更难跨越的墙。

7、乘“数”而上，预约购票添彩美好出行

而现在，每家前沿实验室都在往这台发动机里疯狂加油。

毕竟，AI能帮一个人写代码、做设计、跑运营，却没法凭空变出第一批客户、融资机会和出海经验。

8、姆巴佩1战2超梅西！专家不满：季军战完全是全明星赛 不应计算数据

该白皮书以认知世界模型（CWM）为核心底座，通过教育仿真器、教育规划器、教育渲染器与LAM学习闭环，构建起面向教育AGI的整体框架，标志着教育领域通用人工智能迈入体系化探索的新阶段。

但当AI从聊天框进入无人机、机器人、汽车、摄像头和水下设备，它就成为一个分布在物理世界中的系统。

这也是Agentic AI芯片比普通推理芯片多出来的一道题：芯片性能决定模型能不能运行，软件栈决定开发者能不能把它用起来，Agent生态则决定设备最终能够完成什么任务。

杭州市委常委、萧山区委书记孙旭东，趋境科技首席科学家武永卫教授出席并见签。