作者曾将 openai/math 的719份手稿用于提取可机读的证明技术图谱，共提取出40个签名，由Claude和Grok用冻结评分标准盲审。