OpenAI 又公开了一批内部前沿模型生成的数学研究结果，以及相应的证明、Lean 形式化验证和部分推理资料。（这里：github.com/openai/math） 以及刷到一个评论 ​