发布时间：2024-12-13 01:59:51 来源: sp20241213
中新网北京1月18日电 国际著名学术期刊《自然》最新发表一篇计算机科学论文称，研究人员开发出一个能解国际数学奥林匹克竞赛级别几何题的人工智能（AI）系统，表现超过了之前最好的自动化定理证明系统。该研究证明了AI能以接近人类最高水平破解复杂逻辑挑战的潜力，而这正是AI研究的一个主要目标。
该论文介绍，奥林匹克水平的数学定理证明需要高水平的逻辑推理和解题能力。然而，当前基于机器学习的AI系统在证明数学定理方面还有困难。机器学习这种AI形式通过向