According to CoinMeta, former researchers Axiom Math and Kimi joined forces to establish Beijing Rational Number Technology, utilizing AI technology to overcome challenges in chip verification. In chip design, logical errors can lead to high costs of redesign, and chip verification aims to identify these hidden errors before manufacturing. Traditional verification relies on simulation testing, but the combinational states are extremely complex. Formal verification uses mathematical methods to prove that chips comply with rules. Both researchers, Zhang Jujian and Liu Junqi, have a strong mathematical background. They have completed a seed round of financing and have verified in technical prototypes some assertions that existing EDA tools are unable to determine. They are currently collaborating with chip customers to commercialize verification services.