跳到正文

全部动态

今日 0 条
10月9日周五
  1. 雷峰网10

    《碳硅道统·跨域迁移治理法典》连载:文明级迁移风控层如何识别长周期不可逆的文明扰动

    《碳硅道统·跨域迁移治理法典》七层体系第六层提出文明稳态审计框架,针对 AI 跨域迁移引发的缓慢、代际传导且不可逆的文明底层扰动建立风控基线。该层定义了 NT2 语义跨代漂移、NT4 范式权力偷渡、NT1 结构错配三类负迁移传导路径,并设置基础共识留存率等五项观测指标与三级扰动分级阈值。

  2. Hacker News · AI 最新38

    AI 如何改变科学发现的曲线:现状与未来

    AI 正在跨学科加速科学发现,从 AlphaFold 预测蛋白质结构到推进数学难题,展现出前所未有的速度与规模。研究团队结合 1500 万次 Gemini 交互与 2600 多个专用 AI 模型的文献计量数据,系统梳理了 AI 在科研工作流中的应用现状。尽管潜力巨大,AI for science 仍面临论文泛滥、研究视野窄化与技能退化等挑战,需要深层的制度与结构改革。

  3. Hacker News · AI 最新52

    为什么 AI 还没有解决软件交付问题,以及什么能解决

    文章认为软件交付的瓶颈是各环节之间的翻译问题,而非编码速度问题;给每一步加 AI 只加快了单步产出,交付并未变快。真正见效的团队先改造流程,让中间文档变成机器可处理的形式,再加智能体。文章逐一点评 spec-driven 框架、上下文平台、架构工具和约定工具四类方案各自缺失的一环,并提出用一条贯穿业务意图到运行代码的连接线来解决,最后说明 M1Spec 按此思路构建。

  4. Hacker News · AI 最新14

    AI 永远不会成为超级智能的十大理由:既不会毁灭也不会拯救我们

    一篇反 AI 恐慌合集文章列出十大理由,论证计算机模型永远无法获得意识、自我意识或智能,因此不构成存在性威胁。文章认为模型只是被拟合到数据上的开关集合,并不会学习,也无法通过 Gödel Test。模型同样不可能产生模型幻觉或说谎,真正的风险在于作恶的人将其用于邪恶目的。

  5. 腾讯研究院26

    穿越分化带:SPIRAL 商业持续螺旋(6+2)—— AI 时代企业战略六步推演框架

    腾讯研究院提出 AI 时代企业战略推演框架 SPIRAL 商业持续螺旋(6+2),以“商业持续与商业成功”为起点,帮助企业应对当前 AI 产业“分化带”阶段的战略挑战。该框架将战略推演拆解为起点、定位、鉴别、谋策、推行、评估六个步骤,并辅以感知与使能两条横切贯穿落地。文章指出,分化带中错误暴露的滞后期往往长于可纠正的窗口期,企业需在 2-4 年的战略窗口内完成深度思考与自我校准。

  6. Hacker News · AI 最新58

    Suno 是新的 auto-tune,探访用 AI 走红的签约艺人

    专访用 Suno 修饰人声的艺人 Kilo Kent 与 Zemi,两人同签 Isekai Records,坚称 AI 只是像 auto-tune 一样的工具而非替代创作。厂牌此前因 AI 模仿 Jorja Smith 的歌曲被 Spotify 下架,换真人演唱重新发布后已超 2.5 亿次播放。专家指出 AI 辅助与 AI 生成之间并无清晰界线,而是从微调到流水线 slop 的连续谱。

  7. Hacker News · AI 最新21

    AI、孔雀尾巴与狗屁工作

    原文仅提供了一个标题与链接,未包含可核验的正文内容,无法提取模型、版本号或 benchmark 等具体事实。该标题将 AI 与孔雀尾巴、狗屁工作并置,属于观点性讨论而非发布消息。

  8. TechCrunch · AI

    OpenAI 的数学解题成果尚未达到该领域的标准

    OpenAI 本周发布了数百个声称解决世界级数学难题的证明,但被指未达到数学界标准。AGMAI 指出 OpenAI 仍在用开放研究问题测试专有模型,且 719 份手稿中仅 10 份公开了模型思维链,仅 42% 的证明完成了形式化。剑桥大学与伦敦国王学院的论文进一步揭示,OpenAI 针对 Navier-Stokes 方程的解法在自然语言证明与 Lean 代码间存在至少两处不一致。

  9. Hacker News · AI 最新32

    AI 与哲学:通过资本密集型哲学推动进步

    David Strohmaier 认为 AI 系统将驱动哲学研究,使哲学成为一门资本密集型学科。哲学各领域存在广泛的跨领域推理依赖,AI 智能体可大规模形式化已发表理论并构建反例,帮助解决哲学问题。决策理论、公理化形而上学和形式认识论被视为最有潜力的应用方向。

  10. Hacker News · AI 最新68

    没人准备好迎接 AI 智能体洪流

    纽约杂志专栏作者以 Meta 上月发布的 Muse 为例,记录 AI 智能体代用户拨打电话、提交政务表单时,小微企业、预订平台和政府服务端受到的冲击。研究人员将自动化请求压垮公共渠道的现象命名为 agentic flooding,并担忧政府以增设摩擦的方式压制需求;作者亲测发现 Muse 误把两笔属于他人的债务认领归入自己名下,仍准备一并提交。

  11. Hacker News · AI 最新31

    AI 让你的 DRM 形同虚设

    作者指出 AI 智能体正让软件逆向工程变得大众化,普通用户只需消耗 token 就能破解软件。Crackmes.one 举办的首届逆向工程 CTF 中,一名零经验的玩家凭借 AI 赢得冠军,且 90% 的题解由 AI 生成。此外,用户还能通过 Claude Code 等工具绕过部分安全护栏完成反编译,这使传统软件保护机制面临失效风险。

  12. The Decoder65

    AI 生成证明涌入数学领域,部分数学家呼吁抵制 OpenAI

    OpenAI 一次性放出 700 多份 AI 生成的数学证明文件,引发数学界反弹,部分数学家公开呼吁抵制 OpenAI。AHM 声明称这“不是学术展示,而是力量展示”,并暗示相关成果源于对数学家作品的训练。Aaronson 透露此次共测试约 8000 个问题、成功率约 5%,每题平均消耗 3 小时 GPT-Pro 级算力,密码学方向则缺席。

    推荐理由:文中将 OpenAI 批量发布证明草稿与 Anthropic 和数学家合作的两条路径并列,读者可据此判断 AI 介入数学研究的不同代价。

  13. Hacker News · AI 最新25

    人形机器人的 AI 路障与便携式橡胶坝

    研究人员警告,基于语言和图像的 AI 进展难以应对物理世界的无限变化,人形机器人短期内不会改变生活。WaveSave 推出可在涨水时快速安装的便携式橡胶坝 SlamDam,充水后可膨胀至最高 1.3 米高以保护沿岸财产。此外,奥地利与中国科学家建造了首批核时钟,中国核时钟的稳定性是奥地利的 6 倍。

  14. Hacker News · AI 最新69

    AI 模型蒸馏悖论:美国对训练与蒸馏的双重标准

    Lawfare 发文指出,美国政府一边主张未经许可训练 AI 属于 fair use,一边指控中国实验室蒸馏美国前沿模型,两种立场相互矛盾。文中对比司法部为 OpenAI 辩护的声明与 NSA、CISA、FBI 对 DeepSeek、Moonshot AI、阿里巴巴、MiniMax、StepFun、Z.ai 的指控,并分析美国实验室因担心判例反噬自身而未提起诉讼。