我认为Ai-vibe编码的智能合约的金奖应该是为合约生成正式的证明。