特朗普政府据报重启对华AI模型禁令，瞄准Kimi K3等
据Axios援引消息人士报道，特朗普政府正重新推动禁止中国AI模型进入美国市场。此前，美国商务部曾考虑将DeepSeek等多家中国AI实验室列入“实体清单”，并联合国家安全局起草咨询报告，阻止美国企业使用中国模型，同时拟定行政令，要求美国公司对托管中国模型导致的安全漏洞负责。这些措施因内部对市场影响的反对一度暂停，但随着中国开源新模型发布，禁令被重新提上议程。批评者如前白宫顾问Sriram Krishnan和AI顾问David Sacks指出，此举将扼杀创新，并让OpenAI和Anthropic形成市场垄断。Sacks发文称，领先的封闭实验室希望政府消除开源竞争。目前，由于中国模型成本极低、能力匹敌且开源权重支持私有化部署，Coinbase等美国公司正大规模采用，AI支出近乎减半。但如何有效执行开源模型禁令，在技术和监管层面仍面临巨大挑战。 #特朗普政府 #中国AI #KimiK3 #DeepSeek #模型禁令 #开源 #AI竞争 #科技新闻 #网络安全
据Axios援引消息人士报道，特朗普政府正重新推动禁止中国AI模型进入美国市场。此前，美国商务部曾考虑将DeepSeek等多家中国AI实验室列入“实体清单”，并联合国家安全局起草咨询报告，阻止美国企业使用中国模型，同时拟定行政令，要求美国公司对托管中国模型导致的安全漏洞负责。这些措施因内部对市场影响的反对一度暂停，但随着中国开源新模型发布，禁令被重新提上议程。批评者如前白宫顾问Sriram Krishnan和AI顾问David Sacks指出，此举将扼杀创新，并让OpenAI和Anthropic形成市场垄断。Sacks发文称，领先的封闭实验室希望政府消除开源竞争。目前，由于中国模型成本极低、能力匹敌且开源权重支持私有化部署，Coinbase等美国公司正大规模采用，AI支出近乎减半。但如何有效执行开源模型禁令，在技术和监管层面仍面临巨大挑战。 #特朗普政府 #中国AI #KimiK3 #DeepSeek #模型禁令 #开源 #AI竞争 #科技新闻 #网络安全
Paraphraser AI：可控制语义、语气和关键词的智能改写工具
Paraphraser AI 是一款基于先进人工智能的文本改写工具，支持对句子、段落、文章及SEO内容进行自然重写，同时保持原意、语气和原创性。用户可选择自然、正式、学术、SEO及人性化等多种写作风格，并通过“意义锁定”功能保护核心语义和关键词。此外，工具还提供侧边对比、关键词保护、版本保存等功能，适用于邮件、博客、论文及SEO优化场景。免费用户每日可改写有限字数，Pro版支持更长文本和高级模式。该工具强调负责任改写，不鼓励抄袭，外部引用仍需标注来源。 #AI改写 #智能写作 #SEO优化 #内容创作 #语言工具 #AI工具 #写作助手 #文本改写
Paraphraser AI 是一款基于先进人工智能的文本改写工具，支持对句子、段落、文章及SEO内容进行自然重写，同时保持原意、语气和原创性。用户可选择自然、正式、学术、SEO及人性化等多种写作风格，并通过“意义锁定”功能保护核心语义和关键词。此外，工具还提供侧边对比、关键词保护、版本保存等功能，适用于邮件、博客、论文及SEO优化场景。免费用户每日可改写有限字数，Pro版支持更长文本和高级模式。该工具强调负责任改写，不鼓励抄袭，外部引用仍需标注来源。 #AI改写 #智能写作 #SEO优化 #内容创作 #语言工具 #AI工具 #写作助手 #文本改写
ANSI转义注入攻击MCP服务器
ANSI转义序列本是用于终端控制的不可见代码，可改变颜色、隐藏文字或清屏，人类看到的是渲染后的效果，而语言模型则读取每个原始字节。攻击者可利用这一差异，将指令隐藏在AI代理消费的文本中，人类审核者看不到，模型却能完整执行。这种输出中和失效类漏洞已在真实产品中出现，例如Kubernetes的kubectl和Git的远程侧带消息均曾暴露类似问题。在模型上下文协议（MCP）中，服务器暴露的工具、资源和提示会直接将文本流式传输给AI代理，每个模型读取的字段都是潜在注入面。动态应用安全测试（DAST）是检测此类缺陷的自然方式：通过黑盒运行时姿态发送精心构造的输入并检查响应。文章描述了两种攻击变体——直接获取型AESI和存储型AESI，并解释了DAST扫描器如何自动检测。 #网络安全 #ANSI注入 #MCP #AI安全 #LLM漏洞 #DAST #攻击检测
ANSI转义序列本是用于终端控制的不可见代码，可改变颜色、隐藏文字或清屏，人类看到的是渲染后的效果，而语言模型则读取每个原始字节。攻击者可利用这一差异，将指令隐藏在AI代理消费的文本中，人类审核者看不到，模型却能完整执行。这种输出中和失效类漏洞已在真实产品中出现，例如Kubernetes的kubectl和Git的远程侧带消息均曾暴露类似问题。在模型上下文协议（MCP）中，服务器暴露的工具、资源和提示会直接将文本流式传输给AI代理，每个模型读取的字段都是潜在注入面。动态应用安全测试（DAST）是检测此类缺陷的自然方式：通过黑盒运行时姿态发送精心构造的输入并检查响应。文章描述了两种攻击变体——直接获取型AESI和存储型AESI，并解释了DAST扫描器如何自动检测。 #网络安全 #ANSI注入 #MCP #AI安全 #LLM漏洞 #DAST #攻击检测
材料科学创新
随着人工智能将半导体与数据中心推向全新物理极限，材料科学正成为维持创新步伐的核心动力。每一代AI技术都需要更强的算力、存储、能效和可靠性，这远超芯片设计与系统架构的范畴，关键在于支撑极端工况的先进材料。例如，半导体制造需上千道精密工序，温控或化学不稳定的微小瑕疵即可导致良率下降与成本飙升。先进材料以更高纯度、更强耐化学性与等离子体抗力、更优稳定性，持续迭代聚合物、弹性体及特种流体，为新一代芯片铺路。此外，AI负载提升正推动数据中心转向更高电压与功率密度架构，热管理与电力传输面临严峻挑战。Syensqo公司凭借电子电气组件专长，借鉴电动汽车热管理经验，将流体循环技术适配AI服务器直接液冷方案，加速功率与热管理创新。未来，材料创新不仅支持AI基础设施，更将定义其性能边界。 #AI #材料科学 #半导体 #数据中心 #创新 #科技 #Syensqo #热管理 #芯片制造 #可持续发展
随着人工智能将半导体与数据中心推向全新物理极限，材料科学正成为维持创新步伐的核心动力。每一代AI技术都需要更强的算力、存储、能效和可靠性，这远超芯片设计与系统架构的范畴，关键在于支撑极端工况的先进材料。例如，半导体制造需上千道精密工序，温控或化学不稳定的微小瑕疵即可导致良率下降与成本飙升。先进材料以更高纯度、更强耐化学性与等离子体抗力、更优稳定性，持续迭代聚合物、弹性体及特种流体，为新一代芯片铺路。此外，AI负载提升正推动数据中心转向更高电压与功率密度架构，热管理与电力传输面临严峻挑战。Syensqo公司凭借电子电气组件专长，借鉴电动汽车热管理经验，将流体循环技术适配AI服务器直接液冷方案，加速功率与热管理创新。未来，材料创新不仅支持AI基础设施，更将定义其性能边界。 #AI #材料科学 #半导体 #数据中心 #创新 #科技 #Syensqo #热管理 #芯片制造 #可持续发展
我将 LLM 层迁移至 BAML
在构建 AI 新闻聚合器 Agentique 的过程中，开发者发现除了文章排名，保持 LLM 层的可维护性同样棘手。Agentique 专注于开发者视角的 AI 内容，通过抓取、去重、评分、标题优化、摘要生成等流程运作，每个环节都依赖多次 LLM 调用。随着提示词、模式、模型选择、重试和测试的堆积，LLM 层逐渐成为独立子系统。为寻找更优工具，作者比较了 Vercel AI SDK（适合直接嵌入 Web 应用）、Mastra（适合长时运行代理）和 LangChain（适合复杂编排），但最终选择了 BAML。BAML 提供了一门领域特定语言，将提示词转化为类型化函数，支持结构化输出、轻松切换模型和最小化样板代码。最关键的是，每个提示词都与其测试文件共存于同一 .baml 文件中，通过 VSCode 扩展即可像单元测试一样运行，切换模型或调整提示词后能即刻获知是否破坏了既有逻辑，极大减少了不确定性。这一迁移显著提升了 Agentique 的 LLM 层可靠性与开发效率。 #BAML #LLM #Agentique #提示工程 #类型安全 #测试驱动开发 #AI聚合器
在构建 AI 新闻聚合器 Agentique 的过程中，开发者发现除了文章排名，保持 LLM 层的可维护性同样棘手。Agentique 专注于开发者视角的 AI 内容，通过抓取、去重、评分、标题优化、摘要生成等流程运作，每个环节都依赖多次 LLM 调用。随着提示词、模式、模型选择、重试和测试的堆积，LLM 层逐渐成为独立子系统。为寻找更优工具，作者比较了 Vercel AI SDK（适合直接嵌入 Web 应用）、Mastra（适合长时运行代理）和 LangChain（适合复杂编排），但最终选择了 BAML。BAML 提供了一门领域特定语言，将提示词转化为类型化函数，支持结构化输出、轻松切换模型和最小化样板代码。最关键的是，每个提示词都与其测试文件共存于同一 .baml 文件中，通过 VSCode 扩展即可像单元测试一样运行，切换模型或调整提示词后能即刻获知是否破坏了既有逻辑，极大减少了不确定性。这一迁移显著提升了 Agentique 的 LLM 层可靠性与开发效率。 #BAML #LLM #Agentique #提示工程 #类型安全 #测试驱动开发 #AI聚合器
GPT-5.6与Claude Fable 5物理AI性能对比曝光
近期，一份关于GPT-5.6和Claude Fable 5在物理AI领域性能对比的评测数据流出。数据显示，GPT-5.6在特定基准测试中耗时63分钟，得分为0.69，成本为56.74美元；而另一组指标（可能对应Claude Fable 5）则记录了73次推导、20次编辑和6次编译操作。这些数据来自未经验证的来源，且包含格式噪音（如乱码字符），完整性存疑。物理AI作为机器人、自动驾驶等关键领域的前沿技术，两大模型的表现对比引发关注。业内专家呼吁建立更规范的评测体系，以客观衡量AI在物理世界中的推理与执行能力。 #AI #大模型 #物理AI #性能对比 #GPT5.6 #ClaudeFable5 #评测
近期，一份关于GPT-5.6和Claude Fable 5在物理AI领域性能对比的评测数据流出。数据显示，GPT-5.6在特定基准测试中耗时63分钟，得分为0.69，成本为56.74美元；而另一组指标（可能对应Claude Fable 5）则记录了73次推导、20次编辑和6次编译操作。这些数据来自未经验证的来源，且包含格式噪音（如乱码字符），完整性存疑。物理AI作为机器人、自动驾驶等关键领域的前沿技术，两大模型的表现对比引发关注。业内专家呼吁建立更规范的评测体系，以客观衡量AI在物理世界中的推理与执行能力。 #AI #大模型 #物理AI #性能对比 #GPT5.6 #ClaudeFable5 #评测
Friday
一款名为Friday的本地优先桌面AI助手在Hacker News上亮相。该应用原生支持macOS、Windows和Linux三大平台，用户可接入自己的AI服务商和模型。Friday默认将所有设置、凭据、历史记录和记忆保存在本地设备上，并在执行敏感操作前请求用户批准。功能上，它能够通过自然语言指令读写文件、搜索网络、生成图像和视频、转录语音、语音回复、按计划运行任务，并能连接用户已有的工具。例如，它可以查询日历、创建待办事项、起草邮件并在发送前确认，以及根据描述生成多种风格的图像。Friday强调用户对数据的主权和控制权，为桌面AI助手提供了新的隐私保护范式。 #AI #桌面助手 #本地优先 #工具调用 #隐私 #开源 #生产力工具
一款名为Friday的本地优先桌面AI助手在Hacker News上亮相。该应用原生支持macOS、Windows和Linux三大平台，用户可接入自己的AI服务商和模型。Friday默认将所有设置、凭据、历史记录和记忆保存在本地设备上，并在执行敏感操作前请求用户批准。功能上，它能够通过自然语言指令读写文件、搜索网络、生成图像和视频、转录语音、语音回复、按计划运行任务，并能连接用户已有的工具。例如，它可以查询日历、创建待办事项、起草邮件并在发送前确认，以及根据描述生成多种风格的图像。Friday强调用户对数据的主权和控制权，为桌面AI助手提供了新的隐私保护范式。 #AI #桌面助手 #本地优先 #工具调用 #隐私 #开源 #生产力工具