Plug in the R3.
Run "System Information" found inside of Applications -> Utilities
Click on USB. See if anything there is listed as Arduino or ATmega16u2. If you're comfortable, maybe screenshot it (CMD-SHIFT-4 then SPACE then click on the window, saved to desktop) to show what shows up.