Show HN：AI 代理版本差异对比工具，可捕获静默权限变更
一款名为“Agent Diff”的工具现已在网页端运行，它允许用户粘贴两个版本的 AI 代理系统提示词，通过结构化解析自动对比工具权限、信任等级等变化。与依赖大模型给出主观“意见”不同，该工具每次运行都给出确定性结果，精确指出哪个工具丢失了审批门槛，并以雷达图展示风险面。完全在浏览器内执行，不上传或存储任何数据。开发团队还提供了持续监控方案，比如通过 Agent Watch 追踪或集成 GitHub Action 在 CI 中强制执行最大信任等级。 #AI安全 #权限审计 #代理治理 #提示词对比 #开源工具 #浏览器内执行 #持续监控 #确定性治理
一款名为“Agent Diff”的工具现已在网页端运行，它允许用户粘贴两个版本的 AI 代理系统提示词，通过结构化解析自动对比工具权限、信任等级等变化。与依赖大模型给出主观“意见”不同，该工具每次运行都给出确定性结果，精确指出哪个工具丢失了审批门槛，并以雷达图展示风险面。完全在浏览器内执行，不上传或存储任何数据。开发团队还提供了持续监控方案，比如通过 Agent Watch 追踪或集成 GitHub Action 在 CI 中强制执行最大信任等级。 #AI安全 #权限审计 #代理治理 #提示词对比 #开源工具 #浏览器内执行 #持续监控 #确定性治理
Hyperstition AI小说比赛揭晓
近日，由Henry Oliver主办的“Hyperstition Unslop AI小说写作比赛”公布结果。Oliver在评论中指出，获奖作品虽不粗制滥造，但并未达到惊艳水准，这与许多人类小说相似。他注意到，大量投稿实际上是关于AI的寓言，评委们事先未预料到这一趋势，但事后回顾并不意外。Oliver分析，这可能源于AI高水平的写作基本功，加上系统偏差在长文本生成中逐渐收敛到“模式坍缩”区域，导致故事主题趋于同质化。尽管比赛提示鼓励多样化题材（都市恐怖、武侠、诡异童话等），AI仍倾向于围绕自身存在与四壁打破的主题展开。Oliver认为，最佳作品仅达到“读后不反感、经编辑后可重读”的水平。 #AI写作 #小说比赛 #Hyperstition #人工智能 #文学批评 #模式坍缩 #AI寓言 #创意写作
近日，由Henry Oliver主办的“Hyperstition Unslop AI小说写作比赛”公布结果。Oliver在评论中指出，获奖作品虽不粗制滥造，但并未达到惊艳水准，这与许多人类小说相似。他注意到，大量投稿实际上是关于AI的寓言，评委们事先未预料到这一趋势，但事后回顾并不意外。Oliver分析，这可能源于AI高水平的写作基本功，加上系统偏差在长文本生成中逐渐收敛到“模式坍缩”区域，导致故事主题趋于同质化。尽管比赛提示鼓励多样化题材（都市恐怖、武侠、诡异童话等），AI仍倾向于围绕自身存在与四壁打破的主题展开。Oliver认为，最佳作品仅达到“读后不反感、经编辑后可重读”的水平。 #AI写作 #小说比赛 #Hyperstition #人工智能 #文学批评 #模式坍缩 #AI寓言 #创意写作
Agent Loop 工程兴起
近期，吴恩达、Peter Steinberger 等 AI 领域专家密集讨论 Agent 的 Loop（循环）工程。Anthropic 公开了 Claude Code 的四种 Loop 原语，OpenAI 的 Codex 等产品也已实现自主“写—跑—改”循环。Loop 工程的核心是让 Agent 围绕目标自主循环运作：理解任务、调用工具、观察结果、自我修正，直到交付。这意味着用户不再需要精心设计提示词，而是转向设定目标和验收结果。Loop 工程降低了提示词门槛，将人从循环中心移至外部，从“司机”变为“导航”。这一趋势正推动 AI 从工具向协作者转变，但前提是模型基础能力持续提升。 #Agent #Loop工程 #AI #提示词 #ClaudeCode #Codex #Anthropic #吴恩达 #科技新闻
近期，吴恩达、Peter Steinberger 等 AI 领域专家密集讨论 Agent 的 Loop（循环）工程。Anthropic 公开了 Claude Code 的四种 Loop 原语，OpenAI 的 Codex 等产品也已实现自主“写—跑—改”循环。Loop 工程的核心是让 Agent 围绕目标自主循环运作：理解任务、调用工具、观察结果、自我修正，直到交付。这意味着用户不再需要精心设计提示词，而是转向设定目标和验收结果。Loop 工程降低了提示词门槛，将人从循环中心移至外部，从“司机”变为“导航”。这一趋势正推动 AI 从工具向协作者转变，但前提是模型基础能力持续提升。 #Agent #Loop工程 #AI #提示词 #ClaudeCode #Codex #Anthropic #吴恩达 #科技新闻
用纯 Python 编译器替代 LLM 构建个人知识库
作者尝试采用类似 Karpathy 风格的方式构建个人 LLM 知识库，使用了智能体循环、递归 LLM 调用和嵌入技术处理本地 Markdown 文件。但过程中意识到，为了重新组织自己已有的文本而支付代币非常不合理。于是，作者用纯 Python 编译器替换了整个工作流，无需任何 LLM 调用、外部 API 或第三方依赖，就能将格式不统一的原始笔记文件夹转化为结构化的、带链接的 Markdown 知识库。该编译器基于 Python 标准库实现，仅进行文本解析、字符串操作和内存字典中的图遍历，确保每次运行结果完全一致。作者强调，确定性比智能化更重要：智能体决定知识库可能的样子，而编译器保证它必须是的样子。整个系统将手写内容与机器生成部分分离，Markdown 页面像对象文件一样可从源代码随时重建。实际测试在两台不同机器上运行，所有基准数据真实可靠，并包含了构建过程中遇到的两个真实 bug。 #知识管理 #Python #编译器 #本地优先 #LLM #个人知识库 #markdown #开源工具
作者尝试采用类似 Karpathy 风格的方式构建个人 LLM 知识库，使用了智能体循环、递归 LLM 调用和嵌入技术处理本地 Markdown 文件。但过程中意识到，为了重新组织自己已有的文本而支付代币非常不合理。于是，作者用纯 Python 编译器替换了整个工作流，无需任何 LLM 调用、外部 API 或第三方依赖，就能将格式不统一的原始笔记文件夹转化为结构化的、带链接的 Markdown 知识库。该编译器基于 Python 标准库实现，仅进行文本解析、字符串操作和内存字典中的图遍历，确保每次运行结果完全一致。作者强调，确定性比智能化更重要：智能体决定知识库可能的样子，而编译器保证它必须是的样子。整个系统将手写内容与机器生成部分分离，Markdown 页面像对象文件一样可从源代码随时重建。实际测试在两台不同机器上运行，所有基准数据真实可靠，并包含了构建过程中遇到的两个真实 bug。 #知识管理 #Python #编译器 #本地优先 #LLM #个人知识库 #markdown #开源工具
AI 能否推动科学发现？答案仍存争议
近日，一篇由物理学家兼独立学者 Iulia Georgescu 与哈佛大学名誉教授 Venkatesh Narayanamurti 共同撰写的文章探讨了当前 AI 在科研领域的局限性。文章指出，尽管大语言模型已吸收大量科学文献，但至今未能产生重大突破。作者认为，科研并非简单的“阅读-生成假设-测试-写作”线性流程，而是一种社会性、复杂且常低效的创造性活动。此外，科学进步离不开“隐性知识”——即通过实践经验与口耳相传获得的技能，这部分内容无法被 AI 从文本中直接学习。文章强调，技术与科学密不可分，真正的前沿研究依赖于理论与实践的深度融合，而非单纯依赖自动化产出。 #AI #科学 #隐性知识 #技术哲学 #科研方法 #大语言模型
近日，一篇由物理学家兼独立学者 Iulia Georgescu 与哈佛大学名誉教授 Venkatesh Narayanamurti 共同撰写的文章探讨了当前 AI 在科研领域的局限性。文章指出，尽管大语言模型已吸收大量科学文献，但至今未能产生重大突破。作者认为，科研并非简单的“阅读-生成假设-测试-写作”线性流程，而是一种社会性、复杂且常低效的创造性活动。此外，科学进步离不开“隐性知识”——即通过实践经验与口耳相传获得的技能，这部分内容无法被 AI 从文本中直接学习。文章强调，技术与科学密不可分，真正的前沿研究依赖于理论与实践的深度融合，而非单纯依赖自动化产出。 #AI #科学 #隐性知识 #技术哲学 #科研方法 #大语言模型
数学家为AI使用制定规则，发布《莱顿宣言》
本月早些时候，荷兰莱顿大学发布《关于人工智能与数学的莱顿宣言》。该宣言强调，尽管AI在数学验证、问题求解等领域展现出巨大潜力，但研究者与机构必须确保人类判断力、透明度和公平性得到保护。此前，2024年9月的一场研讨会召集了数学、计算机科学等领域专家，讨论AI对数学研究的影响。宣言指出，AI商业化软件融入数学研究后，将改变研究问题的类型和证明形式，可能危及学术自主性。研究表明，AI使用与科学话题多样性缩减相关，那些无法使用或不愿使用专有AI工具的研究者将处于劣势。宣言主张数学成果应继续在同行评审的开放科学出版物上发表，且不得要求读者具备专有知识或使用专有设备。该宣言已获得数学界包括对AI持怀疑和乐观态度的研究者广泛支持，《自然》杂志也对其过程和结论表示全力支持。 #AI #数学 #莱顿宣言 #科研伦理 #开放科学 #Nature
本月早些时候，荷兰莱顿大学发布《关于人工智能与数学的莱顿宣言》。该宣言强调，尽管AI在数学验证、问题求解等领域展现出巨大潜力，但研究者与机构必须确保人类判断力、透明度和公平性得到保护。此前，2024年9月的一场研讨会召集了数学、计算机科学等领域专家，讨论AI对数学研究的影响。宣言指出，AI商业化软件融入数学研究后，将改变研究问题的类型和证明形式，可能危及学术自主性。研究表明，AI使用与科学话题多样性缩减相关，那些无法使用或不愿使用专有AI工具的研究者将处于劣势。宣言主张数学成果应继续在同行评审的开放科学出版物上发表，且不得要求读者具备专有知识或使用专有设备。该宣言已获得数学界包括对AI持怀疑和乐观态度的研究者广泛支持，《自然》杂志也对其过程和结论表示全力支持。 #AI #数学 #莱顿宣言 #科研伦理 #开放科学 #Nature