全部资讯

全部资讯模型
共 5971 条 · 第 115/150 页
Hacker News · AI10/04资讯行业动态海外

Wolfram 撰文谈 AI 时代纯数学研究的未来

Wolfram 在文章开头回应了「AI 已能解数学题、是否还需要人类做数学研究」的讨论。他以 1988 年 Mathematica 问世时同样出现「数学被取代」的论调为例,指出 Mathematica 实际只是抬高了可做数学的层次,并催生了新数学。他认为符号积分这类问题求解虽被工具替代,但这并非纯数学的核心;纯数学是文明构建的最大智力结构,其价值不能仅由应用或「标准答案之书」来定义。原文信息有限,后续内容未完整给出。

推荐理由Wolfram 亲述 Mathematica 当年被指取代数学的旧事,可对照当下 AI 解数学题的争论。

The Decoder10/04资讯行业动态海外

Google 调整 Gemini 订阅档位,免费用户只能用 Flash-Lite

2026 年 10 月起,Google 对个人账户的 Gemini 模型访问权限做分级限制:无订阅用户只能使用最小的 Flash-Lite,无法使用 Flash 和 Pro,而当前免费档还提供 3.6 Flash 和部分 3.1 Pro 访问。AI Plus(4.99 美元/月)订阅者失去 Pro 权限,只能用 Flash-Lite 和 Flash。三个模型全部可用需订阅 AI Pro(19.99 美元/月)或 AI Ultra(99.99 或 199.99 美元/月)。该结构与 OpenAI 的 ChatGPT …

推荐理由免费档从 3.6 Flash 降到 Flash-Lite,5 美元档被砍掉 Pro,重度用户需重新算账

MarkTechPost10/04模型新模型发布海外

Aleph Alpha 发布 Kolibri:78.1B 开源中英德 MoE 模型

Aleph Alpha 发布 Kolibri,一个面向德语和英语的开源 MoE 模型,总参数 78.1B,每 token 仅激活 3.46B(4.4%)。支持 104 万 token 上下文,可按请求设置推理强度,Apache 2.0 许可发布于 Hugging Face。FP8 权重约 78GB,可在单张 B200、B300、H200 或 2 张 H100 SXM5 上通过 vLLM 部署。预训练用 768 张 B200 跑 20T token,另加 2T 以上德语数据。目标场景是公共管理、工业和航空航天等受监管…

推荐理由78GB 权重单卡可跑,德语 token 比 GPT-5 分词器少 11.2%,做德语场景可直接换

MarkTechPost10/04资讯产品发布/更新海外

DeepSeek Harness v0.2 发布官方桌面应用

DeepSeek 为其开源 Agent Harness(dsh)发布官方桌面应用,随 v0.2 预览版一同推出,提供 macOS(Apple 芯片)和 Windows 64 位安装包。v0.2 内置办公与开发常用工具,新增插件管理页、文件与 diff 预览侧栏、文档处理(表格/PDF 生成图表和幻灯片)以及可定时执行的 Automation Task 插件。桌面版内置 dsh 命令,无需单独安装 Node.js 或 pnpm,可用 DeepSeek 账号登录或填 API key。dsh 于 2026 年 8 月以 …

推荐理由想本地跑 Agent 又不想配 Node 环境的人,现在下个桌面版就能用,还支持第三方 OpenAI 兼容接口

DEV Community · AI10/04模型产品雷达海外

DEV 文章讨论自适应智能:从预测转向持续反馈

原文信息有限,正文为概念性论述,未给出具体模型、数据或产品。文章提出,传统 AI 工作流是「数据→模型→预测→决策」,适用于环境稳定的场景;而真实环境的数据分布、用户行为和网络状态会持续变化,因此需要引入「观察→分析→行动→测量→再评估」的反馈闭环。作者认为自适应不等于持续行动,有时正确决策是不做改变,目标是保持对环境变化的持续感知。文中还提到单一信号变化可能是噪声,多个独立信号同时变化才可能意味着环境本身在迁移,AI 的价值在于处理多维信息并判断是否需要调整。文末提到 Aonica 正在开发相关架构,但内容被截断…

推荐理由适合想了解自适应系统设计思路的人,可对照自己项目里有没有反馈闭环

MarkTechPost10/04资讯技巧与观点海外

NVIDIA IsaacTeleop 重定向引擎教程:用 NumPy 手搓机器人动作输入

MarkTechPost 发布 NVIDIA IsaacTeleop 重定向引擎实操教程,展示如何把 XR 手部追踪和手柄输入转成仿真与真实机器人的动作指令。教程不依赖头显、OpenXR 运行时或模拟器,全部输入用 NumPy 手工构造,可在普通 Colab CPU 上运行。内容包括:安装 isaacteleop[retargeters-lite]==1.4.145、schema 消息类型、合成手部与手柄数据、自写可实时调参的 retargeter、驱动内置夹爪与 SE(3) 重定向器、组合成每步输出一个动作向量的…

推荐理由想在 CPU 上跑通机器人重定向、不买头显的开发者,可直接照抄代码和版本号。

Claude Code 发布10/04模型产品发布/更新海外

Claude Code v2.1.289 修复多项权限与插件问题

Claude Code 发布 v2.1.289,主要修复权限规则与插件系统问题。安全相关:修复复合 shell 命令嵌套部分的 deny/ask 规则在托管机器上被用户安装 mod 审批覆盖的问题;修复 Read deny 规则未作用于通过符号链接 @ 提及、修改或 IDE 选中的文件;修复 Bash deny/ask 规则在环境变量前缀(如 TZ="$HOME" rm -rf build)和裸变量赋值下被沙箱自动放行跳过的问题。插件方面修复本地文件夹市场安装的插件显示陈旧副本、升级后首个会话不加载 mod、插件可…

推荐理由用 Claude Code 的开发者应尽快升级:修了符号链接绕过 Read 拒绝规则

Hugging Face 博客10/04资讯论文研究海外

微软 ThinkingBox 评测 Agent 数据库终态,12 个模型 12 万次试验近 8 万次失败

微软与 Hugging Face 联合发布 ThinkingBox 基准,不再看 Agent 生成的文字或工具调用是否合法,而是直接检查它留在后端数据库里的最终状态和副作用,并要求同一任务连续跑 20 次。在覆盖 12 个 LLM、121680 次有效试验的消融中,79853 次未通过可执行检查。基准包含 507 个有状态业务流程,已通过 Hugging Face 和 OpenEnv 开放运行。文中举例:客服 Agent 九次工具调用全部合法,却把工单状态写成 solved,而要求终态是 hold。

推荐理由做 Agent 落地的可以直接用这套基准测自己的流程,重点看连续 20 次的一致性和数据库终态,而不是回复像不像。

Simon Willison10/04资讯行业动态海外

Simon Willison 发布 9 月赞助者通讯

Simon Willison 于 10 月 3 日发出 9 月赞助者专属月度通讯,仅赞助者可访问。本期目录包括:更多 Fable 级模型、一场价格战、3D 图形与 Blender 及像素画、LLM 进军数学、更多意外网络攻击、Datasette 遭遇漏洞危机、他当前在用的工具、本月软件发布、2026 年 LLM 进展回顾。订阅价格 10 美元/月,可提前一个月看到免费版内容。原文未披露各条目的具体内容。

推荐理由想提前一个月看到他对模型价格战和 LLM 数学进展的判断,需付 10 美元/月