Workflow
Intelligence
icon
搜索文档
马斯克xAI挖走何宜晖:英伟达顶级工程师,西安交大校友
量子位· 2025-07-23 12:10
时令 发自 凹非寺 量子位 | 公众号 QbitAI 趁着老黄中国行,马斯克给他偷了家。 这不,英伟达顶级工程师 何宜晖(Ethan He) ,刚刚官宣加入了xAI。 这位西安交大校友表示,随着Grok4解锁AI领域,迫不及待进一步突破边界了。 有了"挖人大战"的热度在前,何宜晖的这波跳槽也引发不少猜测。有人在评论区直言:这年薪肯定不低! 不过对于和马斯克一起工作,显然有些网友还是一无所知,帐篷和行军床才是标配好嘛?! 英伟达顶级工程师 何宜晖本科就读于西安交通大学计算机科学专业,随后在卡内基梅隆大学获得计算机视觉硕士学位。 一毕业,何宜晖就有幸入职Meta(原Facebook),后于2023年加入英伟达。 在英伟达任职期间,他深度参与了先进世界模型平台Cosmos的研发。 他提到,这段经历让他"有幸与一群才华横溢的团队并肩作战,共同探索前沿AI技术",并坦言"受益匪浅"。 如今,作为英伟达推出的最先进世界模型,Cosmos已正式发布,并宣布可免费用于商业用途。 何宜晖点赞Grok-4 值得注意的是,何宜晖在尚未离开英伟达时,便对Grok-4表现出高度关注——正式发布后他第一时间点赞并公开称赞其突破性价值。 ...
算力的尽头是电力:墨脱水电站,决定AI竞赛胜负的“电力底牌”
钛媒体APP· 2025-07-23 12:04
文 | 谦同咨询 在人工智能的浪潮之巅,当全世界的目光都聚焦于芯片的纳米竞赛与模型的参数战争时,一个更原始、 更根本的制约因素,正悄然浮出水面,即将成为这场世纪竞赛的终极裁判。这个因素,不是算法,不是 芯片,而是电力。 在通往AGI(通用人工智能)的道路上,是海量的电能铸就的路基。这场关于未来智能的竞争,上半场 是科技的较量,下半场则是能源的对决。而当大洋彼岸的硅谷开始为电力短缺焦虑时,在中国西南的世 界屋脊,一个史诗级的工程,正准备为这场终局之战,落下决定性的棋子。 正在上演的AI电力危机 长期以来我们习惯于将算力视为一个虚拟概念,但它的物理本质,是半导体在电力驱动下进行的海量计 算。AI的每一次进化,都伴随着能耗的指数级跃升。 训练一次GPT-4,耗电量超过5,000万度,足以支撑一个普通美国家庭超过4,500年的用电。而这仅仅是 训练的成本,更大规模的推理应用,以及未来更强大的AGI,将是吞噬电力的巨大黑洞。 根据国际能源署(IEA)2025 年发布的《能源与人工智能》报告,在人工智能(AI)技术的爆发式发 展、云计算需求的激增以及数字化转型等因素的驱动下,全球数据中心的耗电量预计将经历显著增长, 预计 ...
全球首个IMO金牌AI诞生!谷歌Gemini碾碎奥数神话,拿下35分震惊裁判
首席商业评论· 2025-07-23 12:02
昨天,谷歌DeepMind正式官宣拿下IMO金牌! 他们凭借Gemini Deep Think(高阶版),一个通用模型,成功破解前5题,斩获35分(满分42分)。 而且, AI在极限4.5小时之内,就达到了IMO金牌标准。 最最重要的是,Gemini仅用纯自然语言——英语完成了解题。 与OpenAI不同的是,这一结果得到了IMO组委会官方认证。 Demis Hassabis连发两弹,一再强调「谷歌模型是首个获得官方金牌级别认可的AI系统」。 谷歌DeepMind,正式摘金 作为数学界的奥林匹克,IMO自1959年以来每年举办一次,每年吸引了全球各界优秀的学生参与。 参赛者需在4.5小时内解决6道极具深度的数学问题,涵盖代数、几何、组合数学和数论。 近年来,IMO逐渐成为AI能力的试炼场。数学问题不仅需要逻辑推理,还考验创造性思维和严谨性,这对 AI系统提出了极高要求。 2024年,AlphaProof和AlphaGeometry 2破解了6题中的4题,获得28分,达到了银牌水平。 这一突破利用专业的「形式语言」,表明AI开始接近顶尖人类的数学推理能力。 那么,这款模型是如何做到的呢? 今天,Gemini De ...
世界AI大会来袭!AI产业喜迎密集催化期!资金进场抢筹,重仓国产AI的589520资金转为净流入!
新浪基金· 2025-07-23 11:27
2025世界人工智能大会(WAIC) - 7月26日开幕 规模创历届之最 展出3000余项前沿展品 含100余款"全球首发"和"中国首秀"新品 [1] - 阿里巴巴 腾讯 宇树科技等企业将首发或展示亮点产品应用 [1] 中国人工智能产业发展现状 - 截至3月 中国已有346款生成式人工智能服务完成国家网信办备案 [1] - 2024年中国人工智能产业规模突破7000亿元 连续多年保持20%以上增长率 [1] - 生成式AI技术正加速向具体应用场景渗透 [1] 证券机构观点 - 东吴证券认为AI应用将进入快速成长期 因基础设施完善且大模型调用成本大幅下降 [1] - 兴业证券看好游戏 影视 端侧AI等落地场景 认为AI产业迎来催化密集期 [1] 科创板人工智能ETF表现 - 科创人工智能ETF华宝(589520)7月23日早盘场内价格上涨0.56% [2] - 成份股中优刻得 航天宏图涨幅超3% 合合信息 金山办公等跟涨 [2] - 科创板人工智能指数自2023年9月24日以来累计上涨90.90% 大幅跑赢科创综指(61.53%)等指数 [4] 国产AI产业链特点 - 科创板人工智能指数均衡配置应用软件 终端应用 终端芯片 云端芯片四大环节 [4] - 国产DeepSeek大模型实现技术突破 打破海外算力封锁 [4] - 端云融合成为AI发展核心趋势 国产替代进程加速 [4]
最全!关于2025数博会你想了解的都在这
搜狐财经· 2025-07-23 10:52
贵阳网·甲秀新闻讯 7月22日上午,2025中国国际大数据产业博览会新闻发布会在北京召开。这场会议提前"剧透"了2025数博会的哪些重要信息?一起来看! 交流活动方面,将围绕"数据要素""数据产业""数字经济""数据基础设施""国际合作"五个版块,举办20余场交流活动,分享数据产业前沿理论和创新实践。 行业赛事方面,将联合国内外知名企业、专业赛事机构,聚焦实体经济与数字经济深度融合、人工智能、国产软件等主流技术等热点方向设置赛题,举办多 场企业赛事和行业赛事。 2025数博会由国家数据局主办、贵州省人民政府承办,将于8月28日至30日在贵州省贵阳市举行。 2.活动亮点 2025数博会以"数聚产业动能 智启发展新篇"为主题,突出"国际化""专业化"和"产业化"三大特色,将重点举办五类活动。 专业展览方面,将设置数智领航、数智基建、数智服务、数智应用、数智创新、数智体验等6个主题展馆,展示一批数字经济领域的新技术、新产品、新方 案、新应用。还将同步举办专业定制化观展、技术研讨、小型路演、企业成果发布等活动。 开幕式方面,将邀请国内外政界人士、知名专家学者、著名企业家等出席,解读产业最新政策,交流行业深度思考。 2 ...
Z Potentials|Milton Yan, 00后辍学创业 Agent-native PaaS,打造Agent爆款制造机
Z Potentials· 2025-07-23 10:48
核心观点 - AI智能体(Agent)时代已来临,基础设施重构成为关键竞争点,Agent-native PaaS平台成为新物种[1] - CoreSpeed通过Zypher框架和部署平台解决Agent开发与部署的"最后一公里"问题,实现10倍效率提升[5][12][14] - 爆款产品DeckSpeed验证了平台价值:两周开发周期即登顶Product Hunt月榜,付费转化率达27%[28][30] 技术架构创新 - **容器级隔离**:首创"每个用户一个容器"架构,解决Agent串扰与安全问题[12][26] - **性能突破**:重构传统PaaS组件,任务响应时间从20分钟压缩至3分钟[27] - **开发范式**:Zypher框架实现代码精准修改(如DeckSpeed图表局部调整)和Checkpoint版本管理[24][25] 产品生态 - **开发工具链**:Trae+Zypher+CoreSpeed形成完整工作流,支持Unity/Blender等专业工具Agent化[31][32][33] - **标杆案例**: - DeckSpeed两周内完成PPT生成工具开发[28] - 暴雪团队开发"Cursor for Unity"实现场景灯光特效一键生成[24] - **生态建设**:联合NYU、NVIDIA等机构举办黑客松,推动开发者社区成长[30][33] 商业策略 - **指标导向**:聚焦容器启动量/使用时长等基础设施级指标,而非表面Agent数量[34] - **行业选择**:优先切入3D设计(Blender/Unreal)、建筑BIM等高复杂度垂类[31][32] - **资源整合**:从"零成本创业"转向战略性投入,加速关键路径突破[36][37] 行业趋势判断 - 2025年将迎垂类Agent爆发期,但部署能力成为主要瓶颈[15][16] - 传统DevOps无法满足Agent需求,原生基础设施重构势在必行[18][19] - 模型能力已非核心障碍,工程化部署决定Agent产品成败[8][12] 开发者赋能 - **Zypher框架三大能力**: 1) GAIA Benchmark排名第一的工具调用系统[23] 2) Indexing技术实现代码仓库语义级修改[24] 3) Checkpoint管理支持产出物版本控制[25] - **部署平权**:将K8S等复杂技术封装为简单接口,降低开发者门槛[14][26]
字节跳动发布通用机器人模型GR-3,AI人工智能(512930)回调蓄势
新浪财经· 2025-07-23 10:46
人工智能技术进展 - 字节跳动Seed团队发布通用机器人模型GR-3,该模型通过少量人类数据即可实现高效微调,快速低成本迁移至新任务及认识新物体 [1] - 上海人工智能实验室发布DeepLink超大规模跨域混训技术方案,支持千公里多智算中心跨域长稳混训千亿参数大模型,例如跨越1500公里连接上海和济南智算中心 [1] 人工智能行业动态 - 中证人工智能主题指数(930713)下跌0.16%,成分股涨跌互现,三七互娱领涨2.93%,同方股份上涨2.74%,石头科技上涨2.18%,光迅科技领跌2.18%,新易盛下跌1.64%,深信服下跌1.46% [2] - AI人工智能ETF(512930)下跌0.28%,最新报价1.45元,该ETF紧密跟踪中证人工智能主题指数 [2] 人工智能指数成分股 - 中证人工智能主题指数前十大权重股包括中际旭创、新易盛、寒武纪、科大讯飞、豪威集团、中科曙光、海康威视、澜起科技、金山办公、浪潮信息,合计占比52.8% [3] - AI人工智能ETF(512930)场外联接包括平安中证人工智能主题ETF发起式联接A、C、E [3]
ASMPT-主流半导体业务将受益于人工智能需求-ASMPT Ltd -Mainstream semi start to benefit from AI demand
2025-07-23 10:42
July 23, 2025 12:31 AM GMT ASMPT Ltd | Asia Pacific M Update Mainstream semi start to benefit from AI demand Reaction to earnings Unchanged Modest shortfall Modest revision lower Impact to our thesis Financial results versus consensus Direction of next 12-month consensus EPS Source: Company data, Morgan Stanley Research ASMPT released its 2Q25 earnings report, and below are the highlights: Ethan.Jia@morganstanley.com +852 3963-2287 Morgan Stanley Taiwan Limited+ Morgan Stanley Securities (China) Co., Ltd. i ...
全球宏观信贷市场的下一步走向与人工智能融资缺口- What's Next in Global Macro Credit Markets and the AI Financing Gap2
2025-07-23 10:42
July 20, 2025 06:00 AM GMT To be clear, capex related to AI and data centers has been in motion for the last few years. Spending from the hyperscalers alone has gone from ~$125 billion two years ago to ~$200 billion in 2024 and the consensus expectation is that it exceeds $300 billion in 2025. Internal operating cash flows from the hyperscalers have been the source of this spending. However, our equity analysts expect the investment needs for data centers to rise sharply over the next few years (see here an ...
aiXcoder代码智能体应用入选北京市AI典型案例
中国经济网· 2025-07-23 10:40
公司技术优势 - aiXcoder代码智能体内置MCP功能,可模拟人类开发者的任务规划、逻辑推理、工具调用、自主反思等能力,智能完成项目级代码生成、修改、调试、重构等复杂软件开发任务 [3] - 公司孵化自北京大学软件工程研究所,聚焦人工智能技术在软件工程领域的深度应用 [3] 行业解决方案 - 针对通信行业软件开发周期长成本高、大模型应用效果不佳、代码质量和安全难以保证等痛点,提供通信协议与API开发、通信网络设备软件开发、黑盒测试脚本自动化生成等场景的解决方案 [3][4] - 构建通信企业领域知识库,通过领域化数据治理、个性化训练和上下文工程提升大模型在研发问答、代码生成及测试用例生成等任务的准确性 [4] - 打造智能开发工作流,实现需求分析、编码、测试等全流程智能化辅助,与软件工程工具深度融合,实现零代码、低门槛、高效率开发 [4] - 内置缺陷检测与修复、代码审查功能,智能识别性能瓶颈、逻辑错误及安全风险,提升通信系统底层代码健壮性与安全性,并提供私有化部署服务保障数据安全 [4] 市场认可与未来规划 - aiXcoder代码智能体在通信领域的应用方案入选"北京市人工智能赋能行业发展典型案例",体现技术落地能力和产业赋能价值 [1][5] - 未来将继续以创新技术和企业领域化智能研发方案,为更多行业智能化研发和数字化转型注入创新活力 [5]