前Axiom Math和Kimi的研究者联手创办北京有理数科技，利用AI技术攻克芯片验证难题。芯片设计中，逻辑错误可能导致高昂的重新设计成本，芯片验证旨在制造前找出这些隐藏错误。传统验证依赖仿真测试，但组合状态极为复杂，形式化验证利用数学方法证明芯片遵守规则。张巨见与刘俊杞两位研究者均有强大的数学背景，已完成种子轮融资，并在技术原型中验证了部分现有EDA工具无法判定的断言，正与芯片客户合作商业化验证服务。