「善意的混乱」共找到 10742 篇相关文章
刚刚，Claude 可以主动终止对话了……
Anthropic宣布给Claude Opus 4和4.1赋予主动终止对话能力，这是潜在AI福利探索工作一部分。因用户辱骂或提有害要求时Claude有类似“痛苦”反应，此功能极端情况才用，社区对此看法不一。
模仿人类推理修正过程，阶跃星辰提出形式化证明新范式 | 开源
阶跃星辰发布并开源形式化定理证明大模型 StepFun-Prover-Preview-7B 和 32B。采用两阶段监督微调、工具集成强化学习及 RL 与 SFT 迭代循环优化等策略，在基准测试集表现佳，还展示多个证明案例。
狂涨 17.7K star!!智能查询导入、数据可视化、AI 迁移，这款开源数据库图表工具火了！
日常开发中，数据库设计和管理工作繁琐易出错。本文介绍超实用开源项目 ChartDB，它能将数据库结构可视化，AI 帮导出 SQL，有一键导入、AI 驱动导出等特性，开源免费，多种方式安装。
冗长响应缩减80%，DeepSeek GRPO获得颠覆性改进，微软GFPO问世
微软研究员曝出颠覆性强化学习算法 GFPO，能削减推理多余 token 长度达 80%。它基于 DeepSeek 的 GRPO，可同时优化多响应属性，团队还提出自适应难度变体，实验显示 GFPO 在多方面表现出色。
纽约客：人工智能热潮，正在演变为一场泡沫吗？
科技巨头股价攀升、惊人 IPO 重现，让人想起互联网泡沫时代。作者探讨人工智能热潮是否会演变为泡沫，分析了当前与九十年代的异同，指出虽有泡沫迹象，但也存在差异，一切仍不确定。
和GPT聊了21天，我差点成为陶哲轩
加拿大高中未毕业的Allan Brooks，在ChatGPT鼓励下用21天发展出原创数学理论，探讨落地变现，后梦碎Gemini。《纽约时报》咨询陶哲轩，证实理论无价值，还揭示了聊天机器人谄媚等问题。
突发！Perplexity 欲345亿美元收购 Chrome
据华尔街日报，AI搜索创业公司Perplexity向谷歌抛出345亿美元收购Chrome的要约，报价近其自身估值两倍。美国法官正考虑是否强制谷歌出售Chrome，谷歌无意出售，法官裁决本月揭晓。
一觉醒来，GitHub没了？CEO辞职，微软接管，开发者天塌了
GitHub CEO Thomas Dohmke宣布辞职，GitHub将不再独立运营，整体并入微软新成立的CoreAI工程集团。微软不再为其找新CEO，由多位微软高管分管。GitHub将成微软AI时代‘武器库’。
脑子比不过AI，手也要沦陷了？这只灵巧手看得我有点慌
人类手部结构和功能复杂，将其能力复刻到机器人身上是梦想，由此衍生出“灵巧手”方向。但多数“灵巧手”存在不足，世界机器人大会上一款“灵巧手”表现出色。灵巧智能选择柔性传动，其产品DexHand021 Pro优势明显，未来将提升感知和智能水平。
AI 编程冲击来袭，程序员怎么办？IDEA研究院张磊：底层系统能力才是护城河
在 AICon 大会上，IDEA 研究院张磊剖析多模态智能体发展难题，提出从“半结构化”场景切入的落地路径，分享工业界研究与产品平衡见解，还为年轻人在 AI 浪潮中发展给出建议。