AI支援研究のためのSETIホーム

2000年前後、SETI@homeプロジェクトは一般の家庭用コンピュータの遊休計算能力を活用して地球外知的生命体を探す、画期的な取り組みでした。仕組みは単純で、家庭PCがアイドル状態になるとスクリーンセーバーが計算を可視化し、処理済みデータが本部に送られて集約されるというものでした。PCとインターネットの普及が可能にした分散信号解析の好例です。

今日、多くのユーザーがAIサブスクリプションを契約し、月ごとに一定のトークン枠を持っていますが、使用量は増減します。同時に、大手AI企業はCodexやClaude Codeといったローカルエージェントソフトウェアに注力しています。これは、大量の遊休推論能力が存在することを意味します。本稿は、この遊休推論能力をSETI@homeのように科学研究にクラウドソーシングする可能性を提唱します。

実際、小規模なチームや個人がAIを用いて数学上の難問を解決し始めています。例えば、エルデシュ問題における単位距離問題や、最近発表されたサイクルダブルカバー予想の証明候補などです。これらの成功は、専門知識と高性能AIシステムの組み合わせが知識の最前線を押し広げられることを示しています。ただし、計算資源だけでは不十分で、AIが効果的に取り組める問題領域を設計することが重要です。間違った数学的問題にGPT-3.5を数億円使って取り組んでも成功しません。

設計上の課題は、未知のフロンティアと現在のシステムが実際に達成できる範囲がどこで重なるかを見極めることです。明確には答えられませんが、より多くの計算資源が有効な分野が存在することは明らかです。最低限、計算資源の使用、手法、結果を記録する公開台帳は、AIの知識貢献を評価するための共通資産となるでしょう。

SETI@homeと異なり、研究問題は容易に分割できません。未使用のトークン枠はアイドルプロセッサとは異なり、研究状態のチェックポイントや共有、分岐・監査・再結合のための新しいエージェントアーキテクチャが必要です。潜在的な推論能力の可用性が、それらを活用するシステム構築のインセンティブを生むかもしれません。

もし寄付されるリソースがAI推論であり、一般市民がそれをスーパーコンピュータ規模の研究に結集し、成果が公共財として共有されるなら、SETI@homeはどのような姿になるのか——これが筆者が投げかける問いです。