I will review the basic ideas of (a version of) the BFSS/MST conjecture that proposes a non-perturbative definition of M-theory/String Theory, and outline concrete avenues for testing its validity.