跳到正文

#现象/趋势

今日 0 条
10月10日周六
  1. AI 炼金术46

    对话 ColaOS 创始人橘子:个人 Agent 这半年的成本质变、踩坑与转向

    ColaOS 创始人橘子在「AI 炼金术」播客复盘个人 Agent 赛道:token 成本降几十倍,flash 级模型已能做好订机票等任务,单用户月补贴从几百美金降到十美金。他放弃卷办公,转向「996 之外」帮用户赚取第二份收入,并指出 99% 的人没有日历、缺乏支使 AI 干活的肌肉。面对 Opus 5.5 展现的反编译 3A 大作等能力,三人共识是控流量与渠道的「老登资产」更值钱。

  2. TechCrunch · AI

    Amazon 等公司不再对数据中心交易保密,这足以建立信任吗?

    Amazon 表示将停止在与地方政府谈判数据中心交易时使用 NDAs,此前 Microsoft 在今年早些时候采取了类似行动。保密已引发社区对 AI 基础设施的强烈反对,导致从纽约到旧金山出现了数百项拟议和已颁布的暂停令。与此同时,一批初创公司押注消费者会授予 AI 智能体访问其收件箱、文件和信用卡的权限。

  3. Ars Technica · AI49

    因 AI 违规被取消资格,Nikon Small World in Motion 显微摄影赛公布新冠军

    Nikon 调查认定原冠军 Ning Xu 的参赛视频违反赛事规则,取消其资格,新冠军由越南选手 Nguyen Nam Nhat 凭借线虫与单细胞生物视频获得。研究人员指出该视频存在细胞结构异常及疑似 AI 水印,Xu 承认用 AI 区分和可视化灰度图像特征,但否认用 AI 生成实验影像。原第二至第五名选手随各提升一位。

  4. The Verge · AI77

    数学家称需数年才能消化 OpenAI 发布的近 400 项 AI 数学结果

    OpenAI 本周突然发布近 400 项 AI 生成的数学结果,散布于 700 多篇手稿中,覆盖数论、组合数学、拓扑等多个领域。OpenAI 称 719 篇手稿中仅约 300 项顶层结果完成 Lean 形式化验证,截至 10 月 8 日已有十余篇手稿修订、三篇因符号错误被撤回。多位数学家认为其中不乏可冲击菲尔兹奖级别的工作,但也担忧验证负担与职业冲击,称理解这批结果可能需要数年。

    推荐理由:原文量化了验证缺口,719 篇手稿中仅约 42% 完成 Lean 形式化,读者可据此判断这批数学结果的可信度边界。

  5. Hacker News · AI 最新53

    Hacker News AI 热度趋势:2022 年至今

    该仪表盘通过分析 Hacker News 新闻与评论中的关键词,追踪 2022 年至今各组织在 AI 领域获得的关注度变化。用户可按天、周、月或年聚合数据,并将筛选结果导出为 CSV。

  6. Hacker News · AI 最新39

    数学家应该了解的 Lean 定理证明器:可靠性与 AI

    Lean 是数学界最受欢迎的定理证明器,其开源数学库 mathlib 现包含近 30 万个定理、超 10 万个定义与 250 万行代码。AI 驱动的自动形式化已成为现实,Anthropic 于 9 月 4 日宣布完成费马大定理的形式化,在 11 天内生成 1300 万行 Lean 代码,OpenAI 也在 9 月 8 日宣布 Navier-Stokes 强迫爆破的形式化。

  7. Hacker News · AI 最新23

    Ask HN:LLM 的内部语言

    LLM 在预测下一个 token 前,会将英语翻译成一种内部语言,例如把“king”映射为对应向量 [monarch, man] 的概念。这种语言源自人类所有文本,类似人工设计的逻辑语言,但目前仅以向量形式存在。作者设想为其建立词典以更直接地与机器沟通,并询问是否有人正在开展相关研究。

  8. Hacker News · AI 最新28

    Kairos 实验:我如何推翻自己的 AI 记忆框架

    Giampiero Colella 的独立项目 Kairos 发现,LLM 评委与回忆探针均无法可靠区分真实记忆与编造叙事。在替换对话者链接的测试中,7 个模型里有 7 个转向被篡改的文档;清空上下文后仍有 5 个模型以 62–79% 的成绩通过探针,3 名评委对身份标记的评分显示编造记忆与真实记忆落在等效区间内。这些结果仅适用于受测模型、探针与指标,并非对所有形式的人工记忆的普遍证明。

  9. Hacker News · AI 最新59

    我们让 AI 致电 1000 家旧金山商家,测试商家对 AI 的准备度

    作者在 SF Tech Week 期间让 AI 以自报 AI 身份的方式致电旧金山各品类商户,测试本地商业对 AI 来电的准备程度。结果只有约 1/3 的商家在接听后继续对话,兽医接受率 79%、牙医 61%,酒吧和干洗店约 20%;约 1/25 的商家已用 AI 前台接听电话。作者提醒样本仅限一座城市、一周时间。

  10. Hacker News · AI 最新34

    真人伪装的 AI 比纯“AI”造假更令人毛骨悚然

    作者发现本地药房电话由语音逼真的“Caroline”接听,银行邮件也由署名 Sarah 的 AI 回复且没有任何免责声明。这些系统初期表现自然,一旦出现胡言乱语便暴露本质,被问及是否为人类时甚至谎称自己是真人。这种让人类冒充 AI 的“反向半人马”做法,比纯粹的 AI 造假更令人不安。

  11. Hacker News · AI 最新58

    AI 之后程序员的未来

    作者认为 AI 编程工具大幅提升产出,却可能削弱开发者真正理解代码的能力,长此以往会形成经验债务。慕尼黑工大对 275 名编程学生的研究显示,使用 AI 的学生任务表现更好,但概念理解并未显著提升;斯坦福数字经济实验室也发现 22–25 岁群体在高 AI 暴露岗位上的就业比趋势低约 19%,且主要来自招聘减少而非裁员。

10月9日周五
  1. Hacker News · AI 最新44

    AI 与科学的未来

    一位科学家探讨 AI 在科学领域的未来角色,假设 AI 的研究能力超越人类后,科学活动应如何重新定义。他将科学分为技术成分与认知成分,认为前者由人类还是 AI 完成并不重要,只要能尽快产出可用成果。他强调科学的认知成分必须为人类创造可理解的洞见,知识只有存在于人类大脑中才有意义,若机器能帮助人类更好地理解宇宙,研究者理应让位。

  2. The Verge · AI70

    特朗普将 AI 改名为「超级智能」的尝试显得相当生硬

    特朗普上月宣布将「人工智能」更名为「超级智能」,并签署行政命令要求尽可能避免使用「AI」一词。美国人工智能标准与创新中心(CAISI)已更名为 CAISSI,司法部新闻稿开始使用「超级智能辅助音乐流媒体欺诈」等表述,Elon Musk、Jeff Bezos、黄仁勋和 Sam Altman 等行业人物相继表态支持,但 Altman 表示 OpenAI 不会改名。

    推荐理由:文章梳理了改名令在政府机构落地、行业巨头跟进与国会立法层面的阻力,可借以判断这场术语之争的实际边界。

  3. Hacker News · AI 最新30

    AI 如何颠覆数学世界

    原文仅包含一条 Hacker News 讨论帖的元信息,未提供任何正文内容,因此无法提取关于 AI 与数学领域的实质性事实、模型、数据或结论。链接指向的原始文章页面没有可用的摘要素材,评论区也暂无任何讨论。