Tony Feng proposes AI referee services for mathematics journals, arguing automated peer review is more practical than autonomous theorem proving · Digg