能解国际奥数竞赛题的AI系统问世

作者：财中快讯 52101/18

据科技日报，《自然》17日发表的一项计算科学研究，描述了一个能解国际数学奥林匹克竞赛级别几何题的人工智能(AI)系统。其表现超过了之前最好的自动化定理证明系统。该研究证明了AI已接近人类破解复杂逻辑问题的最高水平。

标签：

免责声明：本网转载合作媒体、机构或其他网站的公开信息，并不意味着赞同其观点或证实其内容的真实性，信息仅供参考，不作为交易和服务的根据。转载文章版权归原作者所有，如有侵权或其它问题请及时告之，本网将及时修改或删除。凡以任何方式登录本网站或直接、间接使用本网站资料者，视为自愿接受本网站声明的约束。联系电话 010-57193596，谢谢。