菲尔兹奖得主忧AI；马斯克推编程应用；支付宝发布AI付；阿里推出AI店小蜜 | 5月12日互联网日报

菲尔兹奖得主用AI解出博士级数学题，然后他开始为博士生们发愁了

剑桥大学数学教授、菲尔兹奖得主Timothy Gowers最近在博客中表达了对AI在数学研究中影响的担忧。他使用GPT-5.5 Pro解决了一个由Melvyn Nathanson提出的数学开放问题，并指出该模型的结果足以作为博士论文的一部分。Gowers强调，这种进展可能对数学博士生的培养产生负面影响，因为传统上用于训练新人解决难度适中的开放问题，AI已经可以在短时间内完成。他呼吁数学系为此变化做好准备，以避免未来可能出现的教育危机。

AI早报 | 马斯克入局 AI 编程赛道

5月12日，近期马斯克旗下公司xAI更名为SpaceXAI，并计划推出桌面端编程应用Grok Build。据报道，Grok的网页端短暂显示了"Grok计算机"按钮，透露相关应用即将发布。此次动向也伴随着马斯克宣布将在6月推出新的大模型，目标是在编程能力上超越当前业界领先者Calude。这一系列举措反映出马斯克加速布局AI编程领域，刺激市场对其未来技术输出和行业影响力的关注。

支付宝“AI付”发布，用户可体验“AI低价帮抢”功能

5月11日，支付宝推出新的支付服务功能“AI付”，以支持用户在委托代办场景下的支付需求。该功能通过与淘宝AI购物助手的全面整合，为用户提供"AI低价帮抢"服务。用户授权后，AI将自动监测商品价格并完成下单。目前，该功能限制为1000元以内的商品购买，并计划未来扩展至更多周期复购类场景。尽管技术进步带来了便利，此类自动化消费模式可能引发用户隐私和安全方面的关注。

广东AI备案再添新军，腾讯格力等6款模型上榜

截至5月11日，广东省人工智能领域新增6款完成登记的生成式服务，涉及腾讯音乐、格力电器等企业，累计达到53款。此次新增的模型包括腾讯音乐歌声唱作大模型和格力智能大模型等。这一发展反映出广东省在推动人工智能技术应用方面的积极进展。然而，随着越来越多企业参与AI领域，如何确保技术应用中的安全性和隐私保护成为亟待关注的问题。

SpaceXAI桌面编程应用Grok Build曝光;智源FlagSafe平台正式发布;蚂蚁集团百灵发布万亿级旗舰思考模型 Ring-2.6-1T| 极新早报

5月10日消息，xAI更名为SpaceXAI，并将推出桌面端编程应用Grok Build。泄露的“Grok计算机”功能显示该应用专注智能体自主编程工作流，支持多步骤开发任务，适配Git代码仓库等。尽管发布时间未定，但实测权限已陆续开放。9日，美股存储芯片股大幅上涨，其中闪迪涨超16%，美光科技涨超15%。此类股价波动表明投资者对相关技术的兴趣持续上升，但也需关注市场可能面临的波动风险。

高通CEO：智能手机不会死，但AI眼镜将承接大量日常事务

在对《财富》杂志的采访中，高通总裁兼CEO克里斯蒂亚诺・阿蒙警告数据中心建设瓶颈，指出能源基础设施建设远远滞后于芯片技术迭代速度，并反驳"唯GPU论"。他表示行业竞争将转向用户选择的智能体服务，同时安全与数据资产风险随之凸显。尽管看好AI发展，但他强调AI不会超越人类，只是服务社会的技术工具。

武大就OPPO母亲节文案发声；奥迪高管炮轰友商：用特调车刷圈速、轮胎/悬挂改过

武汉大学对OPPO母亲节文案引发的争议表示震惊与不认同，强调该文案内容不符合其育人理念。与此同时，上汽奥迪高管谢施奇批评汽车行业的圈速营销乱象，指责一些品牌通过改装车辆以获取优异圈速成绩，这些行为脱离了实际用户体验和需求。此外，演员张静初直播间销售产品被指产地造假，面临消费者集体起诉。这些事件反映出企业在广告宣传及产品质量上亟需加强自律。

“微信状态访客记录”话题上热搜，腾讯客服回应尚未上线该服务

近日，“微信状态访客记录”成为微博热搜话题，引发广泛讨论。针对网友晒出的截图和问题，腾讯客服回应称，该功能目前并未正式上线，仅在内测阶段。截图曝光的功能显示，用户可以看到浏览其状态的人数和头像，但这些数据存在不准确性。因此，这一功能尚无参考价值，未来微信计划通过优化来提升用户体验。

微软非洲数据中心遭延期，肯尼亚政府款项分歧成主因

根据路透社报道，微软在非洲的数据中心建设计划面临延期，主要原因是与肯尼亚政府在支付款项方面出现分歧。原计划投资10亿美元用于该项目，并完全使用地热能源供电。然而，由于肯尼亚政府无法满足微软的付款保障要求，导致谈判破裂。肯尼亚信息部常务秘书约翰·塔努伊强调谈判仍在进行，未完全失败或退出。有关各方暂未对此置评。

阿里发布全新AI店小蜜：“AI+人”转化效果首次超越纯人工

阿里巴巴于5月11日推出了具备售前售后能力的客服agent——全新AI店小蜜。此次升级引发关注的负面事件集中在潜在的风险控制和资产保护方面。尽管AI系统能自动处理复杂流程并提升风控能力，但仍存在商家赔付额度管理不当及AI假图识别模型的拦截准确性等问题。此外，AI的情绪识别功能在处理退货时可能因误判用户意图而影响订单挽留成效。