Comment by bonoboTP

Ok, where will you shift the goalposts if next year AI will also be superhuman in didactically explaining proofs to humans?