/
图灵奖得主Avi Wigderson：P vs NP、零知识证明、量子计算，分别意味着是什么？
写一篇自己也不完全懂的笔记。虽然不完全懂，但看完确实有收获，懂的人应该能收获更多。
大众汽车推进平价电动车战略，两款新车率先下线
大众汽车旗下ID. Polo与Cupra Raval已在西班牙马托雷尔工厂正式下线投产。两款车型起售价分别为24,995欧元和26,000欧元，均基于MEB+平台打造，搭载37kWh或52kWh电池组，续航里程最高可达454公里。这是大众"电动城市车家族"系列的首批产品，预计今年夏末秋初开始交付。大众集团通过跨品牌资源整合，实现约6亿欧元的成本节约，后续还将推出ID. Cross等新成员。
三星Health应用迎来AI升级，Galaxy Watch 9发布前夕更新提前揭晓
三星宣布将于6月8日起为Samsung Health应用推出重磅功能更新，赶在Galaxy Watch 9传闻发布之前落地。新版本将引入多项AI驱动的生物特征分析功能，包括：综合心率、血氧、皮肤温度等数据的每日活力评分（Vitals）、结合体成分数据评估长期心脏健康的心脏健康评分、优化训练强度的每日有氧负荷追踪，以及横向对比用户群体的健身指数。此外，应用界面将重新划分为睡眠、营养、活动、正念和体征五大板块，并新增抗氧化指数、年龄指数和听力保护等个性化功能。
Meta智能眼镜被曝含"人脸识别"追踪代码，隐私风险引发警示
据《连线》杂志调查并经EFF威胁实验室证实，Meta已在其智能眼镜配套应用中嵌入面部识别代码。该功能内部代号"NameTag"，可将眼镜摄像头捕捉的人脸转化为生物特征信息，并与本地数据库比对，向佩戴者推送相关人员信息。目前该功能尚未向用户开放，Meta表示尚未做出正式上线决定。EFF警告称，此举将用户变为"分布式监控工具"，引发隐私界高度关注。
Gemini企业智能体平台的智能体RAG如何实现可靠响应
谷歌研究院与谷歌云联合推出全新Agentic RAG框架，搭载于Gemini企业智能体平台。该框架通过多智能体协作，将复杂查询分解并迭代检索，引入"充分上下文智能体"进行质量把控，确保信息完整后再生成答案。在FramesQA数据集测试中，跨语料库准确率达90.1%，较标准RAG在事实性数据集上准确率提升最高34%，显著增强了企业级AI应用的可靠性与可溯源性。
麻省理工学院AI与计算研讨会：技术进步中不可或缺的人文因素
麻省理工学院计算学院SERC计划于4月30日举办全天研讨会，聚焦AI对社会的影响与伦理责任。会议涵盖AI对齐、教育应用、空气污染预测等议题。学者们探讨了如何将人类价值观融入AI系统、教育中AI工具的合理使用边界，以及人机协作时的认知差异问题。与会者强调，随着AI深度嵌入社会各层面，技术进步与伦理反思必须同步推进，人的核心作用不可或缺。
亚马逊全新数据中心路由架构降低AWS网络能耗40%
亚马逊AWS研究团队开发了一种名为"弹性网络图"（RNG）的全新路由架构，自2024年4月起已成为多数新建AWS数据中心的默认方案。该架构采用"准随机"拓扑结构，结合新型"SprayPoint"路由算法与"ShuffleBox"设备，在减少69%交换机数量的同时提升33%吞吐量，并将网络基础设施电力消耗降低40%。首个部署节点已于2024年底在爱尔兰都柏林投入生产运行。
iOS 27即将发布，多款iPhone应用将迎来全新设计升级
据Mark Gurman报道，iOS 27将对多款iPhone应用进行设计更新。其中相机和Image Playground变化最大：相机应用将支持完全自定义布局，并新增Siri视觉智能模式；Image Playground则经过全面重新设计，优化了图库界面与图像创作控件。此外，"查找"、天气和Safari也将获得小幅设计改进。在Liquid Glass方面，iOS 27将调整标签栏，把搜索功能重新整合回导航栏，影响音乐、播客等多款应用。
连接性已成为与计算和存储同等重要的AI基础设施核心要素
Marvell CEO墨菲在Computex上指出，AI基础设施的核心挑战已从算力和内存转向"互联互通"。随着数据中心连接从铜缆升级为光学互连，全新架构可能性正在开启。Marvell数据中心业务已占其总收入的约75%，预计明年营收达164亿美元。与此同时，SK Hynix计划5年内将存储晶圆产能翻倍，西班牙电信与谷歌云推进主权云合作，AI基础设施建设持续加速。
开发者仍在等待Meta最新AI模型的API访问权限
Meta于今年4月发布了其首款闭源大语言模型Muse Spark，并承诺API接口"即将推出"，但两个月过去仍未兑现。Meta发言人表示API将于6月正式开放，目前已与部分早期合作伙伴展开测试。这是Meta首款非开源模型，无法像以往模型那样被自由使用。分析认为，API发布延迟可能影响外界对Meta实现AI商业化计划的信心。
迈向Token经济时代，F5以“AI赋能交付”筑基智能新生态
企业谈AI基础设施时，注意力往往首先集中在模型、GPU和算力集群上。但当大模型应用走向规模化推理，一个瓶颈开始浮现：算力采购完成，并不意味着Token能够被稳定、低成本、可控地交付出去。
当AI机器人"自信地"撞向墙壁：STATE16研究院揭示物理AI系统中那些无声无息的致命错误
STATE16研究院这篇综述发现，物理AI系统存在"静默失效"风险——AI以高度自信执行基于错误世界信息的动作，却不触发任何报警，并提出在AI输出与物理执行之间建立独立授权层的框架。
当AI学会"边干边学"：UIUC与微软联合打造的网页智能体训练新范式
UIUC与微软联合研发的OpenWebRL框架让4B小模型仅凭400条初始数据，通过在真实网站上边做边学的强化学习方式，在网页智能体基准上超越了用27万条数据训练的竞争对手。
土耳其语AI翻译官诞生记：伊尔德兹技术大学团队用200美元造出了一个"会说土耳其话"的智能模型
伊尔德兹技术大学团队通过词典手术和离线蒸馏，以不足20美元成本打造出专为土耳其语优化的200M参数句子嵌入模型，在语义相似度任务上超越了参数量更大的原版教师模型。
英伟达与MIT联手：让AI视频"回头看"，长视频生成再也不怕"忘性大"
LongLive-RAG由英伟达、USC与MIT联合提出，通过让AI检索自身生成的历史视频片段作为参考，解决长视频生成中的角色漂移和画面不一致问题。
米拉·穆拉提重返公众视野，谨慎发声
穆拉蒂时隔18个月首次接受重大媒体采访，介绍其创立的Thinking Machines Lab正在开发的"交互模型"。该模型能以200毫秒间隔处理音频、文本和视频流，捕捉人类交流中的中断、修正和停顿。她还谈及OpenAI"政变周"经历，强调行业决策权过于集中的担忧，并回应了公司近期研究人员离职问题，表示这是初创实验室的正常波动。
特斯拉疑似删除FSD证据，卡特彼勒加速电动化布局，高压系统技术培训刻不容缓
本期《Quick Charge》播客涵盖多个热点话题：特斯拉疑似试图删除FSD欺诈相关证据以规避巨额赔付；卡特彼勒持续推进建筑领域电气化布局；住宅太阳能30%税收抵免即将到期。此外，嘉宾Tom Pacheco就高压系统与电池技术培训展开探讨，强调电动车技术人才培养的紧迫性。节目同时提醒有意安装太阳能的用户尽快行动，可通过EnergySage平台比较多家安装商报价。
智能体网络流量首超真人访问，"死亡互联网"理论引发新争议
Cloudflare联合创始人兼CEO马修·普林斯近日表示，AI智能体产生的网络流量已首次超越人类用户，这一里程碑比多数人预期的更早到来。普林斯原本预测该转折点将出现在2027年底或2027年初，但AI智能体流量增长之迅猛远超预期。这一现象也为"死亡互联网"理论提供了新的佐证——该理论认为互联网上的大部分内容和活动已由机器人主导。
Mentium Technologies Luna-R1 AI芯片入选ET-01星座任务，完成多星部署里程碑
Mentium Technologies宣布，其新一代AI处理芯片Luna-R1已被选用于EarthTraq开发的ET-01低轨卫星星座任务，该任务获得NASA小型航天器与分布式系统项目支持。四颗卫星将搭载SpaceX Transporter-17发射，每颗均配备Luna-R1计算板。该芯片支持在轨实时AI推理、异常检测与分布式协同处理，可降低延迟并提升星座整体运营效率。此外，Mentium正研发下一代加速器Luna-2，算力达4.2 TOPS，功耗仅150毫瓦。
马里兰大学出了个"免培训"数学AI方案：让大模型当"考官"，小模型边写边被纠错
马里兰大学提出无需训练奖励模型的数学推理方案，用大模型实时为小模型的分块生成过程打分选优，效果媲美专用过程奖励模型。
京公网安备 11010802021500号
