突破形式化数学证明的边界:字节跳动Delta Prover如何让通用大模型具备顶尖定理证明能力文章浏览阅读661次,点赞17次,收藏13次。在人工智能领域,形式化数学证明长期以来被视为衡量机器推理能力的"珠穆朗玛峰"。从古希腊几何公理...2025-08-10阅读(63)