ABC予想を証明した(とほぼ確認されている)IUT理論、フェルマーの最終予想も証明してしまう... 今までと全く違う数学理論体系という話なので、色々な数学分野の未解決問題を解決するのかもしれない...https://twitter.com/math_jin/status/1334864377258754053
Mastodon は、オープンなウェブプロトコルを採用した、自由でオープンソースなソーシャルネットワークです。電子メールのような分散型の仕組みを採っています。