1
IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
60位作者联合发布，首个评估AI在研究级数学证明生成能力的基准测试，挑战大模型推理极限。
arXiv:2509.26076v2 Announce Type: replace Abstract: As the mathematical capabilities of large language models (LLMs) improve, it becomes increasingly …