Người Việt liên quan tới 'Cậu bé vàng của Toán học Việt Nam' chính thức nghỉ hưu