最近，专门为人工智能，AI，设立的AI国际奥林匹克数学竞赛，IMO，即将进入尾声，其结果将随今年7月于英国巴斯举行的65届IMO大会同步揭晓，这项赛事的目的是推动发展大语言模型的数学推理能力，训练出更...