OC
OC Tech

科技稿件

OurCoders 科技频道的产业稿件、技术解释和评论文章。 当前为第 6 页。

最新新闻

Meta 把 API 折扣和训练数据绑定,便宜的不只是推理成本
2026-09-04
独立开发 · 定价与商业化

Meta 把 API 折扣和训练数据绑定,便宜的不只是推理成本

据 TechCrunch 9 月 3 日报道,Meta 为愿意让提示和输出参与模型训练的开发者提供明显更低的 API 价格。OC 昨天讨论了 Muse Spark 1.3 的工具协作变化;这次值得展开的是另一张账单:开发者支付现金,也可能提供未来模型需要的数据。

PrimeGaps186 通过 Lean 检查,为什么仍是一份有条件的证明
2026-09-04
AI 与数学研究

PrimeGaps186 通过 Lean 检查,为什么仍是一份有条件的证明

据 OpenAI 公开的 PrimeGaps186 仓库,项目提供了关于素数间隔上界 186 的 Lean 形式化推导和数值证书,同时明确保留三项尚未在项目内消除的输入公理。仓库标题已经把“有条件”写在前面。这个限定不是附注,而是理解成果性质的入口。

Audacity 4 换的不只是界面,旧工程和插件才是升级门槛
2026-09-04
开发者工具与创作软件

Audacity 4 换的不只是界面,旧工程和插件才是升级门槛

据 Audacity 4.0 的正式版本说明,这款开源音频编辑器已经重建 Qt 界面,并改动片段编辑、工程格式和部分工具交互。新版更适应高分屏,也更容易整理工作区;但对已有生产流程的人来说,升级前最应该看的不是新图标,而是兼容性清单。

.name 三级注册服务拟退场,买到 2040 年的域名为什么仍不稳
2026-09-04
互联网治理与安全

.name 三级注册服务拟退场,买到 2040 年的域名为什么仍不稳

据开发者 Neil Fraser 的个人说明,他使用约 25 年、付费延续到 2040 年的 neil.fraser.name 地址,因 .name 三级注册服务退出计划面临迁移。他担心的不只是网页消失,还有邮箱、接口和联网设备对旧地址的依赖。需要先说清楚:这是未来服务终止引发的风险,并非他的域名已经被删除,也不是整个

WeatherNext 3 把部分预报细化到 5 公里,但不是每一格都更准
2026-09-04
AI 模型与科学计算

WeatherNext 3 把部分预报细化到 5 公里,但不是每一格都更准

据 Google DeepMind 的发布说明,WeatherNext 3 将部分近地面天气变量的空间分辨率细化到 5 公里,并提供逐小时的预报信息。它也把卫星观测等输入接入模型,让 AI 天气系统更贴近需要判断具体时段、具体区域的应用。这里最容易被标题略掉的词是“部分”。

美国 AI 监管争论转向“谁能叫停模型”,但新禁令还不是法律
2026-09-04
政策与安全

美国 AI 监管争论转向“谁能叫停模型”,但新禁令还不是法律

据 Bernie Sanders 办公室 9 月 3 日公告,Sanders 与众议员 Greg Casar 宣布一项拟议立法,主张永久禁止超级智能,并在新的联邦监管机构建立安全规则前暂停先进 AI 开发。公告使用的是即将提出的立法安排,不代表美国已经实施禁令。与此同时,Politico 报道,政府内部也在讨论不同监管

AI 把 1993 年游戏搬进 Godot,最难保留的不是代码而是手感
2026-09-04
AI Coding · Claude Code

AI 把 1993 年游戏搬进 Godot,最难保留的不是代码而是手感

据《Babylonian Twins》作者发表的移植复盘,他借助 Claude Code,将自己在 1993 年编写的 Amiga 游戏及后来的移动版搬进 Godot 4。原作诞生于巴格达,一台只有 512KB 内存、没有硬盘的 Amiga 500 上;三十多年后,AI 帮助恢复工具链、解析数据并重写行为。故事很容易被

AI 接走初级任务后,团队该从哪里培养下一代专家
2026-09-04
AI 与工作方式

AI 接走初级任务后,团队该从哪里培养下一代专家

据 IEEE Spectrum 的工程技能评论,AI 自动化带来的问题不只是今天少做多少工作,还包括新人将来从哪里获得判断复杂系统的经验。前端开发者 Nolan Lawson 的文章也提出相近担忧:当代码越来越多由 Agent 生成,继续投入细节知识的激励可能发生变化。这些是值得讨论的专业观察,不是已经证明某一代工程师

Gmail 和 Docs 开始听你说话,语音入口之后仍要留一张核对单
2026-09-04
AI 产品体验

Gmail 和 Docs 开始听你说话,语音入口之后仍要留一张核对单

据 Google 9 月 3 日公告,Gmail、Docs 和 Keep 开始推出新的对话式语音功能:查找邮件信息、生成文档初稿,以及把口头想法整理成笔记。变化不只是把键盘换成麦克风,而是让应用参与组织用户的意图。越是如此,输入之后的检查就越不能省略。

Ollie 用隐私争夺家庭助手入口,但 SOC 2 不是万能保证
2026-09-04
AI 产品体验与隐私

Ollie 用隐私争夺家庭助手入口,但 SOC 2 不是万能保证

据 TechCrunch 报道,家庭 AI 助手 Ollie 希望用隐私保护形成差异:产品连接邮件、日历等服务,协助处理家庭安排,并以订阅收入和 SOC 2 相关审计向用户传递信任。它提出了一个消费级 Agent 必须面对的问题:为了替你做更多事情,助手要获得多少信息和操作能力?

Claude 发布电商 Agent 蓝图,最值得抄的不是聊天而是交易边界
2026-09-04
AI Coding · Claude Code

Claude 发布电商 Agent 蓝图,最值得抄的不是聊天而是交易边界

据 Anthropic 9 月 3 日公告,公司发布电商 Agent 参考蓝图,覆盖消费者购物和商家后台,并提供 Claude Code 插件帮助开发者搭建相关流程。它包含零售、旅行、电信和票务示例,但不是装上就能替商家自动收款的成品系统。

美国 AI 基建想减少对华依赖,先要补上变压器和电池这几课
2026-09-04
AI 基础设施与产业

美国 AI 基建想减少对华依赖,先要补上变压器和电池这几课

据 CNBC 9 月 3 日报道,美国数据中心建设仍依赖中国供应链中的电力设备、电池、光通信部件及上游材料。与此同时,白宫已经发布新的大电力系统安全行政令。问题并不是宣布减少依赖以后还能不能买到服务器,而是整个园区何时能够接电、联网并稳定运转。