能解国际奥数竞赛题的AI系统问世
发布时间:2024-06-12 04:04:36 作者:玩站小弟 我要评论
《自然》17日发表的一项计算科学研究,描述了一个能解国际数学奥林匹克竞赛级别几何题的人工智能AI)系统。其表现超过了之前最好的自动化定理证明系统。该研究证明了AI已接近人类破解复杂逻辑问题的最高水平。
。
《自然》17日发表的国际一项计算科学研究,描述了一个能解国际数学奥林匹克竞赛级别几何题的奥数人工智能(AI)系统。其表现超过了之前最好的竞赛自动化定理证明系统。该研究证明了AI已接近人类破解复杂逻辑问题的系统最高水平。
奥林匹克竞赛中的问世数学定理证明需要高水平的逻辑推理和解题能力。然而,国际当前基于机器学习的奥数AI系统在证明数学定理方面还有困难。机器学习通过向计算机提供参考数据,竞赛让计算机学习如何执行特定任务。系统但由于作为训练数据的问世人类示范很少,所以定理证明,国际尤其是奥数几何学定理很难被证明。
谷歌“深度思维”团队此次描述了一种不需要人类示范的竞赛定理证明方法。基于这一方法的系统AI系统名为“阿尔法几何”(G0)。它综合了复杂程度各异的问世数百万条定理和证明,并利用一个神经语言模型完成自我训练。这种方法结合符号演绎引擎(能搜索难题中的大量分支点),能让G0在无需人类直接输入的情况下学习并解开复杂问题。
团队用国际数学奥林匹克竞赛2000年至2020年间的30个问题测试了该系统。G0解出了其中25题,接近国际数学奥林匹克竞赛金牌选手的平均表现。而之前最优秀的方法只解出了10题。值得一提的是,G0能生成人类可阅读的证明,甚至发现了2004年国际数学奥林匹克竞赛定理的一个新版本。
研究人员指出,G0目前仅限于证明几何学定理,但这种方法或许能应用于其他数学领域。
相关文章
- 1月11日,在淮南市第一人民医院建院66周年之际,该院院史馆正式开馆。副市长陆晞,市政协副主席、市卫计委主任方严为市一院院史馆揭牌。淮南市第一人民医院始建于1952年,历经蹒跚起步、艰苦创业、整顿提高2024-06-12
- 枞阳在线消息 “问题处理的很及时,下水道没有污水渗出了,环境好多了。”枞阳县枞阳镇石岭社区的陈先生提起小微权力“监督一点通”,那是赞不绝口。此前,陈先生家边上的下水道总是有污水2024-06-12
- 2024-06-12
- 枞阳在线消息 记者从7月31日召开的枞阳县2023年10项暖民心行动新闻发布会上了解到,暖民心行动实施以来,有效解决了全县人民群众在就业、教育、医疗以及“一老一小”等方面的关键小事和民生大事,得到了全2024-06-12
- 巡游队伍走街串巷,将美好祝愿传递给所到之处的市民群众。昨日上午9时许,伴随阵阵锣鼓声,“我们的节日·端午”——城南“嗦啰嗹&r2024-06-12
- 2024-06-12
最新评论