首个面向大模型的形式化数学竞赛

面向大模型的形式化数学竞赛是一项聚焦于评估和推动大模型在形式化数学推理领域能力的创新性竞赛。