改进型人工智能方法实现高效可靠的逻辑推理 科学 2026-04-20 研究团队提出一种将复杂论证推理转化为高效数学公式的新方法,并成功在网络欺诈识别中验证其可靠性,为精确逻辑推理型人工智能应用奠定基础。