我发表了:《Shentu 链宣布正式推出OpenMath平台》 ​​​