NGC 6712 là cụm sao cầu có thể được Le Gentil phát hiện vào ngày 9 tháng 7 năm 1749 khi điều tra đám mây sao Milky Way ở Aquila. Ông mô tả nó như một "tinh vân thực sự", trái ngược với cụm sao mở M11. Được phát hiện độc lập bởi William Herschel vào ngày 16 tháng 6 năm 1784 và được phân loại là H I.47; đầu tiên ông cũng phân loại nó là một tinh vân tròn. John Herschel là người đầu tiên mô tả nó như một cụm sao hình cầu trong những lần quan sát của ông vào những năm 1830.