Terence Tao reportedly examines AI-generated argument on Landau–Siegel zeros · Digg