ABC@home
ABC@home(エービーシー・アット・ホーム)はABC予想に関連するabcの組を見つける、教育的かつ非営利の分散コンピューティングプロジェクトである。