AI Research
Anthropic's Fermat Repo Copies 106 Files From a Human Lean Project
The release repository was created at 14:21 UTC on 4 September. Its own attribution file records 106 files carrying text from Kevin Buzzard's Imperial College project and flt-regular, 41 of them byte-identical.
1h ago
