#formal verification

Anthropic 的 Fermat 仓库复制了人类 Lean 项目的 106 个文件

该发布仓库创建于 9 月 4 日 UTC 14:21。其自身的归属文件记录了 106 个文件含有来自 Kevin Buzzard 的帝国理工项目和 flt-regular 的文本，其中 41 个文件逐字节相同。

1小时前