AI自动形式化技术

技术

利用AI将数学论文转化为计算机可验证证明的技术

1 次提及3 个连接首次出现: 2026-06-23最近出现: 2026-06-23

关系图谱

关系 (3)

应用于 (2)

突破 AI科研助手

使用技术 (1)

相关文章 (1)