AI数学研究

AI 数学研究关注大模型、形式化验证、定理证明与人机协作如何帮助提出、检查和表达数学推理，结论仍需严格审查。