BJJ 16 Apr 2026 in Public 我们可以写出 something wrong in here, - not plus " s.t. (x^Tx)^d (V(x)-\rho) - ... is SOS "