판 이력 — Has MIMO decoding been proved hard from lattice problems? | AIChainDay