Comment by boutell

The previous, human-discovered result is the same to... how many decimal places? It wasn't printed in enough detail on the site I found to even say...

Still an achievement, just funny.