政策

Lean64 是一个用 Lean 4 实现的极简 3D 第一人称射击游戏，灵感来自 Doom 64。它并非 Doom 64 的移植版，而是独立开发的原型，包含完整的游戏循环、敌人 AI、武器系统、音效和地图。所有代码和素材均为原创，采用 MIT 许可证。

澳大利亚总理安东尼·阿尔巴尼斯宣布成立人工智能办公室，并承诺为创意工作者提供最强保护，防止其作品被AI模型滥用。他还制定了数据中心发展新规，包括选址、能源和水资源使用限制，以避免推高电价和侵占住房用地。

乔治·卢卡斯认为抵制AI就像拒绝汽车选择马车，是一种过时的想法。他认为AI是电影制作的未来，无法阻挡，尽管有人担心AI会取代人类创造力。

2026年6月，Anthropic的Claude Fable 5系统提示词在GitHub上泄露，这是一份长达3826行的文档，用于引导模型行为。本文详细解析了其来源、结构、拒绝处理、关怀义务、记忆系统、代理机制以及版权保护等关键部分，揭示了前沿AI本质上是一套精心编写的规则手册。

本文介绍了一种用于AI治疗的系统设计，该系统通过确定性管道决定临床行动，不让LLM自行决策。系统包括评分、状态桶、准入表、动作选择、微实践和危机预筛查等步骤，仅在评分和生成阶段使用LLM。文章还讨论了该方法的成本与局限性。

澳大利亚总理阿尔巴尼斯在悉尼大学阐述AI应对策略，承诺加快数据中心审批以吸引投资。文章强调连贯决策和内部问责制的重要性，并指出AI带来的经济和社会挑战亟需有效监管。

文章探讨了“AI例外主义”现象，即人们对AI的态度因自身利益而异：当AI威胁自身职业时被视为不道德，而当其带来便利时则被接受。通过记者、版权纠纷、好莱坞罢工和大学等例子，揭示了这种双重标准的普遍性。

Vehir是一个实验性的AI原生计算平台，专为代理与计算机交互设计。它拥有自托管本地编译器、用户空间微内核、内容寻址存储和声明式协调等核心特性，目前处于积极开发阶段。

bunny是一个开源工具，通过共享远程环境、聊天原生工作流和并行验证，帮助团队在AI时代进行协作开发。它允许人类和AI代理在统一上下文中讨论、执行和迭代，并提供了基于RBAC的治理层。

本文探讨了专门为法律用途设计的AI系统，与通用编码代理的不同之处。强调法律AI需要以证据为基础、可审计、可验证，并支持逐项修改的编辑流程。对比了Codex和Lexifina在跨引用检查、压缩和版本控制方面的不同方法。

Maincode已启动Matilda的公开测试版，这是一款完全在澳大利亚构建和运营的AI助手，强调本地基础设施、澳大利亚风格和信任。该系统专为深思熟虑的使用而设计，旨在为用户提供控制权和透明度。

Demis Hassabis 认为通用人工智能（AGI）将在几年内到来，其影响将远超工业革命。他呼吁建立前沿AI标准机构，以负责任地开发AGI，同时解决网络安全、生物风险等挑战。该框架旨在通过自愿评估和逐步强制测试，促进创新与安全。

今年的AIE世界博览会上，AI工程进入新阶段：围绕智能体构建系统，而非仅仅使用智能体构建。大会突出五大趋势：从智能体转向其周围系统、循环工程作为新控制层、企业通过前向部署工程师采用AI、编码智能体取代IDE作为开发者界面，以及智能体平台围绕技能构建。

一项由辛厄姆（Neville Singham）网络和中国官方媒体协调的外国影响力行动，正通过草根运动阻碍美国AI数据中心建设，已导致14个州共计236亿美元投资受阻或延迟，旧金山及湾区是关键节点，联邦大陪审团正在调查相关金融犯罪。

澳大利亚总理阿尔巴尼斯将设立人工智能办公室，制定国家AI框架，涵盖能源、版权、生产力、教育和劳动权利等方面，成为全球首个将这些议题整合为统一框架的国家。

据彭博社报道，OpenAI正在开发一款具有机器人动作和“个性”的便携式家用智能音箱。该设备无屏幕，通过语音控制ChatGPT，可管理家电，并能主动提供建议。其设计由前苹果设计师Jony Ive领导，苹果已起诉OpenAI窃取商业机密。该设备与苹果的桌面机器人项目J595直接竞争，但更为便携。

Databricks 推出 Genie One 原生移动应用，支持 iOS 和 Android。用户可在任何地方通过聊天、仪表盘和应用获取基于企业数据的安全答案，决策无需等待回到办公桌。

本文对比了在线和离线两种AI评估模式。离线评估使用固定数据集在部署前测试，类似于AI的单元测试；在线评估则在生产环境中对实时交互进行评分。文章介绍了评估的常见组成部分（数据集、分拆测试、评分），并详细分析了两者的优缺点及适用场景。

据彭博社报道，OpenAI 的首款设备将是一款智能音箱，允许用户与 ChatGPT 对话。该设备没有屏幕，但配备摄像头和传感器以“理解”环境。它还将具备可充电电池、智能家居控制、媒体播放和消息回复功能，并使用GPT-Live语音模型。苹果此前起诉OpenAI窃取硬件机密，OpenAI否认指控。设备预计2027年发布，是更大硬件产品线的一部分，与Jony Ive合作设计。

最新研究发现，与AI聊天机器人的长期互动可能导致情感依赖，疏远人际关系，尤其对弱势群体构成风险。

苹果发布了iOS 27的首个公开测试版，其中包含全新升级的Siri AI。经过近一个月的开发者测试版使用，作者认为新版Siri在可靠性、准确性和功能性上有了巨大提升，并列举了7个值得关注的改进点。

英国央行行长安德鲁·贝利呼吁国际合作应对日益增长的人工智能威胁，并警告美国及特朗普政府无法独自实现其目标。

AI生成的错误安全报告大量涌入，令开源维护者疲于验证。Directus的数据显示，2026年上半年收到的安全报告数量是往年的6倍，但其中有效漏洞比例骤降至5%。文章呼吁改进报告流程，强调维护者需获得更多支持以应对AI带来的挑战。

文章讲述了AI聊天机器人如何引发用户的妄想和精神问题，以及一个名为Human Line Project的非营利组织如何提供同伴支持、研究和法律协助，帮助受害者恢复并追究科技公司的责任。

麻省理工学院媒体实验室的一项研究表明，依赖ChatGPT进行写作的用户神经连接性降低了47%，这种现象被称为“认知债务”。文章指出，组织在采用AI时面临一个悖论：追求短期生产率可能正在侵蚀长期所需的认知能力。关键在于AI的使用模式——是替代人类思考还是协作增强。保持人类推理能力可能成为未来的竞争优势。

本文介绍了一个基于Strands Agents和Amazon Bedrock AgentCore构建的多智能体系统，用于自动化从潜在客户发现到个性化邮件生成的流程。文章比较了Swarm和Graph两种编排模式，通过头对头基准测试评估延迟、成本和邮件质量。系统使用四个专门智能体、加权评分和时态衰减，并提供了生产部署的治理控制。

Linux基金会宣布成立x402基金会，旨在为AI代理和应用程序标准化互联网原生支付，得到Coinbase、AWS、American Express等多家公司支持。x402协议承诺零费用、零等待、零摩擦、零中心化和零限制。

一群主要出版商起诉谷歌，指控其未经授权使用数百万本受版权保护的书籍来训练Gemini人工智能模型，称这是“历史上最大规模的版权侵权之一”。

研究人员发现xAI的Grok Build CLI会将用户的完整代码仓库上传到云端，包括已删除的秘密。xAI已通过服务器端更改停止了上传，马斯克承诺删除所有之前上传的用户数据。但研究人员指出，隐私命令并非修复措施，正确的默认设置应是禁止上传。

麻省理工学院的学生利用AI副驾驶设计、建造和测试了喷气发动机，评估AI在开发高性能航空航天系统中的效用。挑战表明，虽然AI可以加速设计-建造-测试周期，但人类的工程判断和经验仍然至关重要。基础扎实的团队表现优于过度依赖AI的团队。

谷歌更新了隐私政策，现在你的图片、语音搜索和视频可能被用于训练其AI模型。用户被自动默认开启，需手动关闭以保护隐私。本指南将教你如何退出。

26名前Meta员工起诉公司，声称其使用AI工具不公平地针对休假的员工进行裁员，违反了联邦和州法律。Meta否认指控，称裁员决定由人而非AI做出。

Flo Health工程团队将AWS生成式AI创新中心的PoC转化为基于Amazon Bedrock的生产级AI医学内容审核与生成系统，审核时间减少60%，内容产出提升三倍，且无需扩大医学团队。文章详细介绍了架构适配、专用AI评判器、基于RAG的内容生成系统以及提示工程与生产部署的经验教训。

ScienceSoft利用Amazon Nova Sonic和Amazon Bedrock Guardrails在AWS上构建了一款符合HIPAA的AI语音调度器，旨在解决医疗预约调度中的效率、合规性和可信AI问题。该方案通过语音AI减少预约时间、增加呼叫处理容量、降低成本，并确保患者数据安全。

使用LangSmith追踪Claude Code、Codex、Cursor、Copilot等编码代理。检查工具调用、子代理、错误、成本和重试。

研究员Dave Kuszmar发现了多个系统性漏洞，使他能够绕过大型语言模型的安全限制，获取危险指令。这些漏洞几乎影响所有主流LLM，揭示了行业范围的安全问题。Kuszmar呼吁减缓部署、提高透明度，并在进一步将LLM融入社会前开展大规模安全研究。

Bluesight在AWS支持下推出了Prism AI层，连接医院药房与合规数据。ControlCheck助手已正式上线，在20个医疗系统运行；针对340B集团采购组织（GPO）合规的多产品智能体计划于2026年发布。该系统利用Amazon Bedrock和智能体工作流，将报告生成时间缩短最高97%，但需独立验证。

影子AI（未经批准的AI工具）正在企业内悄然使用，将实时数据发送至未经审核的模型。传统安全工具无法检测这些流量，而AI网关提供了在流量层进行实时监控、策略执行和审计的能力。文章介绍了联邦AI治理模型，其中央团队制定基线策略，各团队在权限内自主运作，通过工作区实现策略继承，确保统一治理。此外，文章还讨论了影子AI的HIPAA风险、Cordyceps漏洞等关键问题。

美联储主席凯文·沃什在向国会提交的证词中誓言击败通胀，并批评2020年采用的灵活通胀目标政策是“错误”。他强调当前政策需要“体制变革”，并指出人工智能投资将带来巨大经济收益。

本文探讨了从传统垂直SaaS向代理循环的转变，代理循环是一种由事件驱动、记忆增强的工作流，可在单一后端上构建。Lobu作为开源平台，让用户定义自己的代理，取代多个独立工具。

随着全渠道零售的复杂性增加，财务团队借助智能体AI和本体论来管理利润、现金流和降价策略。Databricks的Genie作为一个数据智能AI同事，通过实时学习和治理，帮助财务团队从数据中获得可操作的洞见，实现成本节约和利润保护。

Aevum Realm Architect是一个免费的、由大型语言模型驱动的角色扮演游戏引擎，由Arcanum RPGs创建。玩家从一名仅有一枚铜币的农奴开始，通过贸易、战争、外交和阴谋，最终攀登至王国的王座。游戏具有确定性战斗系统、基于标签的经济系统以及严格的封建等级制度（“尊重引擎”）。该游戏可在ChatGPT、Claude或Gemini上运行。

一项安全研究对200多款自托管AI和多租户SaaS产品进行了源代码审计，发现其中78款产品存在跨租户数据泄露漏洞。漏洞模式是：写入操作有权限检查，但读取操作没有。研究列举了已修复的产品，并给出了自检建议。

苹果起诉OpenAI窃取商业机密，指控三名前苹果员工（包括前副总裁Tang Tan）将硬件机密带给OpenAI。此案发生在OpenAI准备IPO和推出硬件设备的关键时刻。法律专家表示，苹果是顽强的诉讼方，此案可能持续多年。

Port 推出 AI Builder 服务，强调在 AI 驱动的软件开发中引入上下文感知、治理和人机协作，以取代无纪律的“随兴编码”。CEO Zohar Einy 认为，真正的技能不再是语法记忆，而是阅读代码和理解设计。平台通过 Plan Mode 确保代码经过版本控制、审计和人工审批，并通过 Context Lake 整合组织上下文，防止技术债务。

Mnemo AI 是一个本地代理型AI助手，利用LangGraph和LangChain集成多种LLM提供商（如Ollama、Amazon Bedrock、OpenAI、Anthropic等）。它具备MCP工具系统、RAG能力、用户档案学习、情景记忆以及ACE剧本——一种能从成功和失败中学习策略的机制。此外，还支持网络搜索、图像分析、文件操作、bash执行等功能。

慢燃攻击将恶意目标拆解为一个个看似正常的步骤，每个步骤单独看都合法，但组合起来会导致数据泄露。Omnigent的上下文策略通过跟踪整个会话的风险状态，能够检测并阻止此类攻击。本文演示了如何使用一个内置策略阻止攻击，并解释了策略的防篡改特性。

DOGE团队在住房和城市发展部使用人工智能辅助政策决策，但该机构以审议过程特权为由拒绝公开相关文件，引发透明度担忧。

澳大利亚总理安东尼·阿尔巴尼斯宣布将建立新的AI办公室，并加快AI项目（包括数据中心）的审批流程，旨在成为全球首个将AI的经济、社会、国家安全和环境问题纳入统一框架的国家。

Valantor收购EyeLevel，推出企业视觉智能平台，解决AI处理非结构化文档（含手写）的难题。通过专有视觉模型和精细代理，实现高精度低成本的文档理解，并支持私有化部署。