数学证明助手 Lean

1、官方：  Lean (leanprover.github.io)

社区：Lean community (leanprover-community.github.io)

(github.com)：  leanprover-community/mathlib4: Work in progress mathlib port for lean 4 

2、Metamath     http://us.metamath.org/

     https://github.com/metamath

3、OpenAI 数学定理推理模型 ： GPT-f 

4、LeanDojo：   带检索增强语言模型的定理证明 - 知乎 (zhihu.com)

     官方网站：leandojo.org

     gihub (github.com) :   lean-dojo/LeanDojo: Tool for data extraction and interacting with Lean programmatically. 

5、chen-judge/GeoQA:　多模态数值推理新挑战，让 AI 学解几何题

　　Official Implement of ACL 2021 paper “GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning”. (github.com)

　　[2105.14517] GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning (arxiv.org)

６、中山大学HCP Lab团队：AI解题新突破，神经网络推开数学推理大门 (thepaper.cn) 

　　https://m.thepaper.cn/baijiahao_20594244