论文Agent 与开发者多源确认精选10:57FYAN：人机协作数学形式化工具FYAN 通过语义审计提高数学形式化准确性，在 FormalTCS 和 ConsistencyCheck 基准上表现优异。#FYAN#DeepSeek-V4.1-Flash#FormalTCS#数学形式化2 个信源在谈事件专题aarXiv: DeepSeek@Wei Zhao 等 8 人3 个信源在谈原文稍后读已读值得跟进有用关注 FYAN