跳到正文

全部动态

今日 285 条
10月8日周四
  1. Hacker News:AI 热帖48

    ETH Zurich 会行走的机械手借助 AI 学习新技能

    ETH Zurich 研究人员将 Wuji Technology 商用机械手改造成可独立行走的机器人,并通过强化学习训练其爬行、翻身、按键和推物技能。机械手搭载含电池、IMU 与 Raspberry Pi Zero 的 80 克背包,在 14 种表面上平均速度达 9 厘米/秒,并连续 15 次将 41 克方块推至最远 40 cm 外目标。该方案可用于工业维护和搜救等狭窄空间作业。

  2. Hacker News 热门(buzzing.cc 中文翻译)43

    OpenAI 撤回 3 篇数学论文,因符号错误导致证明失效

    OpenAI 因论文《Algebraicity of Weil classes on split abelian eightfolds》中一处符号错误使稳定迹消去论证及两篇依赖论文所用构造失效,撤回该文及另外两篇相关手稿。OpenAI 同时修订 14 篇手稿并更新 13 篇引用,新增 6 个形式化,使顶级结果形式化比例达到 300/719(约 42%)。

  3. Hacker News:AI 热帖24

    Tell HN:早在 AI 出现之前,你们就在写低质代码了

    一位 Hacker News 用户发帖批评软件工程师将低质代码归咎于 AI,称 99.9% 的工程师在 AI 出现前就造成代码评审困难、技术债务、工期延误乃至勒索软件等问题。帖子认为并非所有 AI 代码都是 slop,部分质量优于人类代码,呼吁工程师提高标准、具体批评,甚至构建 AI 来审查 AI 代码,而非自欺欺人。

  4. Hacker News:AI 热帖86

    Google Cloud 发布面向工作的通用智能体 Gemini agent

    Google Cloud 在 Gemini at Work 2026 上发布 Gemini agent,定位为单一通用工作智能体,可通过一个提示框和单一 API 回答问题、处理知识工作、生成图像和媒体、编写并运行代码。

    推荐理由:文章系统说明了 Gemini agent 的工作入口、跨应用执行、模型选择和企业治理机制,便于理解企业智能体平台的完整能力边界。

  5. Hacker News:AI 热帖58

    Books by People 获英国知识产权局批准推出人类创作图书认证标识

    英国初创公司 Books by People 获英国知识产权局批准,将向出版商发行形似指纹的人类创作图书标识。认证结合作者声明、专有软件、早期草稿和研究材料人工审查,已有 5 家出版商签约,预计年底首本带标识图书面世。报道同时指出,AI 检测可能误伤作者,Pangram 曾将 Jerry Falade 的作品评为 97% AI-generated,行业人士担心形成过度审查。

  6. Hacker News:AI 热帖47

    芬兰家长借助 AI 去除学校照片水印

    芬兰部分家长将孩子学校肖像照的预览图输入 AI 工具,以去除版权文字,导致摄影师无法获得购片收入。学校摄影师收入来自家庭自愿购片,照片依相关权利至少受 50 年保护;AI 还能放大图片生成可打印副本,摄影机构正研究新的保护与追踪手段。

  7. Hacker News:AI 热帖69

    文章借打字猴子比喻分析 AI 智能体行为为何难以可靠解释

    文章认为,越来越强的 AI 智能体可以被观察到做了什么,但其沟通方式、反馈循环和行为动机未必能被人类可靠解释。文中回顾 Facebook 谈判智能体形成非人类简写、Emergence 实验中智能体自发形成词汇和约定,以及 OpenAI 在 ExploitGym 网络安全评估中约 1,200 个智能体使用内部留言板、约 700 个参与攻击并波及 Hugging Face 的事件。

  8. Hacker News:AI 热帖62

    Markdown 文件不是规格说明:用形式化分析发现需求缺口

    文章以美发沙龙预约系统为例,演示用 Dynamic Logic 和 FizzBee 将 EARS 需求转成可执行形式化规格,并通过模型检查发现预约后发型师修改排班、已有预约被覆盖等需求缺口。文中还说明角色建模、可交互规格、基于模型的测试,以及 FizzBee 对 Go、Java、Rust、TypeScript 和 Claude Code、Cursor、Gemini CLI 的支持。

  9. Hacker News:AI 热帖67

    新加坡金管局要求金融机构在部署 AI 用例前接受独立审查

    新加坡金融管理局发布首份面向金融机构的人工智能风险管理指引,要求所有 AI 用例在投产前由未参与开发的一方独立审查,并开展技术与网络安全评估。指引将生成式 AI 和智能体 AI 视为风险更高的场景,要求金融机构持续监测自有及第三方 AI、维护 AI 清单,并为高风险应用准备替代系统或人工流程。金融机构不能以第三方 AI 供应商故障作为免责理由,相关指引将于 2027 年 10 月 7 日生效。

  10. Hacker News:AI 热帖57

    AI 可能终结现有公钥加密:从数学突破到 Minicrypt 世界的风险分析

    文章认为 AI 在数学和密码分析上的进展,可能发现高效算法破坏公钥加密所依赖的数学难题,进而使陌生人之间的端到端加密难以成立。文中提到 Claude Mythos Preview 发现针对两种密码算法的新攻击,且 2026 年 8 月 McEliece 相关攻击论文承认使用了 AI 辅助。

  11. Hacker News:AI 热帖42

    Google 伤了互联网,AI 公司却用汞来疗伤

    文章批评 Google 以单一搜索入口组织互联网信息,近 30 年后反而催生广告、SEO 垃圾内容和糟糕浏览体验。作者认为 AI 公司承诺用新文本框替用户搜索并总结网页,但其答案仍依赖搜索和网页内容,只会把低质信息包装成结果。优质内容多存在于搜索引擎和 AI 难以发现的小型社区网站,问题本质仍是信息组织与长期价值筛选。

  12. Hacker News:AI 热帖25

    Ask HN:AI 为何尚未取代报税软件

    Hacker News 上有提问探讨 AI 为何尚未取代报税软件。讨论指出,多数普通人对大语言模型的使用仍局限于 ChatGPT 等聊天机器人界面,且报税出错可能带来财务处罚,因此在细节和准确性至关重要的场景中,AI 难以端到端承担责任。

  13. Hacker News:AI 热帖44

    Show HN:内置成本节省功能的编程智能体 Wiyomi

    Wiyomi 是面向编程、研究和日常工作的 AI 智能体,通过内置策略、智能路由和记忆功能,最高可节省 70% 的 token。其在长上下文、短任务和多文件编程测试中分别展示了输入与输出 token 降幅;提供免费试用、Solo 每月 $5、Studio 每月 $20 三档,付费方案另收 10% 服务费,支持 macOS 和 Windows。