7
Brachylog (v2), 3 bytes in Brachylog's encoding
⟦cṗ
Try it online! (will time out without doing anything visible, for obvious reasons)
Full program; if run with no input, searches for the first Smarandache prime, and outputs true. if and when it finds one. It's an open question as to whether ...