主要来源arXiv: DeepSeek
查看原文事件专题 ·官方一手
FYAN：人机协作数学形式化工具
FYAN 是一种端到端文档级数学形式化工具，支持从规范到验证的全流程。该工具使用 DeepSeek-V4.1-Flash 模型，在 FormalTCS 基准上证明了 143 个定理中的 86 个，比通用智能体工具多 17 个。其语义审计在 ConsistencyCheck 基准上的召回率达到 0.777，高于直接 LLM 判断的 0.636。
当前结论
FYAN 通过语义审计提高数学形式化准确性，在 FormalTCS 和 ConsistencyCheck 基准上表现优异。
3 个信源41° AI 热度最后更新 2026/9/30 08:02:51
证据链
3 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。