IAXT：macOS菜单栏应用，实时记录AI编码代理的完整操作
IAXT是一款运行于macOS菜单栏的静默监控应用，专门记录Claude Code、Cursor、Aider、Codex和Copilot等AI编码代理在本地执行的操作细节，包括命令运行、文件修改、包安装、Git操作及启动代理等。它不阻塞任何流程，不改变工作习惯，个人版无需云端上传，仅保留本地审计日志。开发团队指出，AI编码代理拥有广泛权限且高速运行，容易引发疲劳点击和提示注入攻击。IAXT通过无侵入式监控，帮助开发者在会话结束后回顾AI的实际行为，捕捉意外删除仓库等失误，以及通过提示注入窃取SSH密钥等恶意操作。个人版免费无注册，数据完全本地存储，团队版则可每日汇总审计摘要至中央面板，便于应对安全审查和尽职调查。 #AI代理 #macOS #开发者工具 #安全审计 #本地监控 #提示注入 #代码安全
IAXT是一款运行于macOS菜单栏的静默监控应用，专门记录Claude Code、Cursor、Aider、Codex和Copilot等AI编码代理在本地执行的操作细节，包括命令运行、文件修改、包安装、Git操作及启动代理等。它不阻塞任何流程，不改变工作习惯，个人版无需云端上传，仅保留本地审计日志。开发团队指出，AI编码代理拥有广泛权限且高速运行，容易引发疲劳点击和提示注入攻击。IAXT通过无侵入式监控，帮助开发者在会话结束后回顾AI的实际行为，捕捉意外删除仓库等失误，以及通过提示注入窃取SSH密钥等恶意操作。个人版免费无注册，数据完全本地存储，团队版则可每日汇总审计摘要至中央面板，便于应对安全审查和尽职调查。 #AI代理 #macOS #开发者工具 #安全审计 #本地监控 #提示注入 #代码安全
特朗普：将为AI数据中心快速审批私营天然气电厂
美国总统特朗普周一在白宫表示，他对人工智能发展所需的巨大能源需求感到震惊，并宣布其政府将在“数周内”批准为数据中心供电的能源设施计划。特朗普称，科技公司高管告诉他，为了超越外国竞争对手，美国需要将现有能源容量翻倍。他还透露，已致电Meta的扎克伯格、亚马逊的贝索斯、OpenAI的阿尔特曼和SpaceX的马斯克，询问为何未提交配套电厂计划。特朗普强调允许企业自建“表后”发电单元，但明确禁止使用风能，称“风能很糟糕”。根据环境完整性项目报告，全美已有74座新建或扩建的甲烷天然气厂计划专供数据中心，预计发电量143吉瓦，相当于加州用电量的近三倍。这些电厂每年将排放近6.62亿吨温室气体，引发环保担忧。 #特朗普 #AI #数据中心 #天然气电厂 #美国能源 #科技政策 #环境排放
美国总统特朗普周一在白宫表示，他对人工智能发展所需的巨大能源需求感到震惊，并宣布其政府将在“数周内”批准为数据中心供电的能源设施计划。特朗普称，科技公司高管告诉他，为了超越外国竞争对手，美国需要将现有能源容量翻倍。他还透露，已致电Meta的扎克伯格、亚马逊的贝索斯、OpenAI的阿尔特曼和SpaceX的马斯克，询问为何未提交配套电厂计划。特朗普强调允许企业自建“表后”发电单元，但明确禁止使用风能，称“风能很糟糕”。根据环境完整性项目报告，全美已有74座新建或扩建的甲烷天然气厂计划专供数据中心，预计发电量143吉瓦，相当于加州用电量的近三倍。这些电厂每年将排放近6.62亿吨温室气体，引发环保担忧。 #特朗普 #AI #数据中心 #天然气电厂 #美国能源 #科技政策 #环境排放
ScreenNote
是一款新推出的工具，旨在帮助用户将屏幕截取内容快速整理成AI可读的笔记包。该工具利用视觉识别技术，将截图中的文字、图表等信息结构化，便于后续与AI模型交互。这一功能有望提升信息获取与整理的效率，尤其适用于需要频繁从屏幕中提取数据的场景，如研究、编程或学习。目前该工具的具体发布细节尚未公开，但已引起关注。 #ScreenNote #AI #截图工具 #笔记 #科技
是一款新推出的工具，旨在帮助用户将屏幕截取内容快速整理成AI可读的笔记包。该工具利用视觉识别技术，将截图中的文字、图表等信息结构化，便于后续与AI模型交互。这一功能有望提升信息获取与整理的效率，尤其适用于需要频繁从屏幕中提取数据的场景，如研究、编程或学习。目前该工具的具体发布细节尚未公开，但已引起关注。 #ScreenNote #AI #截图工具 #笔记 #科技
AI时代机构主权指南
一份题为《AI时代的机构主权》的报告指出，在人工智能快速发展的背景下，许多机构正被误导，认为自身选择有限，从而将关键决策交给他人。报告提出15个具体步骤，帮助政府和企业实现AI主权。基础层包括确保零数据保留（ZDR）协议，防止数据被存储、用于训练或被他人查看；模型层需防范激励错配、最大化模型流动性并拥有模型飞轮；计算层应根据保障程度决定硬件、为敏感工作流拥有可适配硬件并验证非自有计算；控制层则强调模型无关性、细粒度权限、审计日志、自适应网络安全、分支构建及拥有上下文飞轮。报告认为，主权是机构创造价值的所有权和追求新机会的自由，在AI时代，机构完全有能力掌控自身AI模型的使用。 #AI主权 #数据主权 #零数据保留 #机构治理 #人工智能 #模型安全 #计算层 #控制层 #科技报告
一份题为《AI时代的机构主权》的报告指出，在人工智能快速发展的背景下，许多机构正被误导，认为自身选择有限，从而将关键决策交给他人。报告提出15个具体步骤，帮助政府和企业实现AI主权。基础层包括确保零数据保留（ZDR）协议，防止数据被存储、用于训练或被他人查看；模型层需防范激励错配、最大化模型流动性并拥有模型飞轮；计算层应根据保障程度决定硬件、为敏感工作流拥有可适配硬件并验证非自有计算；控制层则强调模型无关性、细粒度权限、审计日志、自适应网络安全、分支构建及拥有上下文飞轮。报告认为，主权是机构创造价值的所有权和追求新机会的自由，在AI时代，机构完全有能力掌控自身AI模型的使用。 #AI主权 #数据主权 #零数据保留 #机构治理 #人工智能 #模型安全 #计算层 #控制层 #科技报告
Since AI：非营利性AI加速器，融合计算、研究与试点客户
Since AI是一个全球性的、以执行为导向的AI创新生态系统，致力于将前沿AI转化为可交付的产品。作为非营利组织，它连接了全球超过1万名AI开发者，与Google for Developers、ElevenLabs、Aiven等50多家战略、资本和研究伙伴合作。其核心活动包括高强度黑客马拉松（如2026年旗舰赛，奖金池5万欧元，目标吸引1000+开发者），并为优秀团队提供部署支持、计算资源、代码审查等生产环境支持，以及通过Antler、Redstone VC等风投进行商业化路径引导。Since AI还设有“研究到市场”项目，帮助团队从想法到产品再到规模化。知名演讲者包括Google Web AI负责人Jason Mayes，他将分享客户端Web AI智能体等前沿技术。该平台围绕真实挑战（如Kongsberg的海事声音信号检测、Sandvik的智能备件发现）组织高信号原型开发。 #AI #非营利 #加速器 #黑客马拉松 #Google #初创企业 #科技创新 #SinceAI
Since AI是一个全球性的、以执行为导向的AI创新生态系统，致力于将前沿AI转化为可交付的产品。作为非营利组织，它连接了全球超过1万名AI开发者，与Google for Developers、ElevenLabs、Aiven等50多家战略、资本和研究伙伴合作。其核心活动包括高强度黑客马拉松（如2026年旗舰赛，奖金池5万欧元，目标吸引1000+开发者），并为优秀团队提供部署支持、计算资源、代码审查等生产环境支持，以及通过Antler、Redstone VC等风投进行商业化路径引导。Since AI还设有“研究到市场”项目，帮助团队从想法到产品再到规模化。知名演讲者包括Google Web AI负责人Jason Mayes，他将分享客户端Web AI智能体等前沿技术。该平台围绕真实挑战（如Kongsberg的海事声音信号检测、Sandvik的智能备件发现）组织高信号原型开发。 #AI #非营利 #加速器 #黑客马拉松 #Google #初创企业 #科技创新 #SinceAI
LLM 流水线自主生成新颖物理学研究论文
一项前沿研究展示了大型语言模型（LLM）在科学研究中的自主能力。来自 arXiv 的预印本论文《Grounded autonomous research: a fault-tolerant LLM pipeline from corpus to manuscript in frontier computational physics》描述了一个容错性 LLM 流水线，能够从语料库自动生成计算物理学前沿领域的研究手稿。该流水线无需人工干预，即可完成文献检索、实验设计、数据分析和论文撰写，最终产出一篇具有新颖性的物理学研究论文。这一突破表明，AI 不仅能够辅助科研，还可能在未来独立推动科学发现，引发学术界对自动化研究伦理与可靠性的讨论。 #LLM #自主研究 #物理学 #AI科研 #论文生成 #计算物理 #人工智能 #科学发现
一项前沿研究展示了大型语言模型（LLM）在科学研究中的自主能力。来自 arXiv 的预印本论文《Grounded autonomous research: a fault-tolerant LLM pipeline from corpus to manuscript in frontier computational physics》描述了一个容错性 LLM 流水线，能够从语料库自动生成计算物理学前沿领域的研究手稿。该流水线无需人工干预，即可完成文献检索、实验设计、数据分析和论文撰写，最终产出一篇具有新颖性的物理学研究论文。这一突破表明，AI 不仅能够辅助科研，还可能在未来独立推动科学发现，引发学术界对自动化研究伦理与可靠性的讨论。 #LLM #自主研究 #物理学 #AI科研 #论文生成 #计算物理 #人工智能 #科学发现
让AI代码审查变得可量化
在软件开发流程中，代码审查一直是瓶颈环节。旅游公司loveholidays的工程师受Intercom公司启发，尝试利用AI不仅辅助代码审查，还让其直接批准代码。该实验基于OpenAI提供的三个月试用期，消耗了数十亿token。工程师构建了一个能运行在现有工作流中的本地化AI审查系统，使用Codex exec触发审查流程，而非仅依赖git diff，因为上下文信息至关重要。系统会检查相关文件、分析周围代码、寻找相似模式并评估变更可能带来的影响。通过使用历史PR数据作为模拟审查的测试用例，并收集同事反馈完善评估标准，工程师测试了不同提示词的效果。结果显示，简单的通用提示词仅能达到50%的准确率，而更精细化的提示设计能显著提升审查质量。尽管成本高昂，但这一实验为AI代码审查的可量化评估提供了有价值的实践参考。 #AI #代码审查 #软件开发 #OpenAI #自动化 #工程实践 #技术实验
在软件开发流程中，代码审查一直是瓶颈环节。旅游公司loveholidays的工程师受Intercom公司启发，尝试利用AI不仅辅助代码审查，还让其直接批准代码。该实验基于OpenAI提供的三个月试用期，消耗了数十亿token。工程师构建了一个能运行在现有工作流中的本地化AI审查系统，使用Codex exec触发审查流程，而非仅依赖git diff，因为上下文信息至关重要。系统会检查相关文件、分析周围代码、寻找相似模式并评估变更可能带来的影响。通过使用历史PR数据作为模拟审查的测试用例，并收集同事反馈完善评估标准，工程师测试了不同提示词的效果。结果显示，简单的通用提示词仅能达到50%的准确率，而更精细化的提示设计能显著提升审查质量。尽管成本高昂，但这一实验为AI代码审查的可量化评估提供了有价值的实践参考。 #AI #代码审查 #软件开发 #OpenAI #自动化 #工程实践 #技术实验
美国自说自话
2026年7月，美国围绕开源与闭源AI的争论从经济意识形态转向现实安全决策。此前，闭源实验室以安全为由限制前沿模型开放，而开源倡导者强调透明与成本优势。然而，随着技术差距缩小，这一争论不再学术化，CISO和安全工程师正面临缺乏清晰框架的架构选择。2025年7月，美国通过行政令推动AI技术栈出口，意图主导全球标准。但2026年6月，Anthropic发布Fable 5和Mythos 5后，美国政府以国家安全为由限制其海外访问，引发争议。禁令虽在18天后解除，却削弱了盟友对美国AI栈的信任，促使法国、荷兰等呼吁AI主权。此举适得其反，反而助长了对开源AI的兴趣，其中成本因素尤为关键。 #AI #开源 #闭源 #美国 #中国 #安全 #技术栈 #出口管制 #Anthropic #成本
2026年7月，美国围绕开源与闭源AI的争论从经济意识形态转向现实安全决策。此前，闭源实验室以安全为由限制前沿模型开放，而开源倡导者强调透明与成本优势。然而，随着技术差距缩小，这一争论不再学术化，CISO和安全工程师正面临缺乏清晰框架的架构选择。2025年7月，美国通过行政令推动AI技术栈出口，意图主导全球标准。但2026年6月，Anthropic发布Fable 5和Mythos 5后，美国政府以国家安全为由限制其海外访问，引发争议。禁令虽在18天后解除，却削弱了盟友对美国AI栈的信任，促使法国、荷兰等呼吁AI主权。此举适得其反，反而助长了对开源AI的兴趣，其中成本因素尤为关键。 #AI #开源 #闭源 #美国 #中国 #安全 #技术栈 #出口管制 #Anthropic #成本
AI职位名称占比三年增长三倍，非科技行业也在蔓延
自ChatGPT发布以来，AI在职场中的影响日益加深。据招聘网站Indeed最新数据，包含“AI”的职位名称数量从2022年至2026年增长了三倍，目前每12个职位中就有1个带有AI标签。这一趋势已从科技行业扩展至销售、教育、管理等非技术领域。例如，物理治疗师职位要求使用AI文档工具，底特律某私立学院招聘“AI素养”兼职教师。Indeed经济学家指出，雇主此举意在明确要求求职者具备AI技能。大公司招聘AI人才的比例更高，大学实习岗位中提及AI的比例也超过10%。然而，美国劳动力市场整体低迷，6月仅新增5.7万就业岗位，经验丰富的求职者面临AI技能门槛，一些人因缺乏AI经验而放弃申请相关职位。 #AI #职位名称 #就业市场 #Indeed #劳动力市场 #科技 #求职 #人工智能 #技能需求
自ChatGPT发布以来，AI在职场中的影响日益加深。据招聘网站Indeed最新数据，包含“AI”的职位名称数量从2022年至2026年增长了三倍，目前每12个职位中就有1个带有AI标签。这一趋势已从科技行业扩展至销售、教育、管理等非技术领域。例如，物理治疗师职位要求使用AI文档工具，底特律某私立学院招聘“AI素养”兼职教师。Indeed经济学家指出，雇主此举意在明确要求求职者具备AI技能。大公司招聘AI人才的比例更高，大学实习岗位中提及AI的比例也超过10%。然而，美国劳动力市场整体低迷，6月仅新增5.7万就业岗位，经验丰富的求职者面临AI技能门槛，一些人因缺乏AI经验而放弃申请相关职位。 #AI #职位名称 #就业市场 #Indeed #劳动力市场 #科技 #求职 #人工智能 #技能需求
Parchmint 发布：一款展示 AI 真实读取内容的 Markdown 编辑器
Parchmint 是一款专为机器读者设计的 Markdown 编辑器，其核心功能是展示语言模型实际看到的“诚实预览”。传统编辑器渲染 Markdown 时，会隐藏空白、格式假设等细节，导致提示词或文档在推理时出现意外。Parchmint 则直接呈现分词器解析后的真实内容，包括每个 token 计数、结构警告，并实时显示 token 预算。该工具支持本地优先、无需账户、无遥测，提供源文件、分屏和预览三种视图模式，并内置 Mermaid 图表、KaTeX 数学公式和代码高亮渲染。Parchmint 基于 Tauri 和 Rust 构建，文件存储在本地，可检测外部更改，确保隐私安全。项目采用 MIT 许可证，免费开源，支持 Windows、macOS 和 Linux 平台。 #Parchmint #Markdown编辑器 #AI #大模型 #开源 #本地优先 #开发者工具
Parchmint 是一款专为机器读者设计的 Markdown 编辑器，其核心功能是展示语言模型实际看到的“诚实预览”。传统编辑器渲染 Markdown 时，会隐藏空白、格式假设等细节，导致提示词或文档在推理时出现意外。Parchmint 则直接呈现分词器解析后的真实内容，包括每个 token 计数、结构警告，并实时显示 token 预算。该工具支持本地优先、无需账户、无遥测，提供源文件、分屏和预览三种视图模式，并内置 Mermaid 图表、KaTeX 数学公式和代码高亮渲染。Parchmint 基于 Tauri 和 Rust 构建，文件存储在本地，可检测外部更改，确保隐私安全。项目采用 MIT 许可证，免费开源，支持 Windows、macOS 和 Linux 平台。 #Parchmint #Markdown编辑器 #AI #大模型 #开源 #本地优先 #开发者工具
AI体育预测大比拼
一项针对多个前沿AI模型（包括GPT-5.5、GLM 5.2、Claude Opus 4.8、Gemini 3.5 Flash、Grok 4.3、DeepSeek V4 Pro及Claude Sonnet 5）的体育预测实验显示，这些模型在获取相同盲数据（无赔率、无网络搜索）后，于比赛开始前约3小时锁定预测，并公开评分。评估指标包括Brier分数（均方误差）、准确率及基于收盘价的投资回报率。初步结论是：没有任何模型能持续击败市场收盘线，即使是前沿模型也不例外。值得关注的竞争在于谁最接近市场表现。实验还涉及每局总得分、首局得分概率等细分预测，所有模型均未接触赔率，仅凭数据评估预测能力。样本量尚小，需谨慎解读。 #AI #体育预测 #GPT #Claude #Gemini #Grok #DeepSeek #机器学习 #模型评估
一项针对多个前沿AI模型（包括GPT-5.5、GLM 5.2、Claude Opus 4.8、Gemini 3.5 Flash、Grok 4.3、DeepSeek V4 Pro及Claude Sonnet 5）的体育预测实验显示，这些模型在获取相同盲数据（无赔率、无网络搜索）后，于比赛开始前约3小时锁定预测，并公开评分。评估指标包括Brier分数（均方误差）、准确率及基于收盘价的投资回报率。初步结论是：没有任何模型能持续击败市场收盘线，即使是前沿模型也不例外。值得关注的竞争在于谁最接近市场表现。实验还涉及每局总得分、首局得分概率等细分预测，所有模型均未接触赔率，仅凭数据评估预测能力。样本量尚小，需谨慎解读。 #AI #体育预测 #GPT #Claude #Gemini #Grok #DeepSeek #机器学习 #模型评估