DeepSeek 聘请专家，测试框架惊现范畴论
burny_tech · x · 2026-08-14
网友发现 DeepSeek 似乎聘请了具有形式化方法背景的专家来领导其测试框架团队。这导致其内部工具的设计文档中开始出现复杂的交换图，甚至用到了范畴论中的幺半群同态定理。这种将高阶抽象数学引入工程实践的做法引发了 PL（编程语言）爱好者的热议。
「公司和人」频道最新
- Kaggle 携手 Google DeepMind 与 Zapier 办首届 Bench Summit — jocarrasqueira · 2026-10-16
- Mollick 自嘲删推：大家太当真了，谈产品交付周期 — emollick · 2026-10-16
- Mantic AI 创始人谈打造超越人类顶级预测员的事件预测系统 — tshevl · 2026-10-16
- Claude 已主导 Anthropic 26% 模型研发，2 月还不足 1% — altryne · 2026-10-16
- 马斯克回应 Rauch 梗：发布 Cybertruck 悬浮飞行演示视频 — sahilypatel · 2026-10-16
- KOL 判 Tesla 演示功能多为炫技:目的是拉高普通车型感知价值 — Linahuaa · 2026-10-16