数学

TheoremExplainAgent 数学定理的自动可视化多模态理解.

Sphere-AI-Lab/FormalMATH-Bench: 大规模形式化数学基准

jihe520/MathModelAgent: 专为数学建模设计的 Agent

google-deepmind/formal-conjectures: 谷歌形式化数学猜想库