I read in this tutorial that anti-aliasing in raytracing is done by rendering to 2x the resolution and scaling it down to get an average around the edges. Is this the method Luxrender uses? It seems very inefficient, but perhaps necessary.
http://www.codermind.com/articles/Raytracer-in-C++-Part-II-Specularity-post-processing.html
