OpenAI 最近对纳维-斯托克斯方程的证明，标志着数学领域的一次重大转变，其核心在于使用了 Lean 4 进行机器可验证的证明。 从历史上看，将数学证明形式化极其耗费成本。曾有估算表明，形式化一页本科数学内容需要 40 个工作小时；若将此逻辑应用于复杂的学术论文，意味着每个项目需要数千小时的工作量。然而，OpenAI 仅用了 17 小时就验证了他们 166 页的论文——这使工作量降低了四个数量级。 这一跨越具有真正的革命性。通过让形式化验证变得触手可及，人工智能将其从一种精英化、耗时的学术实践，转变为普通研究人员可用的实用工具。除了纯数学领域，这项技术还对网络安全、智能合约审计以及关键任务软件工程等高风险领域具有深远影响。随着验证成本的暴跌，保证复杂系统正确性的能力将成为一种标准预期，而非奢侈需求。
每日HackerNews RSS
请提供您需要翻译的内容。
**Vertumnus** 是由一位开发者创建的副项目，旨在生成可定制、可打印的海报，用于可视化旧金山和纽约农贸市场农产品的季节性供应情况。由于对诸如“Early Girl”番茄等特定品种缺乏细致的作物数据感到困扰，开发者构建了该网站，以帮助用户追踪最佳的收获时节。
该项目的开发过程值得关注：整个 Web 应用程序是在 22 天内通过 Claude Opus 进行的一场包含 731 个提示词的对话中编码完成的。开发者已公布了完整的开发记录以及一份详细介绍 AI 表现和局限性的技术说明。
这些海报以运输量作为衡量新鲜度的指标，并使用 D3.js 进行可视化呈现。尽管该工具目前仅涵盖两个地区，且依赖于特定的农业数据集，但它已收到 Hacker News 社区的积极反馈，用户纷纷表达了将数据扩展至其他地区的兴趣。目前正在寻求职业机会的项目开发者表示，这些海报旨在作为美学参考，而非绝对精准的预测时间表，同时也承认了当地收成存在的固有波动性。
此代码提供了 JavaScript、Python、Go、Java、Ruby 和 cURL 的实现示例，用于创建使用 `gpt-6-astra` 模型的 OpenAI Agent 会话。 该配置演示了如何初始化具有以下功能的智能体： * **工具**：集成了对程序化工具调用、基于 HTTP 的模型上下文协议 (MCP) 以及网页搜索的支持。 * **多智能体能力**：支持并发执行子智能体（最多 4 个）。 * **环境**：定义工作区和能力目录的自托管配置。 * **任务处理**：一套自动化指令，引导智能体使用其连接的文档和搜索工具，研究并总结将 MCP 服务器连接到 OpenAI 智能体的推荐设置。 每个代码片段都会向 OpenAI API 发送 POST 请求以启动会话，并返回一个唯一的 `session.id` 以跟踪交互过程。
这篇 Hacker News 的讨论围绕 OpenAI 新推出的 Agents API 展开，引发了开发者关于构建智能体系统“正确”方式的辩论。
**“自建”阵营：** 许多贡献者认为，自定义架构（用于管理记忆、上下文和工具编排的代码框架）更具优势。他们优先考虑可移植性，使开发者能够在不同模型提供商（如 Anthropic、DeepSeek、GLM）之间切换，从而避免被单一供应商绑定。对于这些开发者而言，“掌控架构”对于安全性、定制化和长期控制至关重要。
**“托管/API”阵营：** 另一些人则认为，维护自定义架构是一个分散核心产品目标的“无底洞”。他们主张，前沿实验室（如 OpenAI/Anthropic）提供的推理能力和基础设施，是个人开发者无法复制的。对于这些用户，托管 API 带来的操作简便性、安全补丁和可扩展性，足以弥补被供应商绑定的代价。
**核心主题：**
* **抽象：** 社区对于是否存在通用的智能体抽象，或者“架构”是否会保持高度的项目专用性，存在分歧。
* **安全与数据：** 人们对沙箱逃逸、数据泄露，以及实验室利用“内部独白”作为训练数据的可能性仍存有严重担忧。
* **未来趋势：** 大家一致认为行业发展迅速，许多人建议，自定义的轻量级自动化依然是“黑客友好”的最佳路径。
Anthropic 最近的威胁情报报告显示，在 2025 年 12 月至 2026 年 8 月期间，人工智能从根本上改变了网络威胁格局。通过自动化执行侦察、漏洞利用开发和数据外泄等繁琐任务，Claude 等人工智能模型填补了以往个人黑客与资源充足的国家级黑客组织之间的“技能差距”。 报告指出的关键趋势包括： * **自主性增强：** 威胁参与者已不再局限于基础的聊天机器人辅助，而是开始使用多智能体框架来自主执行整个网络攻击链。如今的行动经常涉及“感性黑客攻击”（vibe hacking），即由人类设定高层目标，而人工智能负责复杂的执行、适应和规避安全防御。 * **准入门槛降低：** 技术复杂性已不再是衡量攻击者资源储备的可靠指标。黑客行动主义者和投机型犯罪分子现在也能实现曾经需要专业团队才能完成的大规模、持续性攻击活动。 * **将人工智能供应链作为目标：** 攻击者正积极瞄准人工智能基础设施，窃取 API 密钥和会话令牌，将其作为转售的“战利品”或为自身攻击提供算力的工具。 Anthropic 强调，尽管人工智能加快了这些威胁的传播速度并扩大了规模，但攻击的本质（如网络钓鱼、凭据窃取、漏洞发现）保持不变。
随着人工智能生成图像的发展速度超过了检测工具，焦点正转向“拍摄证明”（Proof of Capture），即在源头验证真实性。受此挑战启发，作者与亚历克斯·霍恩斯坦（Alex Hornstein）利用树莓派（Raspberry Pi）和 ATECC608 加密芯片制造了一款开源相机。与容易被剔除的传统元数据不同，他们的方法使用隐写术将经过签名的感知哈希值直接嵌入图像像素中。这种水印在压缩和调整大小后依然存在，使得照片即使在分享后仍可验证。
此项进展与苹果公司新推出的“参考图像”（Reference Image）工具同期出现，该工具通过创建“数字底片”来验证相机拍摄的内容。然而，作者对苹果的专有方案表示担忧，认为它绕过了行业标准的 C2PA 框架，并将信任根集中化。
虽然这两种方法都非万灵药——“屏幕攻击”（拍摄显示屏上的虚假图像）仍是一个漏洞，但这些举措是恢复数字来源可追溯性的关键一步。作者的项目是开源的，允许任何人以不到 100 美元的成本制作自己的验证相机。
抱歉。
本摘要追踪了 NVIDIA RTX 4090 上 `STG.E`（全局存储）指令的执行过程，详细说明了数据如何从寄存器传输至 DRAM。 当线程束（warp）执行 `STG.E` 指令后，加载/存储单元（LSU）会协调数据传输。合并器（coalescer）将内存访问合并为多个扇区，这些扇区经由直写式（write-through）L1 缓存和交叉开关（crossbar），最终到达特定的 L2 缓存片（slice）。一旦 L2 确认接收，流式多处理器（SM）即认为该指令已完成，允许线程束继续执行或退出，此时数据在 L2 中仍处于“脏”（dirty）状态。 为了管理 DRAM 流量，L2 采用了智能替换策略。当容量不足时，它会主动清理“脏”行，以防止写回操作集中爆发而导致内存控制器产生瓶颈。数据最终会在 L2 驱逐相关缓存行时迁移至 DRAM。 由于存储操作是异步的，NVIDIA 使用了“栅栏”指令（`membar.cta`、`membar.gl`、`membar.sys`）来确保数据可见性。这些指令强制线程束等待，直到数据在特定范围（SM、GPU 或整个系统）内保持一致，从而为后续的内核或主机端操作安全地访问新写入的内存提供了必要的同步保障。
在人工智能让构建标准化的“专业”网站变得轻而易举的时代，技术执行和基础功能已不再具备竞争优势。如今的互联网虽然功能齐备且触手可及，但大多平庸且缺乏灵感。 通过类比那个技术上有缺陷、创意却不受束缚的“Flash时代”，作者指出，真正的创新需要敢于产生“糟糕”的想法，从而发现好的创意。人工智能虽然常被用来复制现状，但应被当作快速原型工具，用于测试激进且非常规的概念。 对于企业而言，新的“护城河”不再是产品本身——因为产品很容易被复制——而是组织内部真正的创造力习惯。想要脱颖而出，创业者必须停止对陈旧方案的迭代，转而质疑基本前提：你试图达成什么目标？如果抛弃现有假设会发生什么？ 归根结底，人工智能时代的竞争成功属于那些将实验视为必要条件而非风险的人。通过培养一种优先考虑“如果……会怎样”而非“如何克隆这个”的文化，你就能创造出无法通过提示词（Prompt）复制的价值。
关于“创造力是新的护城河”一文，Hacker News 上的讨论揭示了人们对单凭创造力能否保护业务或产品的深切怀疑。
批评者认为，“创造力”更像是一种令人疲惫的“红皇后”跑步机，而非防御性护城河；因为一旦某个创新点子获得成功，它会立即被复制，迫使企业进行持续且非被动的奔波。另一些人则认为，真正的护城河是通过长期努力（即那些需要数年才能完成的项目）构建的，而非转瞬即逝的灵感。
许多参与者对当前互联网的状况表示失望，指出 AI 生成的“垃圾内容”以及设计的同质化（为了效率而牺牲了趣味性）已经侵蚀了互联网的质量。虽然有些人将 AI 视为一种普及创作的工具——类似于 Flash 曾经赋予非程序员创作能力那样，但另一些人则认为它只是加速了平庸化的趋势。普遍的共识是，可持续的价值源于人类的意图、深厚的技术执行力以及“品味”，而不仅仅是生成内容的能力。最终，许多用户认为，资本和社区认同感依然比单纯的创造力更为有效的防御性护城河。
AI 2027 (2025)
41 天前
Anthropic 称已阻止试图制造生物武器的行为 Anthropic Says It Blocked Possible Efforts to Build Biological Weapons
41 天前
请启用 JavaScript 并关闭所有广告拦截器
21 世纪课堂乐理 跳转至主要内容 目录 索引 上一页 向上 下一页
抱歉。