推理實驗室及其子網正在擴展 在過去幾週，他們在其平台上每週生成數千個證明。 這一切都是在成功的測試網之後。