推理实验室及其子网正在扩展 在过去几周，他们在其平台上生成的证明数量已达到每周数千个。 这一切都发生在成功的测试网之后。