SheepNav

AI 资讯

每日聚合最新人工智能动态

T-Mobile 为三星最新折叠屏手机 Galaxy Z Flip 8 推出预购优惠,新老客户最高可节省 1,100 美元,仅需 100 美元即可拥有这款轻薄的翻盖手机。 ## 预购优惠详情 根据 T-Mobile 官方信息,从即日起至预购结束,新老客户均可参与活动。用户只需签订符合条件的套餐协议,并以旧机折抵,即可享受高达 **1,100 美元** 的折扣,最终以 **100 美元** 的价格入手 Galaxy Z Flip 8。该优惠涵盖所有配色,包括新推出的粉色版本。 ## 产品亮点 Galaxy Z Flip 8 于上月伦敦举行的 Samsung Unpacked 活动中发布,官方宣称其为市场上 **最轻、最薄** 的翻盖式折叠屏手机。其折叠设计兼顾便携与时尚,适合追求个性化体验的用户。 ## 如何参与 - **新客户**:在 T-Mobile 官网或门店选择符合条件的套餐,并提交旧机折抵。 - **老客户**:同样可享受优惠,需检查当前套餐是否符合资格。 ## 购买建议 若你正考虑更换手机,且对折叠屏感兴趣,此优惠极具吸引力。但需注意,**折扣依赖旧机折抵**,实际支付金额可能因旧机状况而异。建议在预购前咨询 T-Mobile 客服,确认具体折抵价值及套餐要求。 > **小贴士**:预购活动通常限时,建议尽早行动,以免错过优惠。

ZDNet AI2个月前原文

**DesignArena 的创始人近日宣布完成 790 万美元种子轮融资**,旨在通过大规模人类反馈提升 AI 模型的“品味”与设计能力。这家由大学生创办的初创公司,如今已吸引全球 530 万用户,并成为前沿实验室的重要数据来源。 ## 从游戏引擎到 AI 反馈平台 故事的起点颇具巧合。2025 年毕业前夕,联合创始人 Grace Li 与几位大学好友试图打造一个 AI 游戏引擎。他们发现,模型虽然能生成功能完整的游戏,却无法保证趣味性——这引出一个关键问题:**如何判断一款游戏是否好玩?** 答案显然离不开人类的主观判断。于是,他们开始探索如何规模化地获取真实的人类反馈,DesignArena 应运而生。 ## 平台如何运作? 对于普通用户,DesignArena 类似一个复杂的模型路由器:用户输入提示词,选择网站、图片或十余种视觉格式,系统便会生成多组输出,用户通过 A/B 对比,将结果从最佳到最差排序。这个过程看似简单,却为 AI 公司提供了宝贵的用户偏好数据。 ## 商业价值凸显 DesignArena 的真正价值在于企业端。前沿实验室将其视为源源不断的即时反馈来源,用以优化媒体生成模型。用户往往不关心模型品牌,只追求最佳输出,因此他们的排序能真实反映用户需求。Li 表示:“这成为许多模型在设计领域改进的缺失瓶颈。” 目前,该平台**年经常性收入(ARR)达 6000 万美元**,成为 AI 行业关键的人类评估数据源。 ## 数据洞察与行业意义 用户必须登录才能获得输出,因此 Intelligence 公司(DesignArena 母公司)还能追踪不同地区、不同时期用户品味的变化。例如,**亚洲的网页仪表盘往往偏好更“极繁”的设计风格**。这种人类反馈与自动化基准测试互补,后者虽规模更大,但容易被“钻空子”或操纵。 本轮融资由 Index Ventures 领投,Conviction(Sarah Guo 和 Mike Vernal)、A*、Valkyrie 等参投。Li 强调,这笔资金将用于扩大平台规模,并深化与前沿实验室的合作。 随着 AI 生成内容日益普及,“品味”成为差异化竞争的关键。DesignArena 的崛起表明,**人类反馈在 AI 迭代中不可或缺**,也为如何将主观审美转化为可量化的训练信号提供了新思路。

TechCrunch2个月前原文

OpenAI 在刚刚过去的周末组织了其首次网红品牌之旅,邀请了一批创作者前往纽约州北部的豪华度假村参加名为“Summer Club”的活动。这场活动以“教育”为核心,安排了农场到餐桌的晚宴、养蜂等养生项目,以及学习如何使用 OpenAI 产品的课程。一位创作者展示了如何用 ChatGPT 创建网站,另一位则拍下了宣传册上的“绘画工作坊”字样。视频内容唯美而轻松,但评论区却火药味十足。 有网友讽刺某位网红“为了一个漂亮的酒店房间出卖灵魂”,也有人要求她解释 AI 数据中心对环境的影响。另一位网红则被问到是否会录制“跟我一起准备”的视频来展示参观数据中心的过程。当 TechCrunch 联系第三位网红时,她似乎已删除了相关视频,尽管保留了其他未明确提及 OpenAI 的内容。 OpenAI 发言人 Drew Pusateri 回应称,与创作者合作是更广泛营销策略的一部分,目的是帮助人们了解 ChatGPT 的实际用途。此次活动的重点是教授创作者如何使用新发布的 ChatGPT Work 功能,该功能可协助起草文档和制作演示文稿。Pusateri 强调,活动以教育为导向,旨在让创作者亲身体验 AI 工具,以便向粉丝展示使用方法。 他补充道:“创作者是我们社区的重要组成部分,也是当今人们获取信息和了解产品的重要途径。我们欢迎随着 AI 普及而出现的健康辩论,并重视那些选择与我们互动、参加活动、提出尖锐问题并共同学习的创作者。我们将继续像对待传统媒体和其他营销伙伴一样重视他们。” OpenAI 此举并不令人意外。今年 2 月,《名利场》报道该公司聘请了“名人耳语者”Charles Porch 担任首位全球营销副总裁,旨在加强与创作者和名人的关系。 然而,这次奢华之旅也折射出更深层的行业矛盾。AI 公司一方面标榜技术普惠,另一方面却通过高端体验来影响内容创作者,这引发了关于 AI 伦理、环境影响以及营销透明度的讨论。随着 AI 技术日益渗透日常生活,创作者在传播中的角色也愈发关键,而他们与科技巨头之间的这种“甜蜜交易”是否能经得起公众审视,仍是一个未知数。

TechCrunch2个月前原文
AI监考远程考试翻车:5.8万名学生被迫重考

**AI监考远程考试翻车,5.8万名学生被迫重考** 近日,一场由AI全程监考的远程考试遭遇严重问题,导致5.8万名学生不得不重新参加考试。据可靠消息,此次考试中,高分成绩的数量激增了5倍,这一异常现象引发了考试主办方的高度警惕。 **事件起因** 为了应对远程考试中的作弊风险,主办方引入了AI监考系统,希望通过智能算法实时监控考生的行为。然而,在实际操作中,AI系统似乎出现了误判或漏洞,导致大量考生被错误标记或漏判,最终影响了考试结果的公正性。 **异常数据** 最引人注目的数据是,考试中取得高分的考生比例较以往正常水平飙升了5倍。这一异常数字迫使主办方不得不重新审视整个考试过程,并最终决定让所有5.8万名考生重新考试,以确保结果的公信力。 **AI监考的双刃剑** 此次事件再次引发了对AI监考技术的讨论。AI监考系统虽然可以全天候监控,减少人工监考的成本和人力,但其准确性、公平性以及应对复杂场景的能力仍面临挑战。尤其是在远程环境中,网络延迟、摄像头角度、环境光线等因素都可能影响AI的判断,导致误报或漏报。 **行业反思** 对于教育科技行业而言,这是一个重要的警示。AI技术在教育领域的应用需要更加谨慎,尤其是在涉及重大利益和公平性的场景中。未来,或许需要将AI监考与人工复核相结合,以平衡效率与公正。 **结语** 此次事件虽是个案,但折射出AI在关键决策中的潜在风险。如何在技术便利与公平正义之间找到平衡,是教育机构和技术提供商共同面临的课题。对于那5.8万名考生而言,重考或许是无奈之举,但也是确保公平的必要措施。

Ars Technica2个月前原文

**苹果MacBook Air发货延迟,全球内存短缺影响显现** 近日,有用户在苹果官网尝试购买MacBook Air时发现,新机发货时间已延长至一个月以上。这一现象背后,是全球内存短缺问题正在对消费级笔记本电脑市场产生实质性冲击。 苹果近期已上调了包括MacBook Air在内的全线MacBook售价,但这似乎并未抑制市场需求。相反,供应紧张问题愈发突出,新订单的交付周期显著拉长。 **内存短缺的连锁反应** 内存芯片是PC核心组件之一,其价格波动直接影响整机成本。自2025年下半年以来,受AI服务器需求爆发、消费电子复苏等因素影响,DRAM和NAND闪存价格持续攀升。苹果作为全球头部PC厂商,其供应链管理能力一向较强,但此次发货延迟表明,即便是苹果也难以完全规避上游缺货的冲击。 对于消费者而言,这意味着不仅要为MacBook支付更高价格,还需等待更长时间才能拿到新机。短期来看,这一状况可能随着内存厂商扩大产能而缓解,但业界普遍预计,供应紧张至少会持续到2026年年中。 **对行业的影响** 苹果的遭遇并非个例。PC市场整体正面临成本上升和供应受限的双重压力。对于计划升级设备的用户来说,现阶段或许需要权衡是立即下单等待,还是观望后续价格走势。 值得注意的是,苹果在MacBook产品线中引入自研芯片后,性能和能效表现获得广泛认可,但硬件供应问题仍不可避免。这提醒我们,即便是技术领先的产品,也离不开稳定、健康的产业链支撑。 随着AI应用普及,内存需求将持续增长,供应链的脆弱性可能成为未来数年电子消费品领域的常态挑战。

ZDNet AI2个月前原文

经过多次延迟,苹果的AI改造终于在iOS 27的消费者测试版中亮相。Siri AI现在能理解个人上下文、回答广泛知识问题,并查找iPhone上的信息。然而,这一发布却显得有些平淡。在苹果拖延的几年里,AI领域已飞速发展:AI工具能编程、代理能完成多步骤任务、AI能协同工作、推理、创造媒体等。Siri AI的实用性毋庸置疑,但作为AI助手,它已不再是突破性的创新。 尽管如此,Siri AI确实兑现了承诺:支持自然对话、可调节语音表达和节奏、支持打字输入、专用应用、个人上下文理解(如查找照片、邮件、联系人、日历)、从图片中提取信息(如驾照号、二维码)、启动网站和应用、执行操作(导航、播放音乐、编辑照片、起草邮件)、头脑风暴(如根据冰箱食材推荐食谱)。Siri在播放音乐、播客、有声书方面也更为准确。 苹果的AI改造终于让Siri成为它本应成为的助手,但在这个AI代理已能编码、推理、创造的时代,Siri AI的发布不再令人兴奋。苹果需要继续创新,而不仅仅是追赶。

TechCrunch2个月前原文

**人形机器人**通常引发的不适多于敬畏:它们会绊倒、踢孩子,尽管技术有所进步,但在手部灵活性上仍不及幼儿。这是一个新兴行业,这类机器人在病毒视频中比在真实工作场所或家庭中更常见。因此,上周**美国联邦贸易委员会(FTC)** 发布一项全面禁令,禁止进口包括人形、四足和轮式机器人在内的先进机器人,这令人意外。 该决定由日益党派化且亲特朗普的FTC做出,理由有二:其一,外国制造的人形机器人将收集大量数据——不仅在家中,还可能在敏感设施中——从而对国家安全构成威胁;其二,美国机器人公司需要保护,免受中国竞争的影响,以建立更强大、更安全的国内供应链。 表面上,这是一种比特朗普政府更古老的政治与产业利益协调策略。每当中国在太阳能电池板、电动汽车和无人机等战略技术上提供廉价版本时,美国政府就试图通过关税或政府采购规则来阻止其涌入市场。此类举措总会引发关于权衡利弊(尤其是消费者面临更高价格)的辩论。 但如今,机器人技术应被视为AI产业的一部分——在许多方面是其前沿。特朗普政府正在采取越来越激进的措施保护美国AI产业,据报道正在考虑禁止中国开源模型,这些模型通常能与OpenAI和Anthropic的模型相媲美,但成本低得多。此举可能使企业无法实现估计**每年250亿美元**的节省。 因此,对人形机器人的禁令不应被理解为旧中国贸易剧本的又一章,而应视为特朗普政府将其对AI产业的保护扩展到当今领先实验室之外的证据。它现在愿意代表一个仍在艰难立足的新兴机器人行业进行干预。一些美国机器人公司自然欢迎FTC的新举措。 **Ghost Robotics** 的CEO Gavin Kenneally 表示,外国制造的机器人带来的网络安全风险是真实存在的。但批评者指出,此举可能导致美国在机器人技术方面落后,并推高价格。 这一政策也反映了AI与机器人技术的融合趋势。随着AI模型赋予机器人更强的自主性,它们收集的数据量将急剧增加,这引发了新的安全担忧。然而,保护主义措施可能抑制创新和市场竞争,最终损害消费者利益。 未来,美国如何在安全与创新之间取得平衡,将是关键。

MIT Tech2个月前原文

人工智能正以前所未有的速度渗透进网络安全攻防的每一个角落。CrowdStrike在最新发布的《2026年威胁狩猎报告》中发出警告:AI不仅是网络犯罪分子的新型武器,同时也成为他们重点攻击的目标。随着企业纷纷部署大语言模型(LLM)和AI代理来处理日常负载,攻击面正在急剧扩大,而安全团队面临的信号洪流已经远超人工处理的极限。 ## 攻击面失控:AI带来的新挑战 报告指出,AI模型、工具和工作流在为企业带来增长与效率的同时,也被网络罪犯大规模武器化。随着企业网络不断扩张、终端设备增加、新的LLM被部署到各类业务场景中,组织正在无意中构建起一个巨大的“无防御”攻击面。攻击者可以利用这些漏洞窃取数据、获取AI模型访问权限、进行监控,甚至盗用计算资源。 CrowdStrike威胁情报主管Adam Meyers强调:“AI不仅是攻击者使用的工具或武器,它本身也是一个攻击面。我们看到威胁行为者采用AI的速度与其他人一样快。” ## 信号爆炸:防御者陷入困境 AI驱动的攻击活动正在以惊人的速度产生安全警报。CrowdStrike报告称,由其威胁猎手审查的AI代理触发线索数量是手动驱动线索的**2.5倍**,这使得防御者更难区分恶意行为与正常的AI驱动行为。这种信号洪流已经超出了安全团队能够手动处理的范围,迫使企业重新思考防御策略。 更令人担忧的是,恶意AI利用漏洞的速度已经超过了防御者修补漏洞的速度。在报告中提到的一个案例中,LLMJacking攻击在短短两分钟内就发起了近**20万次**API调用,这种自动化攻击的规模和速度是传统攻击无法比拟的。 ## 应对之道:重新思考安全策略 面对AI带来的双重威胁,企业需要采取新的安全措施。CrowdStrike建议,组织应加强对AI工作流的监控和治理,确保对AI模型访问权限的严格控制,并部署能够识别AI驱动攻击的智能防御系统。同时,安全团队需要利用AI来对抗AI,通过自动化威胁狩猎和响应机制来应对不断增长的攻击信号。 正如报告所揭示的,AI时代的安全挑战不仅是技术问题,更是战略问题。企业必须在拥抱AI带来的机遇的同时,正视其带来的风险,构建更具弹性的安全架构。

ZDNet AI2个月前原文

在Hacker News上,AI相关新闻的泛滥已成为不少用户的困扰。近日,一位开发者再次分享了他的解决方案——hcker.news,一个提供多种过滤功能的Hacker News第三方客户端,其中最引人注目的便是专门的AI过滤选项。 hcker.news并非新面孔,一年前它已初次亮相,如今经过迭代,已集成了大量过滤功能。据开发者介绍,该工具的核心在于帮助用户摆脱AI新闻的轰炸,让那些对AI话题感到疲惫的用户能够更专注于其他技术讨论。 ## 功能亮点 - **AI过滤**:一键隐藏所有AI相关帖子,包括机器学习、深度学习、大语言模型等关键词。 - **自定义关键词过滤**:用户可自行添加或屏蔽特定关键词,实现个性化内容筛选。 - **域名过滤**:屏蔽特定来源(如OpenAI、Google AI等)的新闻。 - **用户过滤**:隐藏特定用户的帖子或评论,减少信息干扰。 这些功能使得hcker.news成为Hacker News重度用户的实用工具,尤其适合那些希望减少信息噪音、聚焦特定领域的开发者。 ## 行业背景 近年来,AI技术的高速发展使得相关新闻占据了科技媒体的头条,Hacker News作为技术社区,自然也不例外。然而,对于非AI领域的技术爱好者而言,这种信息过载可能导致他们错过其他重要讨论。hcker.news的出现,反映了社区内部对内容多样性的需求,也体现了第三方工具在优化用户体验方面的价值。 ## 展望 尽管hcker.news目前是免费服务,但开发者并未透露其商业模式。不过,对于广大用户而言,这无疑是一个值得尝试的工具。如果你也是厌倦AI刷屏的Hacker News用户,不妨访问hcker.news,体验一下定制化信息流的便利。

Hacker News522个月前原文

从2026年8月2日起,欧盟具有里程碑意义的《人工智能法案》中的透明度义务正式生效,旨在帮助人们更容易识别聊天机器人和AI深度伪造内容。新规要求企业在人们与AI模型互动时进行披露,并对AI生成或修改的内容进行标记。 ## 规则要点 新规对AI系统的**提供者**(开发AI系统的公司)和**部署者**(使用AI系统的平台和服务)提出了不同要求,但像Meta和SpaceXAI这样同时扮演两种角色的公司需同时遵守。 - **提供者**必须设计AI系统,在用户与人交互时明确通知,除非显而易见;同时,合成音频、图像、视频和文本需包含机器可读标记,以便识别为人工生成或操纵。 - **部署者**必须对旨在看起来真实的AI生成或操纵的图像、音频和视频深度伪造内容进行标注。 ## 为何重要 欧盟委员会在透明度指南中表示:“生成式和交互式AI系统的快速发展,使得区分AI交互和AI生成内容与人类创作和真实内容变得越来越困难。人们应该知道他们何时与AI交互或接触AI生成的内容,这将帮助他们做出明智的决定,调整对AI的信任和依赖,避免错误信息或欺骗。” ## 实施与影响 委员会还开发了一套AI披露标签,供科技平台根据AI法案规则采用,并附有使用示例。这些标签与一些平台已引入的标签类似,旨在让在线平台上的标签更加一致。如果企业不满足新要求,可能面临罚款。 这一举措标志着全球AI监管的重要一步,为其他国家提供了参考模板。对于企业和开发者而言,现在必须确保其AI系统符合这些透明度标准,以避免法律风险。

The Verge2个月前原文

Formula 1®(F1)与AWS合作,利用Amazon Bedrock AgentCore上的智能体AI构建了Data Accelerator,将其MarTech数据平台从手动维护转变为自我管理、可观测且统一的数据资产。该方案将数据源接入时间从最多8周缩短至约40分钟的代码生成加数小时部署,实现了架构自动演进,并为整个粉丝互动数据资产提供了端到端的可观测性。 ## 背景:数据增长与工程瓶颈 F1在全球拥有超过8亿粉丝,通过数字平台、F1 TV、社交媒体、票务和商品等渠道全年互动。比赛每两周举行一次,粉丝互动窗口以分钟计算,商业决策需以赛道速度推进。F1的MarTech平台Customer 360捕捉所有触点的互动,以支持个性化、细分和商业策略。然而,该平台面临重大运营挑战:每个新数据源需要6至8周的手动工程时间,导致18个月的积压,仅整合12个新源就需如此。业务数据产生速度远超工程团队整合速度,造成数据质量问题。 ## 解决方案:Data Accelerator 为应对挑战,F1数据运营主管Matt Kemp寻求可重复、稳健且可靠的解决方案。F1与AWS合作,在2026年初构建了Data Accelerator,利用Amazon Bedrock AgentCore上的智能体AI,将MarTech数据平台转变为自我管理、可观测且统一的数据资产。该方案显著提升了效率: - **数据源接入时间**:从最多8周缩短至约40分钟代码生成加数小时部署。 - **架构自动演进**:自动处理数据源变更,减少手动干预。 - **端到端可观测性**:在单一窗口中追踪数据平台操作和智能体血缘,支持根因分析。 ## 价值与展望 Data Accelerator不仅解决了数据集成瓶颈,还为分析师、工程师和科学家打开了协作大门。F1 IT总监Chris Roberts表示:“我们首次在整个MarTech平台实现了端到端可见性,包括数据血缘和根因分析,而不仅仅是充满警报的仪表板。”这一创新展示了智能体AI在复杂数据运营中的潜力,为其他行业提供了借鉴。

AWS ML2个月前原文

美国国会山上的AI工具使用情况近日有了新数据:根据CNBC基于众议院支出记录的分析,**OpenAI的ChatGPT在国会付费AI工具中占据了绝对主导地位**,占了过去一年(截至3月31日)众议院办公室、委员会及机构账户AI总支出的约90%。 数据显示,国会共在798笔交易中为ChatGPT花费约**100,580美元**,而同期所有AI工具的总支出至少为**113,740美元**。排名第二的是Anthropic的Claude,共37笔交易,花费约**13,160美元**。值得注意的是,民主党办公室的AI采购支出(**54,165美元**)是共和党办公室(**15,782美元**)的三倍多。 这些数字仅涵盖付费订阅,不包括免费账户或捆绑在其他软件合同中的AI功能。即便如此,ChatGPT的领先地位依然显著。 ## 国会如何使用AI? 国会工作人员正在将ChatGPT等工具融入日常工作中,具体用途包括: - **起草备忘录**:快速生成内部沟通文件。 - **总结和分析立法**:简化冗长法案的要点提取。 - **回应选民**:提高信件回复效率。 - **准备听证会材料**:整理背景信息。 - **政策研究**:快速筛选大量资料。 - **起草社交媒体帖子**:辅助官方账号内容创作。 这种采纳反映了AI在政府事务中的实际价值:节省时间、提高信息处理速度,但也引发了关于数据安全、偏见和透明度等问题的讨论。 ## 行业背景与意义 这一数据发布正值AI工具在公共部门快速普及的时期。OpenAI的ChatGPT凭借其强大的自然语言处理能力和广泛的用户基础,成为政府部门的首选。相比之下,Claude虽然也受关注,但市场份额较小。民主党和共和党之间的支出差异可能反映了不同办公文化或对AI工具态度的差异。 值得注意的是,这些数字仅代表付费订阅,实际使用量可能更高。随着AI技术持续发展,国会如何平衡效率与监管,将成为未来政策讨论的重要议题。 总体而言,ChatGPT在国会的普及标志着AI正在成为立法工作的基础设施,而不仅仅是科技行业的工具。

TechCrunch2个月前原文

在 YC S26 的 Launch HN 上,Hoplite 团队带来了一个全新的云端编码代理部署平台,旨在简化开发者的工作流程。Hoplite 的创始人是 Bence 和 Ryan,他们指出,该平台的核心优势在于其强大的 QA 功能套件,使得功能测试变得异常简单。 ## 从本地到云端:无缝迁移 Hoplite 的亮点之一是在上手过程中,它能够自动迁移用户的本地设置,包括会话、记忆、MCP 服务器等,让开发者无需重新配置即可在云端继续工作。这种无缝迁移体验,大大降低了进入云端开发的门槛,尤其对于依赖个性化配置的开发者来说,无疑是一个福音。 ## 聚焦 QA:提升开发效率 在软件开发中,质量保证(QA)往往耗时且繁琐。Hoplite 专门针对这一痛点,提供了一套工具,使编码代理能够更高效地测试功能。这意味着开发者可以将更多精力投入到核心逻辑实现上,而将重复性的测试任务交给云端代理,从而显著提升开发效率。 ## 行业背景与展望 随着 AI 编程助手的兴起,云端开发环境已成为趋势。Hoplite 的出现,不仅是对现有工具链的补充,更是对“AI 驱动开发”理念的一次有力实践。它通过整合本地配置和提供强大的 QA 能力,有望成为开发者工具箱中的重要一环。 目前,Hoplite 仍处于早期阶段,但其愿景清晰:让云端编码代理的部署像本地开发一样简单。对于希望探索云端开发新范式的团队而言,Hoplite 值得关注。

Hacker News812个月前原文

在 AI 安全领域,确保模型输出符合预期是一个持续挑战。今天,亚马逊云科技宣布在 Amazon Bedrock 中推出 **Automated Reasoning 策略的自动细化功能**,旨在简化安全策略的调试流程。此前,开发者需要手动进行诊断、编辑、重测的循环,这一过程繁琐且耗时。现在,新的细化引擎可以自动诊断失败的测试,并提出基于形式逻辑的修复建议,但所有变更都需要人工批准后才会生效。 Automated Reasoning 检查是 Amazon Bedrock Guardrails 的一部分,它通过形式验证来证明答案的正确性。在从自然语言到形式逻辑的明确转换中,其验证准确率据称可达 **99%**(根据 GA 公告)。其工作流程包括两步:首先,将自然语言输入/输出转换为变量;然后,将策略中的形式规则应用于这些变量。当测试失败时,根本原因通常出在这两个步骤之一,而新的细化模式正是针对这些不同环节设计的。 此次发布引入了两种细化模式: - **迭代细化(Iterative Refinement)**:针对规则问题,自动调整形式逻辑规则。 - **模糊变量细化(Ambiguous Variable Refinement)**:针对语言问题,解决变量描述或翻译中的歧义。 该功能提供了完整的 API 工作流,支持启动、轮询和检索结果,同时也在控制台中提供了可重复的操作流程,帮助用户将失败的策略转化为通过的策略。 这一更新显著降低了策略调优的技术门槛,使得开发者可以更高效地构建和验证 AI 应用的安全边界。值得注意的是,虽然自动细化能够提出修复建议,但最终的控制权仍掌握在开发者手中,每一次修改都需要人工确认,这确保了安全策略的变更始终是审慎和可追溯的。对于依赖 AI 生成内容的企业而言,这无疑是一个提升安全性和合规性的重要工具。

AWS ML2个月前原文

OpenAI 今日发布了一项令人瞩目的研究成果,宣布在数学和理论计算机科学的十个长期未解问题上取得了新进展。这些问题涵盖了高维几何、编码理论、算术电路复杂度、群论、算子代数、量子复杂度、格密码学和极值组合学等多个领域,其中许多问题已悬而未决数十年。这些突破性成果由 OpenAI 内部版本的 Astra 模型完成,该模型是下一代主要模型,其解决问题所需的计算成本约为 2,000 美元(按 Sol API 费率计算)。 ## 背景:加速科学发现的使命 OpenAI 一直致力于为科学家和数学家提供加速发现的工具。近期,他们推出了“ChatGPT for Academic Researchers”计划,为 10 万名科学家和数学家提供免费使用最佳 ChatGPT 模型的机会。此外,OpenAI 在模型开发过程中会持续评估模型在开放研究问题上的表现。今年五月,他们曾分享了一个 AI 生成的关于 Erdős 单位距离猜想的反例,这项工作已经激发了数学和理论计算机科学的进一步发展。 ## 十项成果概览 本次发布的十项成果具体包括: - **高维球堆积**:在 Cohn–Elkies 阈值以下获得了新的球堆积密度上界。 - **二元码和球码**:在任意给定最小距离下,二元码最大规模的指数级改进界限,高维球码也有类似结果。 - **非 sofic 群**:构造证明了非 sofic 群的存在,解决了群论中的一个核心开放问题。 - **Connes 刚性猜想**:反驳了一个长期存在的猜想,该猜想认为某些群由其 von Neumann 代数唯一确定。 - **算术电路复杂度**:在计算永久式(permanent)方面获得了新的下界。 此外,还有关于量子复杂度、格密码学和极值组合学等方面的进展。所有这些问题在其各自的数学界都具有重要意义,其中几个问题在整个数学界都广受关注。 ## 方法与验证 这些成果由 Astra 模型(内部版本)取得,人类研究者与模型合作将论证整理成论文。随后,模型将每个论证形式化为 Lean 证书,确保其严谨性。OpenAI 还发布了每个解决方案的模型思维过程叙述,以便研究者了解模型的推理路径。 ## 意义与展望 这些突破展示了 AI 在数学和理论计算机科学领域的巨大潜力。通过自动化推理和探索,AI 能够帮助人类解决那些长期悬而未决的问题,加速科学发现的过程。OpenAI 表示,他们希望这些工具能赋能更多研究者,推动数学和相关领域的进展。 尽管这些成果尚未经过同行评审(除部分外),但它们已经引起了学术界的广泛关注。未来,随着 AI 模型的不断进步,我们有望看到更多类似的突破,为人类知识的前沿拓展做出贡献。

Hacker News6262个月前原文

根据Salesforce最新发布的《商务现状报告》,过去12个月中,使用代理式AI搜索作为购物第一步的消费者数量增长了**200%**。这一数据来自对3450名商务专业人士和4690名消费者的调查,以及超过15亿全球购物者的行为数据。报告显示,**86%**的商务领袖认为AI正在提升客户期望,而61%的人表示满足这些日益增长的期望比以往任何时候都更加困难。 ## AI与数据成为商业领袖的首要任务 报告指出,商业领袖的首要任务是实施和扩展AI能力,其次是改善数据质量、可访问性和管理,再次是自动化和简化流程。然而,**实施和扩展AI**既是最大的机遇,也是最大的挑战。其他挑战包括供应链管理、数据碎片化、隐私法规变化和人才短缺。 ## 从试点到规模化 企业不再满足于AI试点项目,**2026年将是关注运营规模而非实验的一年**。35%的代理式AI用户已专注于扩展应用,不再进行概念验证。71%的商业领袖同意AI是商务运营的核心部分。代理式AI在商务中的前五大用例包括:自主客户服务解决、AI购物助手、自主补货购买、自主欺诈决策和跨部门协作。 ## 数据统一仍是短板 尽管AI的重要性日益凸显,但只有**27%**的公司实现了完全统一的客户数据。这一数据孤岛问题成为阻碍AI发挥全部潜力的关键瓶颈。报告强调,要真正实现AI驱动的个性化体验,企业必须首先解决数据基础问题。 ## 未来展望 随着AI购物搜索的爆发式增长,企业需要重新思考其数字战略。AI不仅改变了消费者的购物方式,也重塑了商务运营的底层逻辑。对于商业领袖而言,如何在数据统一、AI扩展和客户期望之间找到平衡,将是未来一年的核心课题。Salesforce的报告为行业提供了清晰的路线图:优先投资AI和数据基础设施,同时关注规模化应用,才能在竞争激烈的市场中保持领先。

ZDNet AI2个月前原文
Walden Robotics携手丰田,打造实用型人形机器人

**Walden Robotics** 近日宣布与 **丰田** 达成合作,共同开发面向实际工作场景的人形机器人。这一合作旨在将人工智能与物理实体相结合,为人类工人提供更高效的辅助工具,而非替代人类。 ## 从实验室到工厂:人形机器人的实用化之路 长期以来,人形机器人研发多集中于实验室演示或特定任务的重复执行,距离真正的“实用”仍有距离。Walden Robotics 的核心理念是创造 **物理 AI 工具**,即能够理解环境、适应变化并辅助人类完成复杂任务的机器人。与丰田的合作,将把这一理念带入汽车制造等真实工业场景,加速技术落地。 ## 设计细节:不对称头部引发的关注 值得注意的是,Walden 的人形机器人拥有一个 **略微不对称的头部**,这一设计并非刻意为之,却意外获得了用户的喜爱。尽管公司尚未完全理解这种偏好的原因,但这一细节反映出人形机器人设计中的 **情感化因素**——即使是微小的非功能性特征,也可能影响人类对机器的接受度。 ## 合作亮点:互补优势与产业前景 丰田在精益生产和自动化领域拥有深厚积累,而 Walden 则专注于先进的人形机器人技术。双方的合作有望实现 **优势互补**:丰田提供真实场景和工程经验,Walden 提供创新硬件与 AI 算法。此举不仅有助于降低人形机器人的制造成本,还可能催生新的应用模式,例如在装配线上与工人协作、处理精密部件或执行危险任务。 ## 挑战与展望 尽管前景广阔,人形机器人的实用化仍面临 **稳定性、安全性、成本** 等挑战。Walden 与丰田的联手,或许能通过规模化生产和技术迭代逐步解决这些问题。未来,我们或许能看到更多类似“机器人同事”出现在工厂车间,而不仅仅是科幻电影中。

IEEE AI2个月前原文

Mission Center 是一款备受好评的 Linux 系统监控应用,近日迎来重大更新,新增了电池、内存压缩统计、功耗与温度等实用功能,尤其对笔记本电脑用户来说非常友好。 ## 新增功能亮点 此次更新主要引入了三项新特性: - **电池信息**:提供详细的电池状态,包括剩余电量、电压、功率、充满时间、充电循环次数,以及物理电池的详细信息(如序列号、类型、满电能量、最低电压)。相比 KDE Plasma 等桌面环境仅显示“充满时间”和“电池健康度”的简单信息,Mission Center 的数据要丰富得多。 - **内存压缩统计**:帮助用户了解系统内存压缩情况,对优化内存使用有参考价值。 - **功耗与温度**:实时监测整机功耗和温度,对笔记本用户尤其有用,可以更好地掌握散热和能耗状况。 ## 为何值得关注 Mission Center 此前已具备实时 CPU、内存、磁盘、网络监控,应用进程管理,可配置刷新速度,进程状态合并,以及排序过滤记忆等功能。此次更新进一步扩展了其能力边界,使其从单纯的资源监控工具,向更全面的系统健康助手迈进。 对于 Linux 用户而言,系统监控工具的选择很多,但 Mission Center 凭借简洁的界面、丰富的功能和免费开源的特点,逐渐成为许多人的首选。特别是新增的电池和功耗数据,填补了桌面环境自带工具的空白,减少了用户对第三方命令行工具的依赖。 ## 适用场景与展望 如果你是笔记本用户,经常需要关注电池健康、充电速度或功耗表现,Mission Center 无疑是一个值得尝试的选择。即使你使用台式机,内存压缩统计和温度监控也能帮助你更深入地了解系统运行状态。 目前,Mission Center 在大多数主流 Linux 发行版上均可免费安装,用户可以通过官方仓库或 Flathub 等渠道获取。随着开发团队的持续投入,未来有望看到更多实用功能加入,进一步巩固其在 Linux 系统监控工具中的地位。

ZDNet AI2个月前原文

随着AI聊天机器人融入日常,隐私担忧日益凸显。本文提供实用指南,帮助你在使用主流AI工具时保护个人数据。 ## 默认设置下的风险 当你与ChatGPT、Gemini、Copilot或Claude对话时,你的输入可能被用于模型训练,或被存储以供审核。默认情况下,这些平台会保留对话记录,并可能访问你的位置、设备信息等。 ## 各平台隐私设置指南 ### ChatGPT(OpenAI) - **关闭聊天记录**:在设置中关闭“聊天记录与训练”,新对话将不会被保存,也不会用于训练。 - **使用临时对话**:开启“临时对话”模式,对话不会出现在历史记录中。 - **导出与删除数据**:可随时导出或删除个人数据。 ### Google Gemini - **关闭活动记录**:在Google账户的“活动控件”中关闭“Gemini活动记录”。 - **暂停训练**:在Gemini设置中关闭“用于改进生成式AI的模型”,避免数据被用于训练。 - **删除历史对话**:手动删除或设置自动删除时间。 ### Microsoft Copilot - **管理活动历史**:在Microsoft账户隐私设置中,关闭“Copilot活动历史”。 - **关闭训练**:在Copilot设置中关闭“模型训练”选项。 - **使用无痕模式**:在Edge浏览器中使用InPrivate窗口,或使用无登录状态。 ### Anthropic Claude - **关闭训练**:在Claude设置中关闭“训练”选项,确保对话不被用于改进模型。 - **删除对话**:手动删除历史对话。 ## 通用隐私最佳实践 - **避免分享敏感信息**:不要输入身份证号、银行账号、健康记录等。 - **使用匿名账户**:尽量使用不包含真实姓名的邮箱注册。 - **定期清理对话**:定期删除不必要的对话记录。 - **使用本地或开源模型**:如果对隐私要求极高,可考虑本地运行的开源模型,如Llama 3。 ## 小结 虽然AI聊天机器人提供了便利,但隐私保护需要你主动出击。通过调整设置、谨慎分享,你可以在享受AI服务的同时,最大程度地降低数据泄露风险。

ZDNet AI2个月前原文

随着手机数字钱包功能日益强大,传统钱包似乎正逐渐退出历史舞台。然而,现实中的诸多场景——例如某些不支持非接触支付的场所,或需要出示实体证件的场合——仍让实体卡片的携带成为刚需。MagSafe钱包应运而生,它通过磁吸方式与iPhone紧密贴合,既保留了手机的轻薄,又解决了卡片收纳的痛点。 近日,ZDNET编辑团队对市面上多款MagSafe钱包进行了严格测试与评估,涵盖Moft、ESR等知名品牌,旨在帮助消费者找到兼具时尚与实用性的产品。测试标准包括磁吸强度、卡槽容量、材质耐用性、是否支持Find My查找功能,以及日常使用的便捷性等。 **为什么还需要MagSafe钱包?** 尽管Apple Pay、Google Pay等移动支付已相当普及,但不少用户仍习惯携带信用卡、身份证或门禁卡。MagSafe钱包的最大优势在于**无缝集成**:无需额外背包或口袋,轻轻一贴即可随手机携带,且磁吸设计确保了稳固性。此外,部分产品还支持苹果的Find My网络,即便钱包与手机分离,也能通过定位找回。 **测试中的亮点产品** 在本次评测中,Moft的钱包因其**极简设计**和**强磁吸力**获得好评,其独特的折叠结构还可兼作手机支架,实现了功能与美学的平衡。ESR则凭借**大容量**和**防屏蔽技术**脱颖而出,能容纳多张卡片且不影响刷卡灵敏度。其他品牌如PopSockets、Spigen等也各有特色,满足不同用户对风格和功能的偏好。 **选购要点** 评测专家提醒,选购MagSafe钱包时需注意以下几点: - **磁吸强度**:确保钱包在颠簸或意外碰撞时不会脱落。 - **卡槽设计**:根据日常携带的卡片数量选择合适容量,避免过紧或过松。 - **材质与手感**:皮革、硅胶或聚碳酸酯等材质各有优劣,需兼顾耐用性和握持感。 - **兼容性**:部分钱包仅适配特定机型或保护壳,购买前需确认。 **结语** MagSafe钱包并非取代数字钱包,而是作为互补的实体收纳方案。在2026年,这类配件已从单纯的实用工具演变为体现个人风格的时尚单品。无论你是极简主义者还是功能至上者,总有一款MagSafe钱包能契合你的需求。ZDNET的完整评测报告为用户提供了详实的参考,帮助你在众多选择中做出明智决策。

ZDNet AI2个月前原文