Looking at his post, the main criticism is "that the program has not yet generated anything new", but the post does not refer to the actual results (like formul

Looking at his post, the main criticism is "that the program has not yet generated anything new", but the post does not refer to the actual results (like formulas for Catalan's and Apery's constants).