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