通过让多个AI系统解答10个涵盖广泛数学领域的真实研究级数学问题,评估当前AI系统解决研究级数学问题的能力并展示测试结果。
机构:Stanford
来源:arXiv 2606.18119 | AI4Papers 论文推荐平台