相关赛道： 自动化AI模型浙江大学

挑战AI数学推理极限，大规模形式化数学基准FormalMATH发布，最强模型成功率仅16%

量子位 18小时前 来源: 36氪 热度: 10
现有LLM证明器表现整体低迷