x³+y³+z³=3は、（x,y,z）=（1,1,1）または（4,4,-5）という2組の簡単な整数解が知られている。1953年、数論の先駆的研究者であるLouis Mordell氏は、3に対する他の解が存在するかという難問を投げかけた。その後60年以上経っても3に対する3つ目の解は見つからなかったため、多くの人はもう新しい解は見つからないのではないかと考えていた。

しかし、Booker氏とSutherland氏は、42の解を見つけた直後に、次のように方程式の解を見つけた。
569936821221962380720³ + (-569936821113563493509)³ + (-472715493453327032)³ = 3
この解は21桁というとても大きな数を含んでおり、このことにより他のkに対してもさらに多くの解が存在することが示唆された。

解を見つけるために、研究グループは立方数の和の方程式を、k – z³ = x³ + y³ = (x + y)(x² – xy + y²)という扱いやすい形に変形することから始めた。この方法は数学者Heath-Brown氏が最初に提案した手法で、彼はkに対して無限に解が存在するはずだと推測している。研究グループは、さらにx + yをdという1つのパラメーターで表し、両辺をdで割って余りだけ残すという剰余演算と呼ばれる数学の手法で問題を簡略化した。このことにより、dとzの値だけを探せば良くなったが、それでも探索すべき数は膨大だ。そこで、篩（ふるい）法と呼ばれる数学の技法を使って、アルゴリズムを最適化し、dの解となる可能性のある数を劇的に削減した。

さらに、アルゴリズムの検索を効率良く何十万もの並列ストリームに分割する方法も開発し、世界中の家庭用コンピューターで無料アプリとしてダウンロードできるようにした。その結果、40万台のコンピューターを使って、わずか2週間でk=3の3番目の解を発見した。もしこのアルゴリズムを1台のコンピューターで実行していたら、解を見つけるまでに数百年かかっていたという。

k=3に新しい解が見つかったということは、Heath-Brown氏の予測が正しく、最新の解以外にも無限の解が存在することが示唆される。「新しい解が見つかるたびに作業量は1000万倍以上になります。そのため、3の次の解を見つけるには40万×1000万台の家庭用コンピューターが必要ですし、それで足りる保証もありません。4つ目の解を私たちがこの先見つけられるか分かりませんが、私は存在すると信じています」と、Sutherland氏は語っている。

（fabcross for エンジニアより転載）