proof-replication

一位Anthropic员工声称使用Fable复现了10个Astra证明中的5个，但未提供实际证明，这引发质疑：为何专注于复现而不是解决新的开放问题。