Codin
提交项目评估 评估
博客 · 技术笔记

从工程视角解释技术。

分析 AI、自动化、云与软件。没有炒作：什么正在改变，什么真正有效，以及在相信承诺之前应该验证什么。

深蓝色背景上由 722 个小方块组成的网格，其中 162 个以琥珀色点亮。图像根据 OpenAI 仓库中的数据生成。

最新文章 科学与数学

人工智能写出的 722 份证明：现在能检验什么

OpenAI 发布了 722 份手稿，内容是关于数学未解问题的结果。它们包含什么、哪些真正重要、哪些已由机器检验，以及哪些仍有待完成。

更多文章

概念矢量插图：两个人继续下国际象棋，旁边是一棵机器计算出的可能走法树。
AI、工作与社会

AI 下得更好。我们依然下棋。

AI 辅助制作的游戏模组再次提出了困扰艺术家和数学家的问题：机器能做，我们为什么还要继续？国际象棋提供了一条线索。

由代码生成的插图：Cloudflare OS 将不同工具汇聚在一个由运行、数据和访问构成的共同基础之上。
AI、工作与社会

Cloudflare OS：为你自己的工具安个家

我们在 Codin 试用了 Cloudflare OS：一个借助 AI 创建小型应用、调整并分享它们的环境。我们的 CRM 是第一个示例。

深色背景上三条错开的 S 形曲线，代表在不同时间上升的 AI 能力。生成图像。
模型与能力

为什么 AI 在某些任务上似乎突然变强

持续增长的底层能力、由许多步骤串联而成的任务，以及只训练能被验证之事的实验室：为什么 AI 会在具体任务上跳跃式进步。

星空下，一座射电望远镜矗立在山丘上，地平线上可见城镇的灯光。生成图像。
AI、工作与社会

大过滤器：它会是人工智能吗？

什么是大过滤器，为什么 AI 可能是其中的一部分：技术力量不断增强，制度脆弱，而控制能力却落在后面。

一个内部有网络的玻璃球通过细线连接到钥匙、终端、硬币、文件、服务器和对话气泡；每根线都穿过一个小型控制拱门，其中一根已经磨损。概念插图。
AI、工作与社会

哪些能力会让大语言模型变得更危险？

通过六项能力理解大语言模型的未来风险：它们可能带来什么危险，现有证据说明了什么，以及最严重的情景还缺少哪些条件。

暖光下的两台小型服务器与一台显示任务和付款确认的笔记本电脑插画。
AI、工作与社会

当一个 AI 能够支付自己的账单

对 AI 智能体而言，真正重要的门槛也许不是意识或超级智能，而是获取资源、持续运行，并在没有明确所有者的情况下重建自身的能力。

一只机器人手用活动扳手拧紧一处正在滴水的管道接头。
机器人

机器人要成为水管工，还缺什么

人工智能正在加速机器人技术，但各个瓶颈并没有以相同速度推进。水管工这个例子，可以帮助我们区分智能、灵巧性、可靠性和成本。

一个模块化界面由纤细的线条组成，完成任务后又分解成细小碎片。
AI、工作与社会

当软件与问题存在得一样久

一次性应用是为某个具体需求生成软件，并在任务结束后将其舍弃。真正有趣的不是生产更多应用，而是判断软件的哪些部分必须长期存在。

一张几何网络不断扩张，随后穿过透镜，重新变成可以理解的结构。
AI、工作与社会

当证明不再是数学的瓶颈

AI 系统已经开始产出数学研究成果。真正的挑战可能从证明定理，转向验证、理解以及判断哪些结果值得关注。

一只手正在绘制几何图形，薄荷色抽象层代表人工智能的辅助。
AI、工作与社会

AI 可以改善作业结果，也可能损害学习

一项覆盖26,811名学生的研究发现，作业用时更少、成绩更好，但考试表现更差。关键不只是是否使用AI，而是它替代了哪种努力。