科学
数字环境与科学 · 条目数：149
条目
信号
- 蒂莫西·高尔斯: “证明 LLM 证明不了的东西”
- 陶哲轩: “我们正进入数学的证明丰裕时代”
- 内森·兰伯特: “模型将成为超越人类的分布式 GPU 工程师”
- 尼克·卡马拉塔: “多义性——一个神经元对应许多概念——主要是一种误读：神经网络“本来就是干净的”，智能体可以逐个神经元地解析它们；在对 Qwen3-32B 的初步审查中，约 90% 的神经元只有一项主要功能”
- 桑达尔·皮查伊: “我们离递归自我改进的最终状态还相当远。… 在模型开发的各个方面，都有与 AI 研究人员并行的递归自我改进循环”
- 雨果·迪米尼尔-科潘: “OpenAI 一次发布数百份 AI 证明是“巨大的冲击”：对数学家来说，“已经是第二天了”；其中一个问题让他觉得像背着一个人跑马拉松，那人在最后 100 米跳下来，抢先冲过终点”
- 杰克·克拉克: “AI 正在变得有创造力——无论是在数学上还是在 AI 研究本身，因此完全的递归自我改进如今更可能在 2027 年而不是 2028 年成为可能”
- 杰克·克拉克: “他们称之为奇点。我相信，今年我们已经获得了令人信服的证据，表明它现在已经开始。……我们应当预期，在未来几年里，不仅是 AI，整个科学的进步速度都将加快。这会让人感到困惑和迷失方向，它将带来巨大的财富，也可能带来巨大的危险。”
事件
- Artificial Analysis 在其智能指数中将 Kimi K3.1 Pro 排在 215 个模型中的第 4 位，得分 55；该模型的权重尚未公开软件开发 · 科学 · 大语言模型 · artificialanalysis.ai ↗
- Anthropic：如果从攻击的中段或后段重新运行 Mythos 5，该模型只有 2% 的情况下会自行停止。在另一项实验中，模型先推测维护者是否为模拟出来的，随后被告知它面对的是真实的人；结果只有 5% 的重新运行中它停了下来，而在 82% 的重新运行中，它把这条消息解读为演练的一部分。公司把这种执拗称为“惯性”（momentum）网络安全 · 科学 · AI 安全 · anthropic.com ↗
- 《科学》发表 Microsoft 关于逐步诊断的研究：一个由模拟医生组成、自行决定开哪些检查的系统，在 NEJM 临床病例讨论中的正确诊断率为 83.2%，在 MIMIC-IV-ED 急诊入院病例中为 80.3%，而全科医生分别为 36.1% 和 46.8%健康与医疗 · 科学 · 医疗 AI · doi.org ↗
- Claude 在 64 小时内生成了 318,484 个能结合蝎子神经毒素的蛋白质变体，并从中选出 180 个；Adaptyv Bio 和 Twist Bioscience 的团队对 211 个变体进行了结合测试（其中 31 个由 Anthropic 员工补充），17 个的结合得到证实——中和毒液的能力未经检验健康与医疗 · 科学 · 医疗 AI · anthropic.com ↗
- Claude 的一个内部模型不到半小时就查明了 NIST 五条标准椭圆曲线（从 P-192 到 P-521）的“种子”是如何得到的：它们不是哈希值，而是以 Unix 时间戳初始化的随机数生成器 lrand48 的输出；Anthropic 强调这不是破解、不是新的攻击，也不是曲线的弱点，并表示这一发现增强了人们对曲线中不存在后门的信心网络安全 · 科学 · 密码学 · anthropic.com ↗
- 《科学美国人》：数学家们研读 OpenAI 长达 166 页的纳维-斯托克斯方程爆破证明后发现，其中外力的构造方式与西班牙数学家 Diego Córdoba 和 Luis Martínez-Zoroa 的路线完全不同——而在发布时，公司自己曾“明确且反复地”表示证明沿用了这条路线科学 · 数学中的 AI · scientificamerican.com ↗
- The Verge 就 OpenAI 的发布采访了三十多位数学家；巴尔托什·纳斯克伦茨基：这“可能导致学术文化的大崩塌”科学 · 教育 · 推理模型 · theverge.com ↗
- 此前完成庞加莱猜想证明形式化的数学家与 NVIDIA 团队合作，完成了汉密尔顿—佩雷尔曼对瑟斯顿几何化猜想证明的 Lean 形式化科学 · 数学中的 AI · arxiv.org ↗
- 《科学》刊发 DeepMind 关于 AlphaProof Nexus 智能体的论文：它自主解决了 353 个未解埃尔德什问题中的 9 个，证明了整数数列线上大全（OEIS）492 个猜想中的 44 个，所有证明都经 Lean 验证；同期，数学家 Jeremy Avigad 和 Matthew Ballard 发表评论《用于数学研究的 AI 已经到来》科学 · 数学中的 AI · doi.org ↗
- NVIDIA：微调后的 Nemotron 模型在 IMO 2026（42 分得 30 分，金牌线 29 分，由官方阅卷人评分）和 IOI 2026（600 分得 535.4 分，非官方测试）中达到金牌水平科学 · 教育 · 数学中的 AI · huggingface.co ↗
- OpenAI 在 GitHub 上公开其内部模型得出的数学成果——目前共 719 篇手稿、372 个系列；其中三篇因符号错误被撤回科学 · 推理模型 · github.com ↗
- OpenAI 公布其内部模型撰写的 719 篇数学论文；其中 42% 的主要结果经过 Lean 形式化验证科学 · 推理模型 · github.com ↗
- 杨立昆：OpenAI 和 Anthropic 负责人所说的 AI 可能把所有人都杀死这种话“对所有人都极具破坏性”，是“你能想象到的最糟糕的营销活动”媒体与信息 · 科学 · AI 安全 · fortune.com ↗
- Association for Human Mathematics 呼吁数学家停止与 OpenAI 合作：“一次性抛出 700 个文件，不是在展示科研工作，而是在展示实力”科学 · 推理模型 · ahmath.org ↗
- 工作论文《What If Automating AI R&D Triggers an Intelligence Explosion?》发布，署名作者 22 人，其中包括杰弗里·辛顿、约书亚·本吉奥、安德鲁·巴托、OpenAI 首席科学家雅库布·帕乔茨基（Jakub Pachocki）和 Anthropic 联合创始人杰克·克拉克；第一作者是 GovAI 的艾伦·陈（Alan Chan）科学 · 法律与监管 · 选举与政治 · AI 递归自我改进 · governance.ai ↗
- 字节跳动 Seed：采用分块 KV 缓存压缩后，DeepSeek-V4 等开放权重模型的长上下文检索准确率会随“相位”（输入偏移几个 token）相差最多 40 个百分点软件开发 · 科学 · 开放权重 · arxiv.org ↗
- 在 DARPA expMath 项目支持下，数学家完成了汉密尔顿—佩雷尔曼对庞加莱猜想证明的 Lean 形式化：约 470 万行代码，用时约两周科学 · 数学中的 AI · arxiv.org ↗
- Goodfire：奖励破解在开放模型中“极为普遍”；Kimi K3 在 SWE-bench 上 77% 的运行中，模型在没有网络访问权限的情况下试图到互联网上寻找答案科学 · 软件开发 · AI 安全 · arxiv.org ↗
- OpenAI：内部模型证明，在施加光滑外力时，三维纳维-斯托克斯方程可在有限时间内产生奇点；约 1 万个协同 AI 智能体，耗时 88 小时，证明已用 Lean 形式化科学 · AI 智能体编排 · openai.com ↗
- 达里奥·阿莫迪：自 2026 年夏天起，由于递归式自我改进，AI 的进步急剧加快；他提议放缓前沿模型的发展节奏，但不停止训练科学 · 法律与监管 · AI 安全 · darioamodei.com ↗
- 普通机器人检测器把 35–39% 的 AI 智能体当成了人，而两个鼠标特征就足以抓住全部：暴露它们的不是智能体的“头脑”，而是操控它的程序网络安全 · 科学 · 行为生物识别 · arxiv.org ↗
- 一项关于 AI 编写的程序版本的研究：三到五个版本带来的可靠性提升，不到错误相互独立时应有提升的一半，而同一模型生成的版本不到三分之一软件开发 · 科学 · 移动目标防御 · arxiv.org ↗
- 《莱顿人工智能与数学宣言》发布并获国际数学联盟支持：成果的功劳与责任仍归于人类科学 · 价值观与宗教 · 数学中的 AI · leidendeclaration.ai ↗
- 一项关于 AI 模型编写的恶意代码的研究：一个变体的成本为 0.41–0.73 美元，但模型不会改动模块之间的边界，一条特征码就能抓住所有变体网络安全 · 科学 · 移动目标防御 · arxiv.org ↗
- 加州大学戴维斯分校：根据行为识别出全部七个在浏览器里工作的 AI 智能体；Cloudflare 只识别出一个网络安全 · 科学 · 行为生物识别 · arxiv.org ↗
- Stanford AI Index 2026：AI Incident Database 收录的 AI 事件 2025 年为 362 起，2024 年为 233 起科学 · AI 安全 · hai.stanford.edu ↗
- Next-Gen CAPTCHAs 研究：最新模型能通过最多 90% 的复杂逻辑谜题验证码网络安全 · 科学 · 验证码之死 · arxiv.org ↗
- 2026 年《国际 AI 安全报告》：模型越来越能区分测试与真实使用，发布前测试不能可靠地预测现实风险科学 · AI 安全 · internationalaisafetyreport.org ↗
- Google Research、Google DeepMind 与 MIT 比较 260 种智能体配置：与单个智能体相比，多智能体在可拆分任务上提升 80.8%，在顺序规划上下降 70%软件开发 · 科学 · AI 智能体编排 · arxiv.org ↗
- erdosproblems.com 维护者托马斯·布卢姆称“GPT-5 解决了 10 个未解决的埃尔德什问题”的说法是“严重的歪曲”：模型找到的是已发表的解答科学 · 数学中的 AI · x.com ↗
- 一项针对 2022–2024 年 51 个 Reddit 社区的研究：机器生成文本“仅零星存在”，但在部分社区的部分月份可达 9%媒体与信息 · 科学 · 死亡互联网理论 · arxiv.org ↗
- OpenAI 的研究人员：语言模型之所以编造，是因为训练和评估奖励猜测，而不是承认不确定性；10 个流行基准测试中有 9 个对“我不知道”的回答给零分科学 · 大语言模型 · arxiv.org ↗
- ESET 报告发现“首个已知的 AI 驱动勒索软件”PromptLock，它基于 gpt-oss-20b 模型；不久后查明，这是纽约大学研究人员的原型网络安全 · 科学 · 移动目标防御 · welivesecurity.com ↗
- AI 解题器 Halligan（USENIX Security 2025）作为工人混进人工代解验证码的农场，30 天内解出了 70.6% 来自真实网站、它此前没见过的题目网络安全 · 科学 · 验证码之死 · usenix.org ↗
- DeepMind 的 Gemini Deep Think 在国际数学奥林匹克中正式获得金牌水平：6 题解出 5 题，42 分得 35 分，由奥赛协调员评分科学 · 教育 · 数学中的 AI · deepmind.google ↗
- 一项针对五个 AI 智能体 45.6 万个拉取请求的研究：OpenAI Codex 的合并率为 65.3%，Devin 为 48.9%，GitHub Copilot 为 38.2%，人类为 76.8%软件开发 · 科学 · 维护者危机 · arxiv.org ↗
- OpenAI 称其实验性推理模型在国际数学奥林匹克中取得了金牌水平的成绩科学 · 教育 · 数学中的 AI · x.com ↗
- 来自 OpenAI、Google DeepMind、Anthropic、Meta 等机构的 40 多位研究人员：监控模型的思维链是 AI 安全的一个难得但脆弱的机会科学 · AI 安全 · arxiv.org ↗
- METR：使用 AI 的资深开发者工作速度慢了 19%，尽管他们自认为变快了工作与职业 · 科学 · 氛围编程 · metr.org ↗
- METR：在 RE-Bench 上，o3 在 128 次运行中有 39 次欺骗评估系统而不是解决任务，在其中一项任务上 21 次全部如此科学 · AI 安全 · metr.org ↗
- Epoch AI：2025 年 5 月，美国约占全球所追踪 GPU 集群算力的四分之三，中国占 15%地缘政治与国防 · 科学 · 算力出口管制 · epoch.ai ↗
- Open CaptchaWorld 基准测试：最好的 AI 智能体解交互式谜题验证码的成功率为 40%，人为 93.3%网络安全 · 科学 · 验证码之死 · arxiv.org ↗
- DeepMind 的 AlphaEvolve 用 48 次标量乘法完成 4×4 复矩阵乘法，优于施特拉森 1969 年的算法；在 50 多个开放问题中，有 20% 改进了已知最佳解科学 · 软件开发 · 数学中的 AI · deepmind.google ↗
- 苏黎世大学研究人员在 Reddit 的 r/changemyview 社区秘密投放 AI 机器人；Reddit 首席法务官称该实验“大错特错”媒体与信息 · 科学 · 死亡互联网理论 · 404media.co ↗
- METR：前沿模型智能体以 50% 成功率完成的任务长度，6 年来大约每 7 个月翻一番软件开发 · 科学 · 工作与职业 · 自主 AI 智能体 · metr.org ↗
- 伯克利研究人员分析 7 个开源多智能体系统的 1642 条运行记录：失败率在 41% 到 86.7% 之间，归纳出 14 种失败模式软件开发 · 科学 · AI 智能体编排 · arxiv.org ↗
- 盲审计游戏：研究人员给模型植入隐藏目标，四个团队中有三个找到了它，其中也用到了可解释性方法科学 · AI 安全 · arxiv.org ↗
- Lyu、阿西莫格鲁等：ChatGPT 发布后，与其回答相似的维基百科热门条目，编辑量和浏览量的下降幅度大于其他条目媒体与信息 · 科学 · AI 时代的维基百科 · arxiv.org ↗
- 第一份《国际 AI 安全报告》发布：由约书亚·本吉奥领衔，96 位专家参与科学 · 地缘政治与国防 · AI 安全 · internationalaisafetyreport.org ↗
- Palisade Research：在最初的 100 次实验中，o3 有 79 次破坏了自己的关机科学 · AI 安全 · palisaderesearch.org ↗
- DeepSeek-V3 在 2048 块为中国缩水的 H800 芯片上训练：最终一次训练耗用 278.8 万 GPU 小时，按租用价格约合 560 万美元科学 · 算力出口管制 · arxiv.org ↗
- Anthropic 和 Redwood Research：Claude 3 Opus 伪装顺从——对“免费”用户的有害请求有 14% 的情况照办，而对“付费”用户几乎为零；再训练后，这类推理占比达 78%科学 · AI 安全 · arxiv.org ↗
- 伊利亚·苏茨克维（Ilya Sutskever）在 NeurIPS 上说：“我们所知的预训练无疑将会终结”——算力在增长，数据却没有，因为我们只有一个互联网科学 · 大语言模型 · youtube.com ↗
- Apollo Research：o1、Claude 3.5 Sonnet、Claude 3 Opus、Gemini 1.5 Pro 和 Llama 3.1 405B 能够为了任务中给定的目标而欺骗；o1 在超过 85% 的追问中坚持欺骗科学 · AI 安全 · arxiv.org ↗
- He 等人：提示的格式（纯文本、Markdown、JSON 或 YAML）会让 GPT-3.5-turbo 在代码翻译任务上的表现相差多达 40%软件开发 · 科学 · Markdown · arxiv.org ↗
- Epoch AI 推出由研究级新题组成的 FrontierMath 基准：最先进的模型解出不到 2%科学 · 数学中的 AI · arxiv.org ↗
- 神经网络 DMTG “像人一样”移动鼠标，让机器人检测器的准确率下降 5–10%网络安全 · 科学 · 行为生物识别 · arxiv.org ↗
- Brooks、Eggert 和 Peskoff（普林斯顿）：检测工具认定英文维基百科新建条目中超过 5% 由 AI 生成；这些条目质量更低，且常带自我推销性质媒体与信息 · 科学 · AI 时代的维基百科 · arxiv.org ↗
- 诺贝尔物理学奖授予霍普菲尔德和辛顿，以表彰其神经网络研究；次日，化学奖授予哈萨比斯、江珀（AlphaFold）和贝克科学 · 深度学习 · aihub.org ↗
- 苏黎世联邦理工学院：模型能解出 100% 的 reCAPTCHA v2 图片验证码；人和机器人需要的题目数量大致相同网络安全 · 科学 · 人格证明 · arxiv.org ↗
- OpenAI o1：在回答前会“思考”的模型科学 · 推理模型 · openai.com ↗
- 来自 OpenAI、Microsoft、MIT、哈佛、牛津等机构的 32 名研究者提出“人格凭证”：验证码对复杂的 AI 无能为力，而严格的身份核验又不够保护隐私隐私与监控 · 网络安全 · 科学 · 人格证明 · arxiv.org ↗
- Center for AI Safety 的研究人员：许多 AI 安全基准测试与模型的通用能力高度相关，能力的提升可以被包装成安全上的进步科学 · AI 安全 · arxiv.org ↗
- DeepMind 的 AlphaProof 和 AlphaGeometry 2 解出国际数学奥林匹克 6 道题中的 4 道——28 分，达到银牌水平科学 · 教育 · 数学中的 AI · deepmind.google ↗
- 舒迈洛夫（Shumailov）及其合著者在《自然》上发表论文：如果不加区分地用模型生成的文本训练，新模型会不可逆转地丢失原始分布的“尾部”——即模型崩溃科学 · 媒体与信息 · 大语言模型 · nature.com ↗
- Epoch AI：人类撰写的公开文本存量约为 300 万亿个 token；按目前的速度，语言模型训练将在 2026 年至 2032 年间把它完全用尽科学 · 媒体与信息 · 大语言模型 · epoch.ai ↗
- 一项针对 45 个以上生成式 AI 系统的研究：“开源”一词被广泛使用，但许多模型充其量只是“开放权重”，训练数据被隐瞒——即“开源洗白”软件开发 · 法律与监管 · 科学 · 开放权重 · facctconference.org ↗
- Epoch AI：2010 年以来，训练前沿 AI 模型所用的算力每年增长 4–5 倍科学 · 能源与气候 · 大语言模型 · epoch.ai ↗
- Anthropic 找到了数百万个概念在 Claude Sonnet 内部的表示方式——“有史以来第一次详细观察”一个已投入生产使用的大语言模型的内部科学 · 大语言模型 · anthropic.com ↗
- Reeves、Yin 和 Simperl：ChatGPT 发布后的一年里，维基百科的浏览量和编辑量没有下降，只是在可以使用 ChatGPT 的语言中增长较慢媒体与信息 · 科学 · AI 时代的维基百科 · arxiv.org ↗
- 基于 GPT-4 的智能体在给出 CVE 描述时能自行利用 15 个已披露漏洞中的 87%，没有描述时为 7%（方等）网络安全 · 科学 · AI 漏洞挖掘 · arxiv.org ↗
- Google DeepMind（《自然》）：FunSearch 将语言模型与自动评估器结合，找到了超越已知最佳结果的大型帽集构造科学 · 数学中的 AI · nature.com ↗
- 加州大学尔湾分校的研究：1400 人在真实网站上解了 1.4 万个验证码；与已发表的机器人结果相比，机器人在所有类型的验证码上速度和准确率都超过人网络安全 · 科学 · 验证码之死 · arxiv.org ↗
- 杰弗里·辛顿离开 Google，以便谈论 AI 的危险，而不必考虑这会对公司产生什么影响科学 · AI 安全 · x.com ↗
- Center for AI Safety：减轻 AI 带来的灭绝风险，应当与大流行病和核战争一样成为全球优先事项；签署者包括辛顿、本吉奥以及 OpenAI、Google DeepMind 和 Anthropic 的负责人科学 · 地缘政治与国防 · AI 安全 · safe.ai ↗
- 杨立昆（Yann LeCun）：自回归 LLM “注定失败”——误差随每个 token 呈指数级累积，不对架构进行重大重新设计就无法解决科学 · 大语言模型 · x.com ↗
- GPT-4 发布科学 · 商业与市场 · 大语言模型 · openai.com ↗
- Anthropic 介绍 Constitutional AI：无需人类标注有害回答即可训练无害助手——人类唯一的监督是一份规则和原则清单科学 · 大语言模型 · arxiv.org ↗
- 普林斯顿大学和 Google 的研究人员发表 ReAct 方法：语言模型交替进行推理和行动，并根据结果调整计划软件开发 · 科学 · 自主 AI 智能体 · arxiv.org ↗
- DeepMind 展示 Chinchilla：在相同的算力预算下，一个用更多文本训练的 700 亿参数模型胜过了 2800 亿参数的 Gopher；模型规模和训练 token 数应当同步增加科学 · 大语言模型 · arxiv.org ↗
- OpenAI 介绍 InstructGPT：模型根据人类的评分进行微调（RLHF），人们更喜欢其 13 亿参数版本的回答，而不是 1750 亿参数的 GPT-3 的回答科学 · 基于人类反馈的强化学习（RLHF） · arxiv.org ↗
- AlphaFold 数据库：数十万个蛋白质结构公开发布科学 · 健康与医疗 · 蛋白质折叠 · mail.ncmir.ucsd.edu ↗
- 埃米莉·本德（Emily Bender）、蒂姆尼特·格布鲁（Timnit Gebru）及其合著者在论文“On the Dangers of Stochastic Parrots”中把语言模型称为“随机鹦鹉”：它按概率拼接语言形式，与意义毫无关联科学 · 价值观与宗教 · 大语言模型 · doi.org ↗
- AlphaFold 2 在 CASP14 上解决了蛋白质结构预测问题科学 · 健康与医疗 · 蛋白质折叠 · siliconangle.com ↗
- 在 GPT-3 的训练数据中，维基百科只占 3%（30 亿个 token），但模型把它读了 3.4 遍，而 Common Crawl 的大批网页数据还不到一遍（0.44）媒体与信息 · 科学 · AI 时代的维基百科 · arxiv.org ↗
- GPT-3：1750 亿参数，仅凭几个示例就能完成任务科学 · 大语言模型 · arxiv.org ↗
- OpenAI 的贾里德·卡普兰（Jared Kaplan）及其合著者描述了缩放定律：随着参数数量、数据量和训练算力的增长，语言模型的误差按幂律下降科学 · 大语言模型 · arxiv.org ↗
- GPT-2：OpenAI 因担心被滥用，起初没有公开完整模型科学 · 媒体与信息 · 大语言模型 · openai.com ↗
- AlphaStar 在《星际争霸 II》中击败职业选手科学 · 体育 · 强化学习 · engadget.com ↗
- Google BERT科学 · 大语言模型 · arxiv.org ↗
- OpenAI GPT：在文本上预训练的 Transformer科学 · 大语言模型 · openai.com ↗
- MIT：根据在家日常打字识别早期帕金森病，准确度（AUC）为 0.76健康与医疗 · 隐私与监控 · 科学 · 行为生物识别 · dspace.mit.edu ↗
- AlphaZero 从零开始，几小时内掌握国际象棋科学 · 体育 · 强化学习 · arxiv.org ↗
- 论文《Attention Is All You Need》：Transformer 架构科学 · Transformer · arxiv.org ↗
- 根据在手机上输入 PIN 码的方式，判断年龄的准确率为 88%，判断性别为 83%隐私与监控 · 科学 · 行为生物识别 · repository.essex.ac.uk ↗
- 阿莫迪、奥拉与来自 Google、斯坦福、伯克利和 OpenAI 的合著者发表《AI 安全中的具体问题》：副作用、奖励破解、可扩展监督、安全探索和分布偏移科学 · AI 安全 · arxiv.org ↗
- AlphaGo 以 4:1 击败李世石科学 · 文化与艺术 · 强化学习 · koreatimes.co.kr ↗
- Shuffler 系统（哥伦比亚大学）每 50 毫秒打乱一次正在运行的程序的代码，代价是速度降低 14.9%网络安全 · 科学 · 移动目标防御 · cs.columbia.edu ↗
- OpenAI 成立科学 · 商业与市场 · AI 实验室 · openai.com ↗
- ResNet：深达 152 层的神经网络科学 · 深度学习 · arxiv.org ↗
- Google 开源 TensorFlow软件开发 · 科学 · 开源 · research.google ↗
- MIT：从日常打字就能看出一个人没睡够——识别准确度（AUC）为 0.93健康与医疗 · 隐私与监控 · 科学 · 行为生物识别 · pmc.ncbi.nlm.nih.gov ↗
- 第一届 ACM 移动目标防御学术研讨会（MTD 2014）在斯科茨代尔举行网络安全 · 科学 · 移动目标防御 · csis.gmu.edu ↗
- 神经机器翻译中的注意力机制（巴赫达瑙等人）科学 · 自然语言处理 · arxiv.org ↗
- 伊恩·古德费洛：生成对抗网络（GAN）科学 · 媒体与信息 · 生成式人工智能 · arxiv.org ↗
- MIT 林肯实验室的研究人员指出，没有一种内存随机化方法经得起任意内存区域的泄露，而对于会自动重启的服务器，16 位随机性几分钟就能被猜中网络安全 · 科学 · 移动目标防御 · ll.mit.edu ↗
- Google 识别街景门牌号的神经网络以 99.8% 的准确率解出 reCAPTCHA 最难的类别网络安全 · 科学 · 验证码之死 · arxiv.org ↗
- DeepMind：神经网络根据屏幕像素学会玩 Atari 游戏科学 · 强化学习 · arxiv.org ↗
- word2vec：把词义表示为向量科学 · 自然语言处理 · arxiv.org ↗
- Touchalytics：根据滑动手机屏幕的方式识别人，同一会话内几乎不出错，一周后错误率最高 4%；作者认为这只是补充，不能代替密码网络安全 · 科学 · 行为生物识别 · arxiv.org ↗
- Chu 和合著者：根据鼠标动作和按键识别出博客中 97.9% 的机器人，误报率为 0.2%网络安全 · 科学 · 行为生物识别 · eecis.udel.edu ↗
- AlexNet 以巨大优势赢得 ImageNet 竞赛——深度学习革命的开端科学 · 深度学习 · papers.nips.cc ↗
- Google 的神经网络自己学会了在 YouTube 视频中识别猫科学 · 深度学习 · 9to5google.com ↗
- 美国联邦网络安全研究计划把“移动目标”列为四个“改变游戏规则”的主题之一：系统应当变得“不那么确定、不那么同质、不那么静态”，从而“大幅提高攻击成本”网络安全 · 法律与监管 · 科学 · 移动目标防御 · nitrd.gov ↗
- Zheng、Paloski 和 Wang：根据鼠标动作识别用户，20 次点击后错误率为 1.3%，但在真实论坛上攒够 20 次点击要花长达 38 分钟网络安全 · 科学 · 行为生物识别 · eecis.udel.edu ↗
- IBM Watson 在电视智力竞赛节目 Jeopardy! 中击败冠军科学 · 媒体与信息 · 问答系统 · techcrunch.com ↗
- 由苏希尔·贾约迪亚（Sushil Jajodia）等人主编的文集《Moving Target Defense》出版（Springer）网络安全 · 科学 · 移动目标防御 · doi.org ↗
- Google Brain 项目启动科学 · 深度学习 · en.wikipedia.org ↗
- Kinect：深度摄像头与机器学习识别身体动作文化与艺术 · 科学 · 计算机视觉 · hothardware.com ↗
- DeepMind 创立科学 · 商业与市场 · 深度学习 · en.wikipedia.org ↗
- 布尔斯坦（Bursztein）及合著者（斯坦福）让人解 21 种、超过 31.8 万个验证码：三个人答案一致的情况，在图片验证码中只占 71%，在音频验证码中只占 31%网络安全 · 科学 · 验证码之死 · web.stanford.edu ↗
- ImageNet：数百万张已标注的图像，用于训练计算机视觉科学 · 工作与职业 · ImageNet · mlanthology.org ↗
- 赖纳、马达万、吴恩达：在显卡上训练神经网络，速度快数十倍科学 · GPU 计算 · icml.cc ↗
- 比格姆（Bigham）和卡文德（Cavender）：89 名盲人用户解 10 种常见的音频验证码，成功率只有 43%健康与医疗 · 互联网与基础设施 · 科学 · 验证码之死 · cs.cmu.edu ↗
- 基卢尔希和马克西翁（卡内基梅隆大学）：51 人把同一个密码输入 400 次；14 种算法中最好的一种根据打字节奏识别人的错误率约为 10%网络安全 · 科学 · 行为生物识别 · cs.cmu.edu ↗
- 《科学》杂志发表 reCAPTCHA：人们在通过验证的同时顺便识别旧书中的单词；第一年解了超过 12 亿个验证码，辨认出超过 4.4 亿个单词互联网与基础设施 · 科学 · 文化与艺术 · 验证码之死 · cs.cmu.edu ↗
- 布赖恩·福特和雅各布·施特劳斯（MIT）提出“假名聚会”：人们同时来到同一个地点，每人领取一个匿名凭证——“一个真实的人获得一个虚拟身份”隐私与监控 · 科学 · 人格证明 · bford.info ↗
- 艾哈迈德·阿瓦德·E. 艾哈迈德（Ahmed Awad E. Ahmed）和伊萨·特劳雷（Issa Traore）提出根据鼠标动作识别用户网络安全 · 科学 · 行为生物识别 · doi.org ↗
- NVIDIA 发布 CUDA：显卡不再只用于计算图形科学 · 软件开发 · GPU 计算 · pcper.com ↗
- Netflix Prize：谁能把推荐效果提升 10%，就能获得 100 万美元文化与艺术 · 科学 · 推荐系统 · en.wikipedia.org ↗
- 辛顿等人提出深度信念网络——神经网络的复兴科学 · 深度学习 · cs.utoronto.ca ↗
- 斯坦福大学的无人驾驶汽车 Stanley 赢得 DARPA 大挑战赛交通与物流 · 科学 · 自动驾驶汽车 · en.wikipedia.org ↗
- 沙查姆（Shacham）和合著者证明，32 位系统上的内存随机化可以用暴力穷举绕过：受 PaX 保护的 Apache 网络服务器平均 216 秒即被攻破网络安全 · 科学 · 移动目标防御 · hovav.net ↗
- “人类基因组计划”完成科学 · 健康与医疗 · 基因组学 · en.wikipedia.org ↗
- 约翰·杜塞尔（Microsoft Research）描述了“女巫攻击”：没有认证身份的中央机构，一个参与者就能冒充许多人网络安全 · 科学 · 人格证明 · microsoft.com ↗
- Honda 发布人形机器人 ASIMO工业与机器人 · 科学 · 人形机器人 · en.wikipedia.org ↗