ABC@home

ABC@home

ABC@home（エービーシー・アット・ホーム）は、数学における重要な未解決問題の一つであるABC予想の研究を支援する目的で実施された分散コンピューティングプロジェクトです。このプロジェクトは、ABC予想の検証に役立つ「abcの組」と呼ばれる特定の数の組み合わせを、参加者のコンピューターの余剰計算能力を用いて大規模に探索することを主な活動内容としていました。単に研究データを収集するだけでなく、教育的な意義を持つとともに、非営利の原則に基づいて運営されました。

プロジェクトの基盤技術

ABC@homeは、分散コンピューティングのためのオープンソースプラットフォームであるBOINC（Berkeley Open Infrastructure for Network Computing）をその技術基盤として採用しました。BOINCを利用することで、世界中の個人がプロジェクトに参加し、自身のコンピューターのアイドル時間を利用して数学的な計算を実行することが可能となりました。これにより、スーパーコンピューターのような巨大な計算資源を持たずとも、膨大な計算量を必要とする探索作業を実現しました。

運営体制

このプロジェクトは、オランダの名高い研究機関であるライデン大学の数学研究所と、一般向けの科学情報提供を目的とするKennislinkからの支援を受けて運用されました。これらの機関のサポートは、プロジェクトの学術的な信頼性を高め、その活動が適切に推進される上で重要な役割を果たしました。

活動規模と顕著な成果

ABC@homeプロジェクトは、その活動期間を通じて世界中から多数の参加者を集めました。特に活発だった時期の一つとして、2011年3月には、114カ国から7,300人を超えるアクティブな参加者がプロジェクトに貢献していました。これらの参加者によって提供された計算能力は、累計で29億以上のBOINCクレジットという形で計測され、当時の合計演算能力は毎秒10兆演算、すなわち10テラフロップスという驚異的な規模に達しました。これは、多くの個人コンピューターの力を集約することで、大規模な科学計算が可能になる分散コンピューティングの力を示す好例となりました。

プロジェクトは具体的な目標を設定しており、2011年には18桁までの全てのabcの組を網羅的に探索するという重要なマイルストーンを達成しました。これは、特定の範囲におけるabc予想の状況を把握する上で貴重なデータを提供しました。その後も探索活動は続けられ、プロジェクトが終了する2015年までに、累計で2380万組という膨大な数のabcの組が発見されました。

プロジェクトの終結

約10年近くにわたる活動と、数学研究への多大な貢献の後、ABC@homeプロジェクトは2015年にその役目を終え、運用を終了しました。

貢献と意義

ABC@homeは、ABC予想に関する具体的なデータの収集に直接貢献しただけでなく、一般市民が最先端の数学研究に貢献できる機会を提供しました。分散コンピューティングの成功事例としても位置づけられ、教育プログラムとしての側面も持ち合わせていたことから、科学と一般社会との橋渡し役も担いました。発見された大量のabc組は、その後のABC予想に関する研究において貴重な資料となっています。

もう一度検索