机器学习模仿学习做证明题(Release)。