利用 AI 驱动的形式化证明搜索推进数学研究

arXiv，arXiv 是一个免费的学术预印本开放获取平台，涵盖物理学、数学、计算机科学等领域。关注
添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论