Việt Nam có mấy bài Toán được chọn vào đề thi Olympic quốc tế?

Trong lịch sử 66 năm Olympic Toán quốc tế (IMO), một số bài của tác giả Việt Nam được chọn vào đề chính thức. Bạn có biết con số là bao nhiêu?