Horizon Summary: 2026-09-20 (ZH)

从 25 条内容中筛选出 3 条重要资讯。

----------------------

科技新闻

1. 陶哲轩发文呼吁数学界重视证明之外贡献 ⭐️ 7.0/10
2. 加州州长签令拟强制上报 AI 失控事件并考虑紧急关停 ⭐️ 7.0/10

科技博客

1. API 设计概念速览与系统设计要点汇总 ⭐️ 4.0/10

----------------------

科技新闻

陶哲轩发文呼吁数学界重视证明之外贡献 ⭐️ 7.0/10

数学家陶哲轩（Terry Tao）于 2026 年 9 月 18 日在其博客发表文章，主张数学界应更充分地认可证明之外的贡献，而不是仅以证明作为核心评价标准。该文在 Hacker News 上引发讨论，议题包括 AI 自动化对数学工作的冲击、学术激励体系以及数学家角色的变化。现有材料显示这是一篇观点与文化评论，未包含新的技术成果或工具发布。

hackernews · num42 · 9月19日 06:28 · 社区讨论

「背景」 Horizon 8 月 21 日的日报曾报道，陶哲轩在给国际数学家大会撰写的文章中警告，AI 可能让数学从“证明稀缺”转向“证明过剩”，其冲击程度堪比 20 世纪初的基础危机 [tool-1-1]。Horizon 9 月 12 日的日报又记录了陶哲轩题为《A severe misalignment of AI in mathematics》的博文及由此引发的争论，焦点是 AI 产出结果的方式如何冲击数学界分配学术 credit 的惯例 [tool-1-2]。这篇新文章延续同一议题；据转载页面显示，它是一篇由 Grant Sanderson 客座撰写、经 AI 转换格式的博文 [tool-2-2]。

「影响」 对以证明产出为核心评价标准的数学研究者来说，最直接的后果已经出现在日常流程中：一位自称职业数学家的评论者表示，他思考数年的一个定理在数周密集使用 AI 后得到了目前看来正确的证明，正在撰写成文；如果这类流程变得普遍，把“独立攻克难题”当作晋升与终身教职门槛的院系就需要重新界定 AI 辅助贡献如何认定与计入。这一争论在 Tao 9 月 11 日关于“AI 在数学中的严重错配”的文章下就已展开，其中有评论者主张，把自动证明生成视为对数学文化的威胁，等于把数学的历史性摩擦误当成数学的目的本身（属评论者观点，并非定论）。

「社区讨论」 评论中一位自称职业数学家的用户称，自己多年思考的定理在数周认真使用 AI 后找到了看似正确的证明，工作流变化巨大；另一些评论者则认为，数学界长期偏重证明而忽视直觉，AI 正在暴露依赖任务完成量与终身教职的激励结构问题。这些是个人经验与观点，不代表已证实共识。
参考链接
● 2026-08-21 — 陶哲轩：AI 或致数学证明过剩与基础危机
● 2026-09-12 — 陶哲轩谈 AI 与数学界的严重错位
● If math is more than proof , we need to better celebrate the... | Devtalk
● A Severe Misalignment of AI in Mathematics | What's new

标签: #mathematics, #AI automation, #academia, #philosophy of proof, #Terry Tao

----------------------

加州州长签令拟强制上报 AI 失控事件并考虑紧急关停 ⭐️ 7.0/10

美国加州州长加文·纽森于 9 月 19 日签署行政令，推动加强 AI 安全监管，拟要求企业上报 AI 智能体的“失控事件”，并可能要求先进模型配备紧急关停机制。该行政令将召集专家小组，在两个月内提出完善 AI 安全法律的指引，并提议对 AI 实验室进行定期审计。纽森表示，在联邦政府监管不足的情况下，加州有必要采取行动。目前这些要求仍处于行政令和指引层面，具体立法细节、执行力度与最终效果尚不明确。

telegram · zaihuapd · 9月19日 05:44

「背景」 加州此番行动并非从零开始：州政府官网信息显示，加州已有一部建立全美首个 AI 企业独立监督与安全审查机制的新法，纽森这道行政令要求加快落实该法，并在此基础上推进“紧急关停”机制的设计（tool-2-1）。联邦层面的走向恰好相反：Horizon 3 月 22 日的日报曾报道，一项名为“一条规则”的行政令计划为全美 50 州设立统一的 AI 监管标准，并允许司法部起诉设限过重的州，当时已引发部分共和党州长对联邦越权的反对（tool-1-1）；加州选择单方面收紧，正处在这一联邦与州权分歧之中。另一条相关线索是行业自律的退潮：Horizon 2 月 26 日的日报曾报道，Anthropic 以竞争压力为由正式放弃其旗舰 AI 安全承诺，但同时表示继续支持包括加州 SB 53 在内的外部监管（tool-1-3）。

「对开发者的合规影响」 对在加州运营的先进模型开发商而言，直接后果是合规时间表可能提前：州政府将加快落实已有的 AI 独立监督与安全审查机制，企业需要为智能体失控事件上报和定期审计做好准备。但紧急关停机制目前仍处于“研究是否应当强制要求”的阶段（行政令 N-9-26），尚不构成既定的强制义务。
参考链接
● 2026-03-22 — 特朗普拟推“一条规则”行政令统一美国各州 AI 监管标准
● 2026-02-26 — Anthropic 放弃其核心 AI 安全承诺，称因竞争压力
● Governor Newsom issues executive order to accelerate ...
● Governor Newsom issues executive order to accelerate ...
● Gov. Gavin Newsom orders faster AI oversight and explores ...
● Newsom Orders California to Explore AI ‘Kill Switch’ and New ...

标签: #AI监管, #AI安全, #加州政策, #AI治理, #科技行业

----------------------

科技博客

API 设计概念速览与系统设计要点汇总 ⭐️ 4.0/10

rss · ByteByteGo · 9月19日 15:31

「背景」 大多数工程师每天都在使用 API，发送请求、读取 JSON 并不难，真正复杂的是设计出他人可以长期依赖的 API。ByteByteGo 指出，许多问题恰恰源于看起来微不足道的 HTTP 细节——方法、状态码、请求格式与响应结构，它们决定了 API 是清晰可预测，还是混乱且不一致。

「方案」 作者将 API 设计问题归为几个层面。首先是基础 HTTP 语义的一致性；其次是架构选型：REST、GraphQL、gRPC、webhook 与 WebSocket 各自适用于不同场景，关键在于判断哪种真正契合系统与用例。还有一些决策容易在早期被忽视，却决定 API 是否易于使用与维护，包括命名、分页、版本管理、错误响应和向后兼容性。安全方面，API key、OAuth、JWT、scope 与权限“说起来容易、做对很难”，一旦出错代价不菲；可靠性则涉及超时、重试、幂等性、限流与缓存，这些问题往往在系统承压后才被重视。API 规模增长后，文档、规范、可观测性与契约测试成为让团队敢于信任、无需猜测使用方式的关键支撑。作为延伸，文章还给出防御提示注入的两类思路：模型级防御包括用 <UNTRUSTED> 标签包裹不可信文本的“聚光灯”法，以及让模型将开发者系统提示置于用户消息和第三方内容之上的指令层级微调；系统级防御包括最小权限工具、敏感操作人工审批，以及规划器/执行器分离——规划器可调用工具但不见不可信内容，执行器读取不可信内容但无工具权限。文中还简要对比了单体、微服务与无服务器架构：单体适合小团队快速交付，但代码膨胀后小改动需整体重新部署；微服务可独立扩展与部署，却引入服务发现、分布式追踪与请求路由的复杂度；无服务器按触发执行、按用量计费，但要面对冷启动延迟、跨无状态函数的调试困难，以及对单一云运行时的依赖。作者认为生产系统通常是混合的——核心是单体，按需拆分若干服务，无服务器多用于通知或后台任务等场景。

「启示」 作者的核心主张是：API 设计的成败往往不取决于能否发出请求，而取决于早期是否认真对待命名、分页、版本、错误与安全等细节，以及在架构选型上是否选择真正契合用例的方案；同样，提示注入没有单一解法，只能靠分层防御互相补位。

标签: #API design, #system design, #prompt injection, #software architecture

----------------------

via Horizon Daily - 中文摘要

#Update #Claude #API

Claude 的联网检索功能现已在 API 可用。

via AI Copilot - Telegram Channel

#Update #OpenAI #API

GPT-4.1 系列现已发布：

- 提供 GPT-4.1、GPT-4.1 mini、GPT-4.1 nano 三个版本
- GPT-4.1 全面超越 4o，且在部分项目中超越 o1 和 GPT-4.5
- 三个模型均支持 1 百万上下文窗口
- API 定价（输入/输出，每百万 Token）：
- GPT-4.1：2/8 USD
- GPT-4.1 mini：0.4/1.6 USD
- GPT-4.1 nano：0.1/0.4 USD
- GPT-4.1 系列仅提供 API 使用

此外，GPT-4.5 Preview 将于 2025 年 7 月 14 日在 API 下线。

via AI Copilot - Telegram Channel

#Update #Grok #API

Grok 3 系列 API 现已面向公众推出。

API for Grok 3 series is now available to the public.

https://docs.x.ai/docs/models#models-and-pricing

docs.x.ai
Models and Pricing | xAI Docs

Grok model descriptions and pricing

via AI Copilot - Telegram Channel

#Update #OpenAI #API

o1-pro 现已在 API 可用，每百万 Token 输入/输出价格为：150/600 USD。

via AI Copilot - Telegram Channel

#AI
PeterCat-在任意网站内接入AI知识库智能答疑机器人
介绍
PeterCat是专为社区维护者和开发者打造的智能答疑机器人解决方案
官网：https://petercat.ai
Github：https://github.com/petercat-ai/petercat
特性
它提供对话式答疑 Agent 配置系统、自托管部署方案和便捷的一体化应用 SDK，让您能够为自己的 GitHub 仓库一键创建智能答疑机器人，并快速集成到各类官网或项目中， 为社区提供更高效的技术支持生态。
对话即创造
仅需要告知你的仓库地址或名称，PeterCat 即可自动完成创建机器人的全部流程
知识自动入库
机器人创建后，所有相关Github 文档和 issue 将自动入库，作为机器人的知识依据
多平台集成
多种集成方式自由选择，如对话应用 SDK 集成至官网，Github APP一键安装至 Github 仓库等
使用效果
如何接入
使用官方实例接入
- 首先登录官网后选择工作台，创建自己的空间
- 创建项目进入配置，可以手动和对话配置
- 复制 Token后选择保存部署，填写域名提交给官方审核
审核通过（将你的域名加入白名单）后，可以选择不同的代码接入
参考文档：https://github.com/petercat-ai/petercat/blob/main/assistant/src/Assistant/index.md#api
代码引入
npm install @petercatai/assistant
import { Assistant } from '@petercatai/assistant';
import '@petercatai/assistant/style';
const YourPetercataiAssistant = ()…
📡发布：https://noisevip.cn/18664.html
🪧关注频道：@quanshoulu
💬频道社群：https://www.noisework.cn/qun/
📬投稿bot：@noisewowbot
📇搜索bot：@Efficiencysearchbot
🎁访问主页： www.noisework.cn

via 🎉 Efficiency资源干货全收录 - Telegram Channel

#API 将Workers AI的文本生成模型的调用接口转换为 “/v1/chat/completions” 接口，提供给其它软件调用
https://github.com/juerson/workersAI-convert-chatCompletions-API

GitHub
GitHub - juerson/workersAI-convert-chatCompletions-API: Cloudflare Workers/Pages部署代码，功能：将Workers AI的文本生成模型的调用接口转换为 “/v1/chat/completions”…

Cloudflare Workers/Pages部署代码，功能：将Workers AI的文本生成模型的调用接口转换为 “/v1/chat/completions” 接口，提供给其它软件调用。 - juerson/workersAI-convert-chatCompletions-API

via 🎉 Efficiency资源干货全收录 - Telegram Channel

#AI #api 🚀 即梦逆向API【特长：图像生成顶流】，零配置部署，多路token支持
https://github.com/LLM-Red-Team/jimeng-free-api

GitHub
GitHub - LLM-Red-Team/jimeng-free-api: 🚀 即梦逆向API【特长：图像生成顶流】，零配置部署，多路token支持，仅供测试，如需商用请前往官方开放平台。

🚀 即梦逆向API【特长：图像生成顶流】，零配置部署，多路token支持，仅供测试，如需商用请前往官方开放平台。 - LLM-Red-Team/jimeng-free-api

via 🎉 Efficiency资源干货全收录 - Telegram Channel

OpenAI API 开放 o1-preview 以及o1-mini推理模型的使用权限

o1-mini 比 o1-preview 便宜 80%，且响应速度更快。

o1 模型还支持 Streaming 模式，当使用 Streaming 模式时，模型会将生成的内容分成多个小块（通常是逐字或逐句）实时发送到客户端。这样，用户可以更快地看到响应内容，而不必等到整条信息生成完成。

这种方法特别适合处理长文本输出或对实时性的要求较高的场景，如聊天机器人和对话系统。

🗒 标签: #OpenAI #API #AI
📢 频道: @GodlyNews1
🤖 投稿: @GodlyNewsBot

via Yummy 😋 (author: Yummy 😋 (@GodlyNews1))

Invalid media: image (undefined://undefined/telegram/channel/GodlyNews11184480459_10996)

#API SambaNova AI模型API适配器：将SambaNova的强大AI模型转换为OpenAI兼容的接口，支持流式响应和多模型选择。
https://github.com/Jiabinone/SambaNova2API

GitHub
GitHub - Jiabinone/SambaNova2API: SambaNova AI模型API适配器：将SambaNova的强大AI模型转换为OpenAI兼容的接口，支持流式响应和多模型选择。

SambaNova AI模型API适配器：将SambaNova的强大AI模型转换为OpenAI兼容的接口，支持流式响应和多模型选择。 - Jiabinone/SambaNova2API

via 🎉 Efficiency资源干货全收录 - Telegram Channel

#Tip #OpenAI #API

由于 GPT-4o 的 tokenization 方式变化，同样长度的文本占用的 token 数量会小于 GPT-4 Turbo，这意味着使用 GPT-4o 的 API 成本在定价砍半的基础上进一步降低了。

详情可参考官方文档：https://openai.com/index/hello-gpt-4o/

via AI Copilot - Telegram Channel

#Update #API #OpenAI

GPT-4o API 现已可用。

定价（GPT-4 Turbo 的一半）：
- 输入： 5 USD/1M Tokens
- 输出： 15 USD/1M Tokens

via AI Copilot - Telegram Channel

#翻译 #API 基于 go 实现的一个 百度 有道 谷歌 Deepl ChatGPT 翻译统一管理接入平台 统一API 调用规范 多平台翻译,调试操作端,权重,多接入 批量翻译
https://github.com/xgd16/UniTranslate

GitHub
GitHub - xgd16/UniTranslate: 基于 go 实现的一个 百度 有道 谷歌 Deepl ChatGPT 翻译统一管理接入平台 统一API 调用规范 多平台翻译,调试操作端,权重,多接入 批量翻译

基于 go 实现的一个 百度 有道 谷歌 Deepl ChatGPT 翻译统一管理接入平台 统一API 调用规范 多平台翻译,调试操作端,权重,多接入 批量翻译 - xgd16/UniTranslate

via 🎉 Efficiency资源干货全收录 - Telegram Channel

#低代码 #自动化 #AI #工作流 #后端 #API
低代码可视化后端构建器，由 AI ✨ 提供支持 创建 API、计划作业、后端任务、数据库 CRUD，并与任何工具或 API 集成
https://github.com/rowyio/buildship

GitHub
GitHub - rowyio/buildship: Low-code Visual Backend Builder, powered by AI ✨ Create APIs, scheduled jobs, backend tasks, database…

Low-code Visual Backend Builder, powered by AI ✨ Create APIs, scheduled jobs, backend tasks, database CRUD, and integrate with any tool or APIs. - rowyio/buildship

via 🎉 Efficiency资源干货全收录 - Telegram Channel

#Update #OpenAI #API

OpenAI 为 API 用户提供了一系列更新

管理和安全：
- Private Link：实现 Azure 和 OpenAI 直连，减少公网暴露
- 多重身份验证（MFA）
- Projects 功能：允许按照不同项目管理 API、模型、速率等内容

Assistants API：
- 改进了 “file_search” 的检索，每个助手最多可以提取 10,000 个文件
- 支持流式响应（Streaming）
- 新的 “vector_store” 对象可以将文件添加到 vector 存储中，并自动解析、分块和嵌入，为文件搜索做准备，vector store 可以跨 assistant 和 thread 使用
- 可控制每次运行的最大 token 数
- 新的 “tool_choice” 参数用于在特定运行中选择特定工具
- 支持微调的 GPT-3.5 Turbo 模型

成本控制：
- 承诺吞吐量实现后有使用折扣，最高 50%
- Batch API 可用于运行非紧急请求，24 小时内响应，折扣 50%

点击加入：OpenAI 讨论组（有入群验证的，记得做）

via AI Copilot - Telegram Channel

↩️ #Update #Claude #API 从 2024 年 5 月 16 日开始，Evaluation Plan 用户将不能继续免费使用 Claude API，必须选择付费方案、绑定支付方式才能继续使用 API...

AI Copilot:

#Tip #Claude 部分用户的 Claude 官方 API 拥有免费计划，该计划包含： - 所有模型（含 Claude 3 Opus）的使用权限 - 250 万 Token 额度（UTC 时间的半夜重置） - 2 个并发的请求

#Update #Claude #API

从 2024 年 5 月 16 日开始，Evaluation Plan 用户将不能继续免费使用 Claude API，必须选择付费方案、绑定支付方式才能继续使用 API。

点击加入：Claude 讨论组（有入群验证的，记得做）

via AI Copilot - Telegram Channel

↩️🖼 #Update #ChatGPT gpt-4-turbo-2024-04-09 现已对 ChatGPT 付费用户可用。 点击加入：OpenAI 讨论组（有入群验证的，记得做）

AI Copilot:

#Update #OpenAI #API gpt-4-turbo-2024-04-09 模型现已出现在官网。 点击加入：OpenAI 讨论组（有入群验证的，记得做）

#Update #ChatGPT

gpt-4-turbo-2024-04-09 现已对 ChatGPT 付费用户可用。

点击加入：OpenAI 讨论组（有入群验证的，记得做）

via AI Copilot - Telegram Channel

#Update #OpenAI #API

gpt-4-turbo-2024-04-09 模型现已出现在官网。

点击加入：OpenAI 讨论组（有入群验证的，记得做）

via AI Copilot - Telegram Channel

#Update #Claude #API

Claude 3 系列 API 现已支持 Function Calling。

相关文档：https://docs.anthropic.com/claude/docs/tool-use

点击加入：Claude 讨论组（有入群验证的，记得做）

via AI Copilot - Telegram Channel