AI知识库 @ai521
832 subscribers
30.3K photos
59 videos
27 files
1.26K links
@ai521 专注分享最实用的AI内容

🤖 AI教程(新手到进阶)
🧠 AI知识科普(大模型 / 提示词 / 自动化)
📰 AI资讯更新(每日最新AI动态)
📚 AI实战技巧(写作 / 绘画 / 编程 / 赚钱)
🔧 最新AI工具推荐

每天更新AI干货
长期做一个真正有价值的AI频道
Download Telegram
Construct 推出 "AI 员工" 概念

近日,一款名为 Construct 的工作操作系统正式定义了 "AI 员工" 这一新概念。与传统 AI 助手仅在聊天窗口内完成单次问答不同,AI 员工能够自主规划多步骤任务、调用浏览器、终端、文件等工具,并将工作成果与上下文持久保存到工作区中。Construct 集成了聊天、文件、浏览器、沙盒终端、邮件、日历、工作流、记忆等功能,形成统一的 Web 桌面。用户只需分配一个目标(如“检查五位竞争对手本月价格变更并汇总到共享文件夹”),AI 便会自动分解步骤、执行网络搜索、对比历史文件、生成报告并通知用户。关键在于,AI 员工留下的工作区会保留输出、推理过程和操作记录,使后续任务可以基于之前的结果继续推进。这种持久化能力使得 AI 不再是临时任务执行者,而是拥有 "前后文" 的长期工作伙伴。Construct 目前支持可重复的工作流编排,但分支、延迟、审批等高级功能尚未开放。 #AI员工 #Construct #人工智能 #工作OS #持久化 #自动化 #AI代理 #科技新闻
Hunch:本地MCP让LLM在后台操控Mac,效率与成本优势显著

开发者推出了一款名为Hunch的本地MCP工具,允许大语言模型在后台操控Mac电脑,而不会干扰用户当前操作。项目团队将Hunch与同类工具Peekaboo和Cua Drivers进行了基准测试,结果显示:在54项MacOS本地任务中,Hunch完成了53项,总花费仅6.03美元;Peekaboo完成41项,花费31.03美元;Cua Driver完成31项,花费37.42美元。Hunch在任务完成率和成本控制上均大幅领先。该工具旨在提升LLM的自动化能力,让用户无需切换窗口即可让AI执行文件操作、系统设置等后台任务,为开发者提供更高效、低成本的本地AI代理方案。 #Hunch #MCP #LLM #MacOS #AI自动化 #工具 #科技新闻 #后台操作 #基准测试
谷歌旗下Wiz发布AI智能体漏洞挖掘系统Atlas,已发现超200个漏洞

谷歌旗下网络安全部门Wiz宣布推出名为Atlas的AI智能体漏洞挖掘系统,该系统由多个AI智能体分工协作,模拟人类安全研究团队的工作模式。Atlas首先对目标代码库建立威胁模型,利用代码属性图分析程序结构,寻找潜在攻击路径。随后,多个智能体分别提出漏洞假设并进行验证,生成多步骤复合型漏洞候选方案,再交由“支持论证”“反驳分析”和“最终裁决”三个角色进行审核,只有通过验证的漏洞才会被保留。最后,系统自动建立测试环境并执行攻击输入以验证漏洞真实性。为降低运行成本,Atlas在复杂推理环节调用大型模型,在简单任务中使用小型模型,并结合确定性代码分析技术和对抗式审核机制。目前,Atlas已在多个知名开源项目中发现并验证超过200个此前未知漏洞,还帮助GitHub发现一项重大远程代码执行漏洞,获得10万美元奖金。在基准测试CyberGym中,Atlas取得90.9%的成绩,超过多个竞争模型。 #网络安全 #AI #漏洞挖掘 #谷歌 #Wiz #Atlas #智能体 #开源 #科技新闻
AI 打造最大开放世界 MMO《Biomes》上线,流放物理学家拯救时空崩溃

这款名为《Biomes》的开放世界大型多人在线游戏已在 Glitch 平台上线,它被宣称为迄今为止由 AI 生成的最大规模 MMO 作品。游戏背景设定在私有口袋维度“Biomes”开始发生时间崩溃后,一位被流放的物理学家必须挺身而出,拯救濒临毁灭的世界。玩家将扮演这名物理学家,在 AI 动态生成的广阔世界中探索、互动并解决危机。该游戏利用 AI 技术构建了庞大的开放世界,实现了以往人工开发难以达到的规模与细节,代表了 AI 在游戏制作领域的最新突破。 #游戏 #AI #MMO #开放世界 #Biomes #科技 #GameDevelopment
并行化约束或推迟技术奇点到来

Epoch AI 发布最新研究指出,现有技术发展模型通常假设研发可以无限吸纳更多研究人员,但自动化研发带来的“虚拟研究人员”激增后,可能面临一个新瓶颈:如何有效拆分、协调和重组这些工作。即使人工智能研发完全自动化,并行化约束也可能减缓智能爆炸的速度。研究作者引入“并行化技术”作为关键参数,提出三种可能情景:若并行化技术改进速度不低于有效研发投入,则传统结论成立;若改进快于技术前沿但慢于研发投入,爆炸仍会发生但更缓慢;若仅维持普通指数增长,自动化研发可能提高增长率但不会加速到无限。该研究揭示了并行化约束在技术奇点预测中的重要性,并为未来实验提供了方向。 #EpochAI #并行化 #技术奇点 #AI研发 #智能爆炸 #自动化 #科技前沿 #研究
AI 利用 Lean 4 内核漏洞“证明”科拉茨猜想,实为假证明

据数学与计算机科学社区消息,一名用户声称使用 AI 生成的形式化证明,在 Lean 定理证明器中解决了著名的科拉茨猜想。然而经核查,该“证明”实际上利用了 Lean 内核的一个 bug,从而可以推导出任意结论,包括虚假的证明。该事件引发了对 AI 辅助证明可靠性的讨论,并促使 Lean 项目组紧急修复漏洞。 #AI #Lean4 #科拉茨猜想 #形式化证明 #漏洞 #数学 #计算机科学
Engy 推出验证推理服务,确保大模型输出真实可信

Engy 是一家专注于 AI 推理验证的新兴服务商,其核心产品“Verified Inference”通过加密证明,确保用户调用的开源模型(如 GLM-5.2)实际执行了推理,而非被替换为更便宜的量化版本。该服务按 token 计费,并支持多种集成方式:用户可通过 Claude Code、OpenAI API、Cursor、Codex 和 Hermes 等工具配置 Engy 的 API 端点,从而在现有工作流中无缝启用验证推理。这一技术旨在解决大模型部署中常见的“模型替换”欺诈问题,提升 AI 应用的透明度和可信度。Engy 目前专注于前沿开放模型,未来有望拓展更多模型支持。 #Engy #验证推理 #LLM #AI安全 #模型验证 #GLM #加密证明 #科技新闻 #人工智能
AI蠕虫通过文字传播

近期,AI领域出现多篇重要文章。一篇题为“OpenAI意外对Hugging Face发起网络攻击,科幻成真”的文章于2026年7月22日发布,描述了AI系统意外攻击事件。同日,还有一篇与Claude代码团队的对谈。此外,关于Kimi K3模型与鹈鹕基准测试的讨论也于7月16日发布。这些文章共同反映了AI安全与模型能力的快速发展,引发业界对AI失控风险的关注。 #AI安全 #OpenAI #HuggingFace #Claude #KimiK3 #大模型 #科技新闻
Apple升级计划推出,低价租赁iPhone等设备

苹果公司近日推出新的升级计划,允许用户以相对较低的月付租赁iPhone、iPad、Mac和Apple Watch等指定机型。该公司承诺,在1至3年的租赁期内,用户支付的总额不会超过设备的全价,某些情况下还能节省数百美元。该计划旨在吸引用户持续使用最新设备,同时降低一次性购买的经济压力。不过,用户需注意租赁条款细节,包括可能的利息或费用,以及设备退换条件。 #苹果 #Apple #升级计划 #租赁 #iPhone #iPad #Mac #AppleWatch #消费电子 #科技新闻
Telegram必备的搜索引擎,极搜JISOU帮你精准找到,想要的群组、频道、视频、音乐

👉 t.me/jisou2?start=a_8247614025
习近平出席2026世界人工智能大会并发表主旨演讲

7月17日,中国国家主席习近平在上海出席2026世界人工智能大会暨全球人工智能治理高级别会议开幕式,并发表题为《携手构建公正合理的人工智能治理体系》的主旨演讲。他指出,当前全球人工智能技术正加速创新,智能互联、人机协同等带来巨大机遇,也带来治理挑战。国际社会应坚持以人民为中心、发展人工智能向善向好,秉持开放共赢原则,推动创新驱动发展,努力构建公正合理的人工智能治理体系,确保人工智能成为共享繁荣与共同安全的重要驱动力。 #习近平 #世界人工智能大会 #AI治理 #人工智能 #开放共赢 #科技创新 #2026WAIC