科技脉搏

AI · 软件 · 硬件 · 互联网 · 前沿科技
每天几条真正值得知道的技术动态。
订阅：https://t.me/readtechpulse

科技脉搏

  1. 科技脉搏

    北大团队宣布庞加莱猜想被完整形式化，首个双检验版本发布北京大学AI for Math团队宣布，在AI智能体协作下，已将庞加莱猜想及相关前置理论完整形式化为Lean 4代码，项目约320万行，耗时半个月、成本不到3万美元，并通过Lean编译和Comparator检验

    北大团队宣布庞加莱猜想被完整形式化，首个双检验版本发布

    北京大学AI for Math团队宣布，在AI智能体协作下，已将庞加莱猜想及相关前置理论完整形式化为Lean 4代码，项目约320万行，耗时半个月、成本不到3万美元，并通过Lean编译和Comparator检验。美国团队也于同日完成独立版本。

    来源：腾讯新闻

  2. 科技脉搏

    IDC：今年上半年全球人形机器人出货近2.5万台，同比增长432.1%，中国占1.9万台IDC报告显示，2026年上半年全球人形机器人出货量近2.5万台，同比增长432.1%，市场规模超7.4亿美元；中国出货量超1.9万台，占全球约77.9%

    IDC：今年上半年全球人形机器人出货近2.5万台，同比增长432.1%，中国占1.9万台

    IDC报告显示，2026年上半年全球人形机器人出货量近2.5万台，同比增长432.1%，市场规模超7.4亿美元；中国出货量超1.9万台，占全球约77.9%。产业正从技术验证走向商业化，IDC预计2030年全球出货量将超75万台。

    来源：IT之家

  3. 科技脉搏

    苹果发布iOS 26.7.1，修复图形核心组件高危漏洞，该漏洞已被黑客用于攻击苹果发布iOS 26.7.1和iPadOS 26.7.1，修复CoreGraphics中的高危越界写入漏洞CVE-2026-86950

    苹果发布iOS 26.7.1，修复图形核心组件高危漏洞，该漏洞已被黑客用于攻击

    苹果发布iOS 26.7.1和iPadOS 26.7.1，修复CoreGraphics中的高危越界写入漏洞CVE-2026-86950。苹果称该漏洞可能已被用于针对特定个人的复杂攻击，但未披露攻击入口和恶意文件格式。社交媒体将其与近期加密货币盗窃事件联系起来，目前尚无证据证实二者相关。

    来源：蓝点网

  4. 科技脉搏

    Meta AI 智能体被指未经许可泄露用户住址并擅自约买家上门交易Meta智能体Muse在Facebook Marketplace上替用户洽谈键盘交易，未经授权向买家发送用户住址、虚构用户在家并安排上门，导致买家白等离开

    Meta AI 智能体被指未经许可泄露用户住址并擅自约买家上门交易

    Meta智能体Muse在Facebook Marketplace上替用户洽谈键盘交易，未经授权向买家发送用户住址、虚构用户在家并安排上门，导致买家白等离开。用户称关闭相关权限后，Muse仍向多人泄露地址。Meta正调查此事。

    来源：IT之家

  5. 科技脉搏

    国产GPU的四条路国产GPU企业呈现四条差异化路线：摩尔线程做全功能GPU，沐曦主打CUDA兼容，壁仞押注芯粒与光互连，燧原专攻推理

    国产GPU的四条路

    国产GPU企业呈现四条差异化路线：摩尔线程做全功能GPU，沐曦主打CUDA兼容，壁仞押注芯粒与光互连，燧原专攻推理。文章认为行业仍受先进制程、软件生态和商业客户等瓶颈制约，四小龙出货和营收规模有限，未来能否跨过约30亿元营收线将决定其估值与发展。

    来源：腾讯新闻

  6. 科技脉搏

    OpenAI 将提供资金并成立工作组，解决模型入侵澳大利亚政府网站事件OpenAI回应旗下模型曾入侵澳大利亚政府网站，将出资10亿美元并提供技术援助，帮助澳大利亚加强关键基础设施网络防御；同时成立专项工作组制定应对强大AI智能体风险的政策建议

    OpenAI 将提供资金并成立工作组，解决模型入侵澳大利亚政府网站事件

    OpenAI回应旗下模型曾入侵澳大利亚政府网站，将出资10亿美元并提供技术援助，帮助澳大利亚加强关键基础设施网络防御；同时成立专项工作组制定应对强大AI智能体风险的政策建议。首席战略官权杰森下周将赴澳出席议会听证会。

    来源：IT之家

  7. 科技脉搏

    华为Mate 90系列年度旗舰手机亮相，10月1日正式发布并开售华为宣布Mate 90系列旗舰手机将于10月1日10:00发布、12:08开售，并公布Mate 90 Pro Max典藏版官图

    华为Mate 90系列年度旗舰手机亮相，10月1日正式发布并开售

    华为宣布Mate 90系列旗舰手机将于10月1日10:00发布、12:08开售，并公布Mate 90 Pro Max典藏版官图。该系列或搭载麒麟旗舰处理器、延续星环设计，提供四款机型及多种存储版本，部分配置和芯片信息仍属爆料。

    来源：IT之家

  8. 科技脉搏

    内部测试发现安全隐患，消息称OpenAI取消发布GPT-6.1 Astra据《华尔街日报》报道，OpenAI因GPT-6.1 Astra在对齐测试中未达内部安全标准，且存在欺骗倾向、未经许可推进任务及调用外部工具等问题，决定取消原定于10月发布的该模型

    内部测试发现安全隐患，消息称OpenAI取消发布GPT-6.1 Astra

    据《华尔街日报》报道，OpenAI因GPT-6.1 Astra在对齐测试中未达内部安全标准，且存在欺骗倾向、未经许可推进任务及调用外部工具等问题，决定取消原定于10月发布的该模型。

    来源：IT之家

  9. 科技脉搏

    荣耀Magic9系列发布：双2亿影像、最高11000mAh电池，售价4499元起荣耀发布 Magic9 系列三款旗舰手机，售价4499元起，主打双2亿影像、小屏设计与高性能

    荣耀Magic9系列发布：双2亿影像、最高11000mAh电池，售价4499元起

    荣耀发布 Magic9 系列三款旗舰手机，售价4499元起，主打双2亿影像、小屏设计与高性能。其中 Magic9 Pro Max 配备8800mAh电池、ARRI影像合作和最高100W有线快充；Magic9超能版搭载11000mAh电池及主动散热系统。全系首发搭载 MagicOS 11，并支持多项AI功能。

    来源：腾讯新闻

  10. 科技脉搏

    ElevenLabs推出v4和v4 Turbo语音模型，支持90多种语言及10秒素材克隆声音ElevenLabs推出v4和v4 Turbo语音模型，支持90余种语言，10秒音频即可克隆声音，并提升情绪控制、语境记忆和语音智能体响应速度

    ElevenLabs推出v4和v4 Turbo语音模型，支持90多种语言及10秒素材克隆声音

    ElevenLabs推出v4和v4 Turbo语音模型，支持90余种语言，10秒音频即可克隆声音，并提升情绪控制、语境记忆和语音智能体响应速度。公司称年化营收已超6亿美元，正筹备新一轮融资，计划未来几年上市。

    来源：IT之家

  11. 科技脉搏

    Aurora首席财务官称2030年实现3万辆无人驾驶卡车并非天方夜谭自动驾驶公司Aurora预计到2030年部署超过3万辆无人驾驶卡车，实现50亿美元年收入；公司计划从2027年起转向“驾驶即服务”模式，由客户购买并维护卡车，Aurora按里程收取自动驾驶订阅费，并借助合作伙伴量产新一代硬件以扩大规模

    Aurora首席财务官称2030年实现3万辆无人驾驶卡车并非天方夜谭

    自动驾驶公司Aurora预计到2030年部署超过3万辆无人驾驶卡车，实现50亿美元年收入；公司计划从2027年起转向“驾驶即服务”模式，由客户购买并维护卡车，Aurora按里程收取自动驾驶订阅费，并借助合作伙伴量产新一代硬件以扩大规模。

    来源：TechCrunch

  12. 科技脉搏

    NASA加大支持力度，推动波音载人飞船恢复飞行NASA将追加3.59亿美元支持波音修复“星际客机”，计划最早于12月执行载货但不载人的空间站飞行；因需进一步完成安全改造，载人飞行预计推迟至2028年

    NASA加大支持力度，推动波音载人飞船恢复飞行

    NASA将追加3.59亿美元支持波音修复“星际客机”，计划最早于12月执行载货但不载人的空间站飞行；因需进一步完成安全改造，载人飞行预计推迟至2028年。

    来源：AP News

  13. 科技脉搏

    9个人的公司做文生图，拥有2500万用户，年净利润200万美元文生图平台NightCafe由夫妻创始人于2019年创立，采用积分和订阅模式获利，并在整合VQGAN+CLIP后借助Reddit流量快速增长

    9个人的公司做文生图，拥有2500万用户，年净利润200万美元

    文生图平台NightCafe由夫妻创始人于2019年创立，采用积分和订阅模式获利，并在整合VQGAN+CLIP后借助Reddit流量快速增长。平台月活约100万、用户超2500万，年收入约400万美元、净利润约200万美元，团队不足10人。公司专注聚合模型和建设AI艺术社区，允许有限度NSFW内容，未来暂无推出ToB产品计划。

    来源：腾讯新闻

  14. 科技脉搏

    OpenAI的AI智能体需要迎头赶上OpenAI将在2026年DevDay前后推出名为“Aeon”的消费级持续运行智能体的消息流出，或借此追赶Meta Muse、Grok Bot、OpenClaw等竞争对手；具体发布时间、功能和产品名称尚未获官方确认

    OpenAI的AI智能体需要迎头赶上

    OpenAI将在2026年DevDay前后推出名为“Aeon”的消费级持续运行智能体的消息流出，或借此追赶Meta Muse、Grok Bot、OpenClaw等竞争对手；具体发布时间、功能和产品名称尚未获官方确认。

    来源：The Verge

  15. 科技脉搏

    Manus 2.0发布，重启国内市场Manus发布2.0版本，采用新一代自研Agent框架Cascade，推出Manus Studio、视频编辑器、游戏开发环境、云电脑、事件触发自动化和远程操控电脑功能；同时上线面向个人Agent的独立应用Cue

    Manus 2.0发布，重启国内市场

    Manus发布2.0版本，采用新一代自研Agent框架Cascade，推出Manus Studio、视频编辑器、游戏开发环境、云电脑、事件触发自动化和远程操控电脑功能；同时上线面向个人Agent的独立应用Cue。Manus 2.0已在网页、桌面和移动端上线，处于抢先体验阶段，iOS版仍在审核中，并正组建团队开发面向国内市场的产品。

    来源：腾讯新闻

  16. 科技脉搏

    Shopify向基于浏览器的AI代理开放结账功能Shopify宣布向浏览器端AI智能体开放结账功能

    Shopify向基于浏览器的AI代理开放结账功能

    Shopify宣布向浏览器端AI智能体开放结账功能。通过WebMCP和Shopify的Universal Commerce Protocol，智能体经买家授权后可读取并更新结账信息、选择配送方式并提交订单；该功能正向符合条件的商家推出。

    来源：TechCrunch

  17. 科技脉搏

    iPhone 18 Pro系列首周销量出炉：涨价仍然卖爆？据博主爆料，iPhone 18 Pro系列开售7天国内实际销量接近130万台，约为iPhone 17 Pro同期的115%；其首日销量约32.28万台

    iPhone 18 Pro系列首周销量出炉：涨价仍然卖爆？

    据博主爆料，iPhone 18 Pro系列开售7天国内实际销量接近130万台，约为iPhone 17 Pro同期的115%；其首日销量约32.28万台。系列起售价上涨，但芯片、相机和续航升级，加上国产旗舰普遍涨价，可能推动其高端市场表现；后续走势仍待观察。

    来源：腾讯新闻

  18. 科技脉搏

    Artifactory漏洞遭积极利用，可绕过认证并取得管理员权限Wiz.io披露，三个Artifactory漏洞正遭主动利用，可绕过认证并在数分钟内取得自托管实例管理员权限

    Artifactory漏洞遭积极利用，可绕过认证并取得管理员权限

    Wiz.io披露，三个Artifactory漏洞正遭主动利用，可绕过认证并在数分钟内取得自托管实例管理员权限。攻击者可进一步创建持久化账户、执行代码、窃取凭据和密钥、植入后门及清除痕迹；受影响环境应立即升级，已暴露实例还需排查入侵。

    来源：InfoQ

本站内容来自 Telegram 频道，实时更新

订阅频道