20180108 home.science: Largest known prime number discovered