すいません、「ABC予想」っていうの、初めて知りました。
https://www.asahi.com/articles/ASN41635PN3WULBJ019.html
Mastodon は、オープンなウェブプロトコルを採用した、自由でオープンソースなソーシャルネットワークです。電子メールのような分散型の仕組みを採っています。