[hakmem]

Until July 17 we only knew the first five numbers of the sequence https://oeis.org/A006052. Now we know 6.

"Using hundreds of GPUs at cloud resource rental services, it took about six months to complete the counting"

Great work by Prof emeritus Hidetoshi Mino. He's inviting interested people to check for errors.