1. Recognize that you have a problem, not him.
2. Let him decide if it's a disability and consider that we're all different.
3. You're not being specific; it's hard to provide concrete advise to a non-specific request.
> HR knows it but everyone is afraid of getting sued or something so it's a don't ask don't tell situation.
You're treating him like a sick person who is doing something wrong, whose bad behavior is protected by taboo.
Whether this is true or not is hard to say. But maintaining this perspective, it seems that you're betting on him not being there, rather than resolving any problems you have with him.
> I will be honest, he drives me crazy on a daily basis.
I have autism and I have a manager who drives me crazy on a daily basis.
Try to not make it personal.
> I can make it a useful learning experience that works for both sides, hopefully.
If you try to learn something from dealing with him, great.
I'd try to avoid setting learning goals for other grown-ups who didn't ask for it, though.
> Do you have any advice for making his and my life easier?
Talk with colleagues who have success communicating with him how they do it.
Talk with your manager on how to be a better manager for autistic people.
Stop blaming him for being autistic and turning your problems into his problems. :-)