I've been looking for one too...
There is
GNU Backgammon... not the prettiest, but apparently the AI is very good so try it out if you want a challenge. (Personally, I'm not a good enough backgammon player to know the difference yet between good and bad AI!

)