跳到正文

全部动态

今日 3 条
9月4日周五
  1. Hacker News 热门(buzzing.cc 中文翻译)32

    Grok 服务中断,x.ai 状态页更新

    Hacker News 热帖报告 Grok 出现服务中断,链接指向 x.ai 的状态页 status.x.ai,帖子获得 108 个 HN Points。材料仅提供标题与链接,未包含故障原因或恢复情况等细节。

  2. Tessl:产品与工程博客62

    Tessl 提出反馈回路工程:用内、中、外三层循环让项目对智能体更友好

    Tessl 提出反馈回路工程这一实践,把围绕智能体的循环分为内循环(测试、类型、评审)、中循环(维护智能体修复项目本身的状态)和外循环(读取生产信号),认为常被忽略的中循环能改善未来大量变更的条件。

    推荐理由:文章提出反馈回路工程的三层框架,并给出 Tessl 自身维护智能体的运行数据,可作为改进智能体开发环境的可迁移方法。

9月3日周四
  1. Hacker News 热门(buzzing.cc 中文翻译)60

    机器人技术为何如此困难:一项系统性挑战清单

    作者指出当前 AI 进展几乎全在知识工作领域,物理侧的通用机器人仍停留在测试设施和演示视频,且 demo 视频难以评估真实水平,可能只展示百次尝试中的一次成功。文章列出从手部灵巧性、视觉理解、规划反应、速度、力量、安全、续航散热、泛化边界情况到算力、规模化供应链和社会监管等十余项待克服的挑战,认为物理世界的 demo 与现实差距会比 LLM 基准与实际工作的差距更大。

  2. Frank Wang 玉伯23

    YouMind 负责人玉伯称收到两例用户反馈,印证产品差异化:一是 All-in-One 创作工作室带来便捷,用户认为单工具比多工具方便;二是生图、生 PPT、生视频功能持续解决人物、风格等一致性问题,让 Lovart、LibTV 用户愿意迁移到 YouMind。附图为一封用户来信,称赞无需切换标签页即可完成研究、写作和生成视觉素材。作者表示打磨过程辛苦,但看到用户反馈和付款感到开心。

  3. Thomas Wolf42

    Thomas Wolf 引用 @jdlichtman 的消息:其同事 Youness Lamzouri 产出了对 Claude 关于超过 2/3 zeta 零点论证的更简单的人类版证明消化。论文摘要称给出概念上更简短的无条件证明,证明超过 67.25% 的非平凡零点简单且位于临界线上,至少 83.62% 非平凡零点互不相同;原证明由 Anthropic 内部研究版 Claude 产出并经 Alpöge 和 Furman 验证,新证明用 Hilbert 空间不等式替代矩阵框架。作者评论 great mathematicians still lead on taste。