2025年5月，来自香港中文大学、Numina、西湖大学、M-A-P、2077AI、加州大学洛杉矶分校以及德国图宾根马克斯·普朗克智能系统研究所的研究团队联合发布了一项重要研究成果—FormalMATH，这是一个用于评估大型语言模型(LLM)形式化数学推理能力

数学 推理 人工智能 llm formalmath 2025-05-08 09:17  3