Tag
An Anthropic employee claims to have replicated 5 of the 10 Astra proofs using Fable, though the actual proofs were not provided, prompting questions about why the focus was on replication instead of tackling new open problems.