OpenAI 官方新开的 Lean 形式化数学仓库，刚上线一天就冲到榜首。用形式化证明语言做数学，是 OpenAI 在自动定理证明/数学推理方向的新动作，值得关注。
https://github.com/openai/math

互联网充电｜优质资源
优质内容｜内幕消息