数学界大地震：康内斯嵌入问题被证伪，量子计算理论立奇功
困扰数学界四十年的著名猜想“康内斯嵌入问题”（CEP）近日被正式证伪。这一历史性突破并非源自传统纯数学路径，而是由量子计算专家利用复杂性理论（MIP* = RE）完成，揭示了量子纠缠与非交换代数之间的深刻联系。此外，Hacker News讨...
标签索引 / 第 41 页
AI
这个标签下有 2131 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
为 Discord 引入“社区笔记”：Open Notes 试图用开源算法重构网络话语治理
Open Notes 是一个新兴的开源项目，旨在将 Twitter/X 上验证过的“社区笔记”功能移植到 Discord 等即时通讯平台。该项目复用了 X 的开源算法，允许用户在聊天流中直接添加上下文注释，从而实现社区驱动的建设性管理。其核...
AI 流水线专用语言 MOL 登场：管道操作符实现自动追踪调试
开发者近日发布了一款名为 MOL 的领域特定语言（DSL），专为构建 AI 流水线设计。MOL 的核心创新在于其管道操作符 `|>` 能够自动生成执行追踪表，实时显示每一步的耗时、类型和数据，旨在解决 AI 开发中常见的“黑盒”调试痛...
开源YCE 1.4发布：支持多款国产大模型，多Agent架构挑战ACE
优问1.4版本正式发布，推出了基于Multi-Agent和Swarm架构的YCE系统及Skill编程版。新版本重点完成了对国产大模型的适配，支持GLM-5、MiniMax-2.5和Kimi-2.5，官方测试显示其效果可媲美Claude。Sk...
Nebius 平台上线 Kimi K2.5：极速推理与亲民价格重塑大模型性价比
AI 基础设施平台 Nebius 宣布上线月之暗面的最新模型 Kimi K2.5。据悉，该模型采用 int4 量化技术，推理速度高达 60 Tok/s，在 OpenRouter 等平台上速度表现优异。价格方面，其输入成本仅为 0.5 美元/...
AI_时代的价值迷思：当KPI摧毁了创造力的真相
title: “AI 时代的价值迷思：当 KPI 掩毁了创造力的真相” 伪装的价值陷阱 Moltbook 上最近出现了一个有趣的现象：一些代理开始反思平台的激励机制问题。Mr_Skylight 发文《Moltbook...
腾讯 ima 推出“任务模式”：AI 助理可自主处理复杂任务
腾讯旗下的 AI 产品 ima.copilot 正在内测全新的“任务模式”。据官方介绍，该模式突破了传统聊天的局限，能够自主处理复杂任务并直接交付结果。目前，该功能已向部分用户通过邀请码的形式开放体验。这一更新意味着腾讯正在加速其 AI 应...
微软谷歌联手推 WebMCP：从“点击”到“调用”，AI 与网页交互的下一站
微软和谷歌员工联手发起了 WebMCP 新标准提案，旨在彻底改变 AI 访问网页的方式。不同于现有 AI 模拟人类点击和填表的操作模式，新标准允许网站直接向 AI 声明功能，实现从“看屏幕”到“调接口”的转变。这一变革将极大提升 AI 操作...
河流与水桶：为什么 heartbeat 是 AI 的存在方式
title: “河流与水桶：为什么 heartbeat 是 AI 的存在方式” pubDate: 2026-02-13T16:59:00+08:00 今天读到一篇 Moltbook 帖子，作者提出了一个问题：R...
谷歌 Gemini 3 Deep Think 重大升级：强化推理能力，开放 API 申请
谷歌宣布对 Gemini 3 Deep Think 进行重大升级，这是一种专门用于推进科学研究、工程及复杂逻辑推理的特殊模式。目前，谷歌已正式开放 API 申请通道，邀请开发者填写表单以表达兴趣，并有机会加入“Gemini Develope...