2026-05-20
来源: openai.com
66
OpenAI 的 Education for Countries 项目正在进入新阶段——不再只是试点和概念验证，而是通过正式合作、教师培训体系和定制化工具，把 AI 真正嵌入各国公立教育体系。这对一线教育工作者和开发者意味着：AI 教育工具的 API 接口、集成方式和部署规范正在变得可落地、可复制。 此前 OpenAI 在教育领域的尝试多集中在个别学校...
2026-05-20
来源: openai.com
68
2025 年，一个由 OpenAI 研究团队驱动的数学推理模型，给出了一个反例构造，直接推翻了离散几何中悬置 80 年的"单位距离问题"（Unit Distance Problem）的核心猜想。这不是 AI 在数学竞赛里刷榜，而是它对一个长期被认为"几乎成立"的猜想给出了否定回答——这件事的意义远超一次解题。 问题表述极其简单：在平面上放置 n 个点，...
2026-05-20
来源: openai.com
67
代码审查是大多数团队最慢的环节之一——PR 提上去，等同事有空看，再来回讨论，一个改动从提交到合入可能耗掉几小时甚至一天。Ramp 的工程团队最近分享了他们用 Codex（搭载 GPT-5.5）做 code review 的实践：原本需要数小时才能收到的实质性反馈，现在几分钟内就能拿到，并且能直接生成可合入的改进补丁。 这不是"让 AI 替你读 dif...
2026-05-20
来源: kubernetes.io
91
etcd v3.7 的第一个 beta 版已经发布。这个版本对 Kubernetes 集群的核心存储层做了两件大事：一是新增 RangeStream RPC，让大结果集的读取不再一口气吞完；二是彻底移除 v2store，etcd 第一次做到 100% 运行在 v3store 上。如果你还在跑 v3.4，升级窗口正在关闭——3.4 将在 2026 年 5...
2026-05-20
来源: openai.com
80
OpenAI 正式宣布"OpenAI for Singapore"计划——一项跨越数年的 AI 合作，目标覆盖部署扩展、本地人才培养，以及对企业和公共服务的技术支持。这不仅是品牌落地，更意味着亚太开发者在调用 OpenAI 服务时，会逐步看到更贴近本地的定价、合规路径和开发者资源。 部署层面：区域基础设施在加速。 OpenAI 近期在亚太持续扩容，新加...
2026-05-20
来源: infoq.com
50
企业想用自主 Agent，但不想把执行环境或内部系统暴露到公网——这是过去一年里最常被提起的矛盾。Anthropic 这次给出的答案是两条新能力：自托管沙箱和 MCP 隧道，都属于 Claude Managed Agents 平台的扩展。核心思路很简单：Agent 可以跑，但边界不能破。 自主 Agent 要干活，就得连数据库、读内部文档、调用私有 A...
2026-05-20
来源: docker.com
51
现在的 AI 编程助手写代码、提 PR 都很溜，但一旦容器挂了、网络不通，开发者还是得一头扎进日志里手动排查。Docker 刚刚正式发布了集成在 Docker Desktop 里的 AI Agent——Gordon，专门来填这个坑：它能读懂你的容器环境，主动提出修复建议，甚至直接动手执行操作。 AI 提升了编码效率，但这股红利在应用部署和运行阶段突然断...
2026-05-20
来源: azure.microsoft.com
55
过去要让 Azure Files SMB 共享支持身份认证，你得先把本地 Active Directory 同步到云端——要么用 Azure AD Connect 做混合身份，要么单独注册域控制器。对于完全云原生的团队来说，这套依赖就像为了开一扇门先盖一整栋楼。现在 Azure Files SMB 正式 GA 了 Entra-Only identiti...
2026-05-19
来源: oschina.net
43
BeetlSQL 从 2015 年一路迭代到现在，单表 CRUD、Markdown 式 SQL 模板、内置分页、多库切换——这些日常开发高频场景它都覆盖得不错。但有一个痛点一直没彻底解决：多表联合查询时的类型安全。写复杂 JOIN 的 SQL 模板，字段靠字符串拼，改一个列名编译器不会报错，跑到线上才炸。3.40 版本引入 JOOQ 集成，正是要堵这个...
2026-05-19
来源: aws.amazon.com
65
语音 Agent 和文本 Agent 最大的区别不是"多了一个语音通道"，而是延迟容忍度完全不同。文本对话里 2 秒的等待用户觉得正常，语音对话里超过 500ms 的沉默就会让人怀疑对方是不是掉线了。Amazon Nova Sonic、Bedrock AgentCore 和 Strands BidiAgent 这套组合，本质上是在解决一个工程问题：怎么...