Until July 17 we only knew the first five numbers of the sequence <a href="https://oeis.org/A006052" rel="nofollow noreferrer">https://oeis.org/A006052</a>. Now we know 6.<p>"Using hundreds of GPUs at cloud resource rental services, it took about six months to complete the counting"<p>Great work by Prof emeritus Hidetoshi Mino. He's inviting interested people to check for errors.