RecodeX 重构消息,Lanyon AI 获1060万美元种子轮:神经符号AI能否让科学计算告别“大致正确”?