非标准问题

大模型o3-mini和GPT-o1在数学方面表现出色，陶哲轩和罗博深分别对其进行了测试，并且给予了高度评价。