80888...88881 (420-digits)

This number is a probable-prime (likely to be a prime but we have not (re-)proven it on this site).

In 2025, Elon Musk posted a 420-digit pictoprime on his social media platform X (Twitter), that that visually spells out the logo of his AI chatbot Grok. [Gudipati]