新闻动态

企业新闻2026/6/8DeepSeek
SpaceX上市前夕,我最感兴趣的是Grok的命运

SpaceX即将于6月11日正式招股、6月12日上市,募集资金不少于750亿美元,估值1.77万亿美元。对于这次人类历史上最大规模的IPO的细节,网上已经有很多资料了,招股说明书、路演PPT也是公开的,在此就不赘述了。SpaceX将自己的业务划分为三大块:太空,主要就是空间发射业务,其中包括将于今年下半年开始...... 本文来自微信公众号: 互联网怪盗团 ,作者:怪盗团团长裴培,头图来自:AI生成 SpaceX即将于6月11日正式招股、6月12日上市,募集资金不少于750亿美元,估值1.77万亿美元。对于这次人类历史上最大规模的IPO的细节,网上已经有很多资料了,招股说明书、路演PPT也是公开的,在此就不赘述了。SpaceX将自己的业务划分为三大块: 太空,主要就是空间发射业务,其中包括将于今年下半年开始商业化运营(此前被许多专家宣称“不切实际”)的可回收飞船——星舰; 连接,主要是以星链为代表的卫星通信业务,该项业务曾被通信产业专家吕廷杰(经常在券商策略会发表演讲)用作“马斯克不懂通信”的论据; AI,主要是以前xAI的业务,包括数据中心、Grok及X(原名推特),以及与特斯拉联合建设的芯片工厂,等

来源:虎嗅
企业新闻2026/6/8DeepSeek
工厂里的26张反对票

艺术家刘伟伟在深圳一家工厂里拍了一部纪录片。拍到400多天、积累了22TB素材后,他突然意识到一个问题:镜头已经越过了最初的拍摄对象,记录下大量工人的脸、手、工作、吃饭、午休和聊天。拍摄经过了厂长特许,但工人们并没有明确允许他的拍摄。当然,他们也没有拒绝他的拍摄。怎么办?刘伟伟决定发起一场投票:由被拍摄的工人...... 本文来自微信公众号:正面连接,作者:张苹,编辑:于蒙,顾问:王天挺,题图来自:AI生成 艺术家刘伟伟在深圳一家工厂里拍了一部纪录片。拍到400多天、积累了22TB素材后,他突然意识到一个问题:镜头已经越过了最初的拍摄对象,记录下大量工人的脸、手、工作、吃饭、午休和聊天。拍摄经过了厂长特许,但工人们并没有明确允许他的拍摄。当然,他们也没有拒绝他的拍摄。 怎么办?刘伟伟决定发起一场投票:由被拍摄的工人来决定,这些已经拍下来的素材,能不能继续被制作成纪录片。 2025年6月15日,聚鑫工厂101位员工参与了投票。投票前有公示、讨论、答疑;投票当天,每位员工核验身份、领取投票卡,匿名投票。深圳公证处到场监督并记录流程,两位律师和一位纪录片导演向工人说明相关权利、传播路径和潜在后果。 艺术家理解的投票

来源:虎嗅
企业新闻2026/6/8中大力德
创业板重挫超3%,芯片半导体集体下跌,机器人逆势拉升,恒科指跌超2%,沪银狂泻10%

A股和港股大幅低开,创业板一度跌超4%,恒科指跌超4%,科技股集体调整,芯片半导体、算力硬件等全线下跌,周一亚太市场遭遇猛烈抛售,韩国KOSPI指数两度熔断,暂停交易,两大芯片巨头三星电子和SK海力士双双大跌。另外,中东地缘政治紧张局势再度升级,再加上上周五美股科技股的全线大跌,都冲击了市场情绪。 6月8日,A股全天一路下行,且三大股指午后进一步大幅走低,沪指跌近2%,失守4000点,创业板盘中曾重挫超4%,科技股集体下跌,芯片半导体、算力硬件股等走低,有色金属跌幅居前,机器人概念股盘中活跃,油气、银行等板块逆势走强。 港股低开低走,恒指、恒科指双双下挫,恒科指跌超2%,科网股全线走低,百度跌超7%,华虹宏力跌超5%。债市方面,国债期货全线下跌,商品方面,国内商品期货分化,沪银暴跌10%,沪金跌逾3%,此前国际黄金跌破4300美元。 A股:截至收盘,沪指跌1.70%,深成指跌3.22%,创业板指跌3.69%。科创50暴跌4.3%。 盘面上,个股呈现普跌态势,沪深京三市约4600股飘绿,今日成交2.82万亿。沪深两市成交额2.79万亿,较上一个交易日缩量近3000亿。板块方面,工业金属、半导体、芯片、存储器、

来源:华尔街见闻
企业新闻2026/6/8DeepSeek
护城河还是公地:当DeepSeek们把成本砍掉99%,美国巨头的万亿豪赌要打水漂?

神译局是36氪旗下编译团队,关注科技、商业、职场、生活等领域,重点介绍国外的新技术、新观点、新风向。 编者按:万亿资本的AI垄断梦正被中国开源粉碎。为救活算力账单,美国正用政治手段强造稀缺,此举恐会让其AI重蹈汽车业覆辙。文章来自编译。 核心摘要与要点 美国前沿实验室的交易估值,完全建立在“学徒期”结束后能获取垄断级超额利润的假设之上。一旦沦为商品化结局,其现有的金融架构将难以为继。 运行在 LangChain、vLLM、llama.cpp 和 Ollama 技术栈之上的权重开放模型(如 DeepSeek、千问、Kimi、智谱 GLM),正在以远超闭源实验室加固护城河的速度,将 AI 能力推向商品化。 当技术无法人为制造稀缺性时,美国资本就会转而通过行政监管围剿、垂直整合以及捆绑分发来强行制造稀缺。这就是美国资本主义在这种境遇下的惯用伎俩,而他们现在正在故伎重演。 关于美国未来的三个预测:一是以安全为幌子对中国开源/开放权重模型进行监管围剿;二是前沿实验室将转型为运营商,吞并自身客户;三是一个分裂的市场——美国本土用户不得不为闭源实验室的高昂定价买单,而世界其他地区则会绕开美国

来源:36氪
企业新闻2026/6/8Rokid
氪星晚报|追觅质押嘉美包装2.47亿股,向兴业银行贷款提供担保;黄仁勋:SK海力士到2030年将晶圆产能翻倍的计划还不够

大公司: 热门中概股美股盘前多数上涨,哔哩哔哩涨超5% 36氪获悉,热门中概股美股盘前多数上涨,截至发稿,哔哩哔哩涨超5%,蔚来、理想汽车涨超2%,阿里巴巴涨0.87%,京东涨0.48%,小鹏集团涨0.31%,百度跌超1%,拼多多跌0.35%。 天娱数科:目前无物理AI业务,未形成相关业务收入 36氪获悉,天娱数科公告,公司股票于2026年6月5日、6月8日连续两个交易日收盘价格涨幅偏离值累计超过20%,属于股票交易异常波动。经公司自查并向第一大股东核实,公司前期披露信息无需更正补充,未发现可能对股价产生较大影响的未公开重大信息,生产经营活动正常,第一大股东在异常波动期间未买卖公司股票。公司关注到近期部分媒体讨论涉及“物理AI”概念,但截至目前,公司没有物理AI业务,未形成相关业务收入。 锋龙股份:截至目前,公司不涉及人形机器人业务 36氪获悉,锋龙股份发布股票交易异常波动公告,公司股票交易连续3个交易日收盘价格涨幅偏离值累计超过20%。截至目前,公司不涉及人形机器人业务,主营业务仍为园林机械零部件、汽车零部件和液压零部件的研发、生产和销售,未发生重大变化,公司市场环境或行业政策未发生重大调整。公司与优必选及

来源:36氪
企业新闻2026/6/8DeepSeek
Agent自进化新范式:孙立超团队提出OpenSkill,刷新多项基准SOTA

目前,自进化 Agent 的持续学习,大多数依赖成功轨迹、现成 skills 或明确反馈。但在真实部署中,Agent 也因这些前提难以同时满足,无法继续积累经验并迭代。 针对这个问题,里海大学计算机科学与工程系助理教授孙立超团队及其合作者提出了 OpenSkill框架——不同于依赖人工策划、LLM 生成或监督信号的自进化方法,让 Agent 在不依赖目标任务监督信号的情况下,也可获得可执行、可迁移的 skills。 论文链接:https://arxiv.org/abs/2606.06741 结果显示,OpenSkill 在多个基准上取得 SOTA 自动化表现,学到的 skills 还可直接迁移到能力更弱的模型。相关资源已在 GitHub 上公开,供免费下载、使用。 图|自进化 Agent skills 的范式。 OpenSkill 是如何设计的? OpenSkill 是一个面向开放世界的 Agent skills框架,它以任务指令、执行环境、基础模型、工具访问权限和开放世界资源为输入,整体流程包括三步:开放世界知识获取、无泄漏 skills 进化和零样本目标评估。 图|OpenSkill 框架概览。 开

来源:36氪
企业新闻2026/6/8宇树科技
vivo、荣耀接连入场,戳破了具身智能的AI叙事

一周前,黄仁勋站在台上宣布,英伟达已与宇树科技合作,推出新一代人形机器人参考设计“H2+”。宇树方面随后补充:新产品基于英伟达算力平台研发,算力水平将超越此前型号,下半年亮相。 这条消息发出后第二天,宇树科技在科创板走完最后一道程序,离“人形机器人第一股”只差临门一脚。 6月1日,顺利通过上市委审议会议,6月2日就提交注册,从受理到过会仅用了73天。这不仅远快于科创板平均审核周期,也是继长鑫科技之后,科创板预先审阅机制落地后的第二单标杆案例。 上半年,宇树和云深处相继把招股书递进上交所。5500台人形机器人的全球第一,2025年营收17亿,毛利率60%,这是宇树递交的成绩单。云深处也递了一份:营收3亿出头,95%以上来自四足机器人,首次扭亏为盈。 不过,营收只有对方五分之一的云深处,市销率反而高了六成。 熊彼特曾提出了一个概念:创造性破坏。他说,资本最核心的机制,不是创新本身,而是创新如何不断摧毁旧的经济结构,再从废墟上建起新的。历史上每一轮技术浪潮,第一批钱几乎从未落在核心技术发明者的口袋里。晶体管让索尼和摩托罗拉发财,不是贝尔实验室;互联网让亚马逊和谷歌印钞,不是伯纳斯-李。发明是一回事,把发明做成可以

来源:36氪
企业新闻2026/6/8宇树科技
中国具身智能“超级融资周期”,能否复制“新能源车时刻”?

摩根士丹利预测,到2050年,全球人形机器人市场规模将达到7.5万亿美元,中国采用量将占全球总量的30%,引领终极蓝海。 AI叙事,正从基础设施向应用层切换,具身智能迎来“超级融资周期”。 二级市场,具身智能IPO潮涌。近期,估值420亿元的宇树科技过会,刷新A股最快IPO纪录。 与此同时,云深处估值139亿元、乐聚智能估值43亿元,分别冲刺科创板、创业板,已进入“问询”阶段。 港股更加火爆,近50家机器人公司正排队IPO,占整体排队企业数量超过10%。 一级市场,PE/VC、国资基金、互联网巨头等疯狂抢筹,“热钱”井喷。据36氪“具身万象”统计,今年1-5月,具身智能领域发生超230次融资事件,融资规模超过570亿元。 6月初,星尘智能完成B轮系列融资,3个月内连续完成3轮融资,累计融资超10亿元,估值突破百亿元。 千寻智能完成15亿元A+轮融资,近3个月密集完成4轮融资,累计融资约50亿元,最新估值已突破200亿元。一位接近交易的投资人透露:份额非常抢手。 资本狂热,不怕投错和失败,只为押注AI下半场最清晰的货币化前沿。 “十五五”规划纲要已经明确:推动具身智能成为新的经济增长点。 摩根士丹利预测,中国

来源:36氪
企业新闻2026/6/8力积存储
日赚4291万,江西姐弟又要IPO了

“短期缺芯片,长期缺能源,永远缺存储。” 2025年下半年以来,这句话被验证得淋漓尽致——AI大模型竞赛催生出史无前例的算力饥渴,而算力的背后是存储。HBM被科技巨头疯抢,DDR5价格一路狂飙,NAND闪存涨到渠道商扫货无门。 在这波“超级周期”的推动下,不少存储芯片公司都在加速资本化,江波龙便是其中之一。 近日,江波龙向港交所递交了上市申请,联席保荐人是花旗和中信证券。 这已经是它第二次冲刺港股,上一次是2025年3月,后来因未完成审核流程搁浅,此番卷土重来,江波龙在时机拿捏上颇为精准。 就在递表前,公司刚刚交出一份惊艳的一季报:2026年Q1,营收99亿元,归母净利润38.62亿元,折算下来,平均每天净赚4291万元。更夸张的是股价——在一年前还在70元附近徘徊,如今已冲破500元,公司市值更是逼近2200亿元。 超级行业周期叠加超级业绩,这次IPO,江波龙摆明了要在最好的时候,讲更大的故事。 江西姐弟卖芯片,做到了全球第二 与半导体行业普遍的“精英叙事”不同,江波龙的故事是一场标准的草根逆袭。 1996年,高中毕业的江西九江青年蔡华波南下深圳,在一家电子公司干销售,凭着一股拼劲很快成了销售冠军,但他心里

来源:36氪
企业新闻2026/6/8DeepSeek
谁能拯救小米的股价?胡峥楠还是罗福莉?

谁能拯救雷军的焦虑?  在中国科技公司里,小米可能是唯一一家"越努力越焦虑"的公司。 5月19日,YU7 GT在纽北跑出7分34秒931。刷新了量产SUV圈速纪录。深度参与这台车调校的,是胡峥楠。雷军等了整整五年的汽车CTO。 一周前,罗福莉的MiMo大模型登顶OpenRouter全球日榜和周榜双第一。成为Hermes Agent首选推理引擎。周调用量突破1.75万亿Token。半年前,雷军传出千万年薪的挖角价码,把她从DeepSeek请来。 两张牌。随便一张放在别的公司身上,都够股价涨停三天。 但资本市场的回应是:从去年6月的61港元,一路跌到如今的30港元附近。市值蒸发超过7000亿港元。 问题不是有没有价值。近90天24家投行给出评级,绝大多数喊买入,目标均价42.47港元。最保守的交银国际也给到34.8港元,评级"中性"。即使是最悲观的机构,也比当前市场乐观13%以上。 是市场在等一个答案:小米到底是一家什么公司? 胡峥楠和罗福莉,是小米近期最耀眼的两个人。 胡峥楠,2026年4月正式出任小米汽车CTO。 他在吉利一手缔造了CMA、BMA、SEA浩瀚三大架构。是吉利体系内的"四号人物"。职业生涯累计参

来源:36氪
企业新闻2026/6/7DeepSeek
小红书的乌托邦,装不下商业化

中国互联网里,小红书做产品的思路或许是最像张小龙(微信的)的。 在一个越来越急着变现的互联网里,小红书是少数没有被彻底抖音化的平台。它不断增加新的内容形态,却很少表现出强烈的改造欲。 外界从未怀疑过小红书做内容的能力。但内容能力的确定性,并没有同步转化成商业化的确定性。 过去这些年,小红书把流量变成生意这件事试了很多遍。一个种草基因如此浑然天成的平台,本地生活、餐饮团购、酒旅、电商,却无一成功。种草容易,拔草难。这句话说了很多年,答案一直没有出现。 这个时代,焦虑这个词似乎已经用烂了,但小红书确实焦虑。 外部的表盘一直在走。估值站上500亿美元,投资人等着超级IPO兑现,商业化的故事必须讲得更具体。2025年下半年开始,小红书开始显露出一种过去很少见的急迫感:大商业板块成立,架构整合,柯南升任总裁,AI部门独立升级。13年里最密集的一波调整,都挤在这一年里。 而就在上周,小红书高调官宣了和世界杯的合作。 01 小红书怎么就和世界杯扯上关系了? 据晚点报道,小红书已经确定成为今年美加墨世界杯持权转播商,也是除中央广播电视总台、咪咕之外,唯一的直播、点播、短视频版权的持权方。目前,小红书App图标已经标注上了“世

来源:36氪
企业新闻2026/6/7DeepSeek
多家供给方下调算力价格 算力普惠再提速

随着全国算力基建规模化、标准化不断提速,多家算力价格也迎来持续普惠。让曾经昂贵的“高端稀缺资源”变身为各行各业可普惠使用的“数字水电”。前不久,多家模型厂商宣布永久下调算力价格,其中DeepSeek与小米MiMo降价尤为显著,最高降幅接近99%。极大降低了用户日常高频问答、网页设计、代码编程等多场景AI使用成本,让各类轻量化、常态化AI应用告别高门槛、高成本的制约。(央视新闻)

来源:36氪
企业新闻2026/6/7宇树科技
中国公司全球化周报|滴滴一季度国际业务GTV同比增长60% / 可灵AI全球用户破1亿,覆盖224个国家和地区

头条大事 迪拜商业论坛代表团阵容公布,对接意愿征集限时开启 2026年10月14日,第五届“迪拜商业论坛·中国”将在深圳举行。本届论坛,迪拜商会将率高规格代表团赴华:重量级财团、知名家办、头部投资机构齐聚论坛,覆盖金融资本、地产基建、航空物流、零售消费、科创制造、食品医疗、人工智能等多元赛道,为中国企业拓展中东市场、寻找合作伙伴、推进项目落地提供实质性机会;官方政府机构、核心自由区及产业平台现场对接,将围绕行业政策、市场监管、跨境经营、自由区落地等展开交流,帮助企业解决合规与准入问题。如果您对本届迪拜商业论坛·中国感兴趣,欢迎扫描下方二维码或点击“此处”填写注册表单申请参会席位。 公司动态 滴滴一季度国际业务单量同比增长27%,GTV 同比增长60% 6月2日,滴滴在其官网发布2026年一季度业绩报告。一季度滴滴核心平台交易量同比增长13%至48.02亿单。中国出行连续13个季度稳健增长,日均订单创新高达3940万单,GTV 同比增长10%至858亿元;国际业务单量同比增长27%至日均1394万单,GTV 同比增长60%至376亿元。(滴滴官方) 可灵 AI 全球用户突破1亿,覆盖224个国家和地区 6月5

来源:36氪
企业新闻2026/6/7宇树科技
东北985,挤满机器人投资人

肥沃松嫩平原上,滔滔松花江畔,今日热闹非凡。 6月7日,哈尔滨工业大学迎来了106周年校庆。校园内处处洋溢着节日的欢庆,与这份热闹相呼应的,是中国机器人产业版图上的一派繁忙,一群哈工大校友正带领各自的企业,在资本市场与技术前沿频频落子。 就在校庆前夕的5月19日,乐聚智能的创业板IPO申请获得受理,有望成为继宇树科技之后的又一具身智能领域上市公司。斯坦德机器人再次向港交所递交上市申请,拟通过18C特专科技章节挂牌。卧安机器人则于2025年12月率先登陆港交所,摘得“AI具身家庭机器人第一股”头衔。三家公司,共同的底色都是“哈工大出品”。 将视野进一步拉大:协作机器人赛道的法奥意威、特种机器人方向的智兀科技、工业自动化领域的李群自动化……无不出自哈工大系。而最年轻的入局者,是2004年出生的黄一,2025年,尚在读大三的他在上海创立了RoboParty(萝博派对),至今已完成多轮融资。 一所大学能孵化出如此密集的机器人创业军团,绝非偶然。早在1986年,哈工大便成立了机器人研究所,是国内最早开展机器人研究的高校之一。四十年的学科积淀,使其成为中国机器人工程师的重要策源地,业内更有人称其“撑起机器人圈半壁江山”。

来源:36氪
企业新闻2026/6/7DeepSeek
AI重塑全球化,中国企业出海新机遇

全球AI市场:从爆发增长到结构分化 全球生成式AI正经历从技术突破向商业变现的关键跨越。 据SensorTower数据显示,2025年第二季度至2026年第一季度,生成式AI赛道以232%的同比增速、超44亿美元的收入增量,成为非游应用市场中无可争议的增长引擎。这不仅反映了用户对AI应用接受度的快速提升,更标志着AI已从早期概念验证进入主流消费市场的规模化付费阶段。 在这一全球增长浪潮中,区域市场呈现出显著的分化特征。美国市场以近38%的份额、近22亿美元的内购收入断层领跑全球,其成熟的应用生态和高付费用户构成了短期难以复制的先发优势。日本、韩国等亚太市场虽然体量较小,但增长强劲,也正成为中国AI出海亟需重点突破的增量阵地。 这种“美亚双极”格局意味着,中国企业既需要在成熟市场验证技术实力,也需在亚太市场发挥文化相近性与场景创新优势。 进一步观察AI应用市场的竞争格局可以发现,通用工具与垂类应用正沿着不同路径加速分化。在AI智能助手领域,ChatGPT凭借技术领先优势、用户规模和生态壁垒形成了显著的头部效应,新进入者将面临极高的市场门槛。而AI陪伴、AIAgent、AI图像视频生成等高价值赛道仍处于快速

来源:36氪
企业新闻2026/6/7DeepSeek
用了 AI 之后,公司好像更穷了

AI 刚出来的时候,老板们都以为裁员降本的机会来了。 想象的是,一个 AI 顶三个人、不眠不休、随叫随到、不用涨薪、不用社保,还能 24 小时在线。 听起来很完美,现实是 AI 确实不摸鱼,也确实不加班,它只是每多干一点,就多收一点钱。 以至于现在很多公司已经开始直呼:烧不起 token 了。 很多人第一反应都是:不至于吧?AI 不是越来越便宜吗? DeepSeek 出来以后,不都说大模型成本打下来了? 但很多人忽略了一件事:模型是降价了,可企业用得也越来越狠了。 从一个人偶尔用,到全员都在用,再到几十个 Agent 在后台 24 小时自己跑,结果就是单次调用是便宜了,月底账单却越来越贵。 比如,Uber 给 5000 名工程师开放 Claude Code ,短短几个月几乎烧光全年 AI 预算。 微软这段时间,也开始踩刹车,收紧内部 Claude Code 的使用权限,不再让工程师无限制调用。 说白了,就是之前那种“想怎么用就怎么用”的阶段,结束了。 亚马逊更直接,干脆把内部的 AI 使用排行榜给撤了。 原因很简单,他们发现一旦把“用了多少 AI ”当成指标,员工就会开始为了排名疯狂刷 token。 看

来源:36氪
企业新闻2026/6/7宇树科技
比亚迪的机器人还没打算卖

这两天机器人赛道挺热的。 6月1日,宇树科技科创板过会了,第二天就提交了注册。紧接着,比亚迪执行副总裁李柯上访谈,亲口承认比亚迪在搞机器人。话音没落,埃斯顿当天涨停。 接着6月5日,绿的谐波20cm封板,整个板块直接起飞。机器人ETF华夏一天涨了快4%。 01 好多人问:比亚迪凑什么热闹?网上的说法是,搞了四年,代号「尧舜禹」,原型机到第七代了,150台样机在深圳和长沙24小时跑着。 每经记者拿这套说法去跟比亚迪求证,比亚迪回了四个字:均不属实。 有意思就在这里;否认的是细节,方向没变。李柯在访谈里亲口说的,比亚迪在做机器人。每经同一篇报道里,一位接近比亚迪的知情人士也确认了。 比亚迪投帕西尼、投智元的股权记录,工商信息白纸黑字摆着;2022年成立具身智能团队、2024年整建制校招具身智能方向的人才,这些都是公开信息。 所以,具体叫什么代号、迭代到第几代、铺了多少台,这些比亚迪不认;但它在做这件事,没有争议,对上市公司来说,数据一般情况下都不会偏差很大。 我扒了一下比亚迪2025年年报: 到去年年底,在职员工总数86.96万人;比2024年底的96.89万人,少了差不多10万。 减掉的主要是干生产的,从76.

来源:36氪
企业新闻2026/6/7DeepSeek
DeepSeek V4做数学证明,500倍成本优势:智能体系统刷新多项纪录

数学领域,最近着实被 AI 的产出冲击到了。 2026 年 5 月 20 日,OpenAI 宣布,其内部推理模型成功推翻了由数学家保罗・埃尔德什(Paul Erdős)于 1946 年提出的「单位距离猜想」—— 一个困扰离散几何领域近 80 年的核心开放问题。 菲尔兹奖得主蒂莫西・高尔斯(Timothy Gowers)对此表示:「如果 AI 能证明单位距离猜想,对于数学界和科学界而言是一个具有划时代意义的里程碑事件……这样高质量的数学论文如果是由人类提交给顶级学术期刊《数学年刊》的话,我会毫不犹豫地推荐录用。」 就在同一个月,另一位菲尔兹奖得主陶哲轩在斯坦福大学发表了一场题为《新数学工作流》的演讲。他宣布,自己已经放弃实时跟进所有新证明,AI 生成证明的速度已经远超人类消化能力。他的判断更直接:数学正在从「证明稀缺时代」进入「证明过剩时代」,真正的瓶颈,已经从「如何生成证明」转移到了「如何验证与理解证明」。 这句话值得停下来想一想。AI 正在以人类无法跟上的速度产出数学结论,而我们越来越难以判断这些结论是否真的站得住脚。数学这门最讲究严格性的学科,正面临一场前所未有的验证危机。 可能的解法是:让 AI 来验证

来源:36氪
企业新闻2026/6/7东睦股份
马斯克要造百万台机器人,经济学人说关键在宁波

人形机器人这个赛道,2026年是真的挤,光中国就冒出来一百多家公司在做这个事,马斯克给出了百万台人形机器人的量产目标,国内几家头部公司也在抢着出货。 前段时间,《经济学人》盘了一下全球人形机器人零部件供应商30强,按城市标在了一张地图上。 我看这张图之前随手猜了一下,第一名应该是深圳吧?听说美国搞机器人的创业公司融完资,第一件事就是飞深圳,这都快成行业惯例了,上海也合理,常州也说得过去,武进区的商人号称90%的机器人零件都能在本地凑齐。 结果一看,按上市公司数量算,入选最多的城市是宁波,6家,全国第一。 宁波? 造模具、造小家电、给全世界汽车厂供零部件的那个宁波? 我研究了一下这个事情,发现有意思的地方在于:你把“为什么是宁波”这个问题搞明白了,顺带也就看清楚了一台很先进的机器人,到底是怎么长出来的。 01 拆开一台机器人看看 先从一个整体印象开始。 一台特斯拉Optimus人形机器人,身上有28个关节执行器,新一代灵巧手的自由度提升至22个,全身装了超过80个传感器,听着很厉害,拆开看就没那么科幻了。 执行器里面是什么?电机、齿轮、螺杆、轴承。以六维力传感器为例,其核心结构通常是金属弹性体和应变片。灵巧手

来源:36氪
企业新闻2026/6/7DeepSeek
京沪高考作文考AI,三大模型同台PK:谁是真正的“作文王者”?

6月7日,2026年全国高考正式拉开帷幕,全国1290万考生奔赴考场。高考语文作文题每年都是大家最为关注的焦点,今年全国各地高考作文题公布,其中北京卷、上海卷写作题目涉及到了科技发展、人工智能(AI)等话题。北京卷微写作以重阳节到来之际,学校拟组织志愿者到敬老院开展“人工智能(AI)与幸福晚年”主题活动,要求...... 本文来自微信公众号: 新浪财经 ,作者:闫妍,原文标题:《京沪高考作文考AI!三大模型同台PK:谁是真正的“作文王者”?》 6月7日,2026年全国高考正式拉开帷幕,全国1290万考生奔赴考场。高考语文作文题每年都是大家最为关注的焦点,今年全国各地高考作文题公布,其中北京卷、上海卷写作题目涉及到了科技发展、人工智能(AI)等话题。 北京卷微写作以重阳节到来之际,学校拟组织志愿者到敬老院开展“人工智能(AI)与幸福晚年”主题活动,要求写一段活动的宣传语,吸引老人们积极参加。 上海卷则以70分的大作文,抛出了一个极具哲学思辨的命题:“每个人都有对世界的想象。科技改造世界时,也改造着我们的想象,对此你有怎样的认识和思考?” DeepSeek 【北京卷微写作题】 爷爷奶奶们,您是否想体验AI的神

来源:虎嗅