AI, math and their implications at ARIA · Digg