幣界網消息，前Axiom Math與Kimi的研究者聯手創辦北京有理數科技，運用AI技術攻克芯片驗證難題。芯片設計中，邏輯錯誤可能導致高昂的重新設計成本，芯片驗證旨在製造前找出這些隱藏的錯誤。傳統驗證依賴仿真測試，但組合狀態極其複雜，形式化驗證運用數學方法證明芯片遵守規則。張巨見與劉俊杞兩位研究者均具有強大的數學背景，已完成種子輪融資，並在技術原型中驗證了部分現有EDA工具無法判定的斷言，正與芯片客戶合作商業化驗證服務。