The release includes 13 million lines of Lean code and tools for inspecting the proof. A full comparator replay requires substantial memory: the repository recommends allowing 300 GB of RAM.
01 · Tech News
Follow the AI industry.
51 reports following 38 companies and partnerships from model release to physical deployment.
All Tech News
Browse every report, including the current lead.
Tag: Anthropic
2 articles · By event date
Anthropic has introduced Claude Fable 5.1 for general use and Claude Mythos 5.1 for vetted research partners, pairing the identical underlying model with divergent safeguards while reducing prompt cache-read prices by 75%.