RecodeX 重构消息，由Robinhood首席执行官Vlad Tenev创办的AI初创公司Harmonic正将业务拓展至软件与芯片设计验证领域。该公司此前以AI数学推理能力受到关注，此次业务延伸意味着其技术开始向工程验证等应用场景落地。