⌘ K
… 读取采集状态 同步中...
雷
原文
X:Greg Brockman (@gdb)·· 16 天前AI 评分1

Reasonable 团队解读 TLA+:从 Boris Cherny 热传推文到机器可验证软件

AI 导读

Reasonable 团队撰文介绍 TLA+ 是什么,回应 Boris Cherny 用 Opus 5.5 将 Claude Agent SDK 部分建模为 TLA+ 和 Lean 的热传推文。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:X:Greg Brockman (@gdb) · reasonable.io