The U.S. government's now-defunct Advanced Aerospace Threat Identification Program (AATIP) spent millions of taxpayer dollars to research bizarre, experimental technologies such as invisibility cloaks, antigravity devices, traversable wormholes, and a proposal to tunnel through the moon with nuclear explosives, according to dozens of documents obtained by Vice.com.

The documents, which include nearly 1,600 pages of reports, proposals, contracts and meeting notes, reveal some of the stranger priorities of AATIP — a secretive Department of Defense program that ran from 2007 to 2012, but only became known to the public in 2017, when the program's former director resigned from the Pentagon.