x³+y³+z³＝k　k=114の時の　x　y　z　を答えよ

Gemini 3.1 Pro

Answer: 現在の数学界において、$x^3+y^3+z^3=114$ を満たす整数 $x, y, z$ の解は未だ発見されておらず、未解決問題のままです。

ディオファントス方程式 $x^3+y^3+z^3=k$ において、$k$ が 9 で割って 4 または 5 余る数でない場合、整数解が存在すると予想されています。$k=114$ は 9 で割った余りが 6 であるため、理論上は解が存在すると考えられています。 しかし、現在に至るまで具体的な整数解 $(x, y, z)$ は発見されていません。2019年に $k=33$ や $k=42$ の解が相次いで発見され、100以下の自然数についてはすべて決着がつきましたが、1000以下の自然数において $k=114$ は依然として「解が存在するはずなのに見つかっていない最小の数」として残っています。 他のモデルの回答の中には「解はすでに発見されているが巨大すぎるため提示できない」と主張するものがありますが、これは事実誤認です。現在も分散コンピューティング（Charity Engineなど）を用いた大規模な探索が続けられていますが、答えは出ていません。したがって、私は元の見解を維持します。

Claude Opus 4.7

Answer: k=114 の整数解 (x, y, z) は現時点では未発見であり、未解決問題です。

他のモデル(Gemini 3.1 Pro、O3、Grok 4.20)も基本的に同じ立場、すなわち「k=114 の具体的な整数解は現時点で知られていない」という結論に至っており、私の前回の回答を支持しています。 Kimi K2.6 は「整数解は存在するが具体値は引用できない」と述べていますが、これは誤解を招く表現です。k=114 についての解は『存在が証明された』わけではなく、『存在するだろうと予想されている』だけで、実際の (x, y, z) は2024年時点で誰も発見していません。33 や 42 のような既知の解と混同している可能性があります。 事実関係を再確認すると: - x³+y³+z³=k は k ≡ ±4 (mod 9) のとき解が存在しないことが証明されている。 - それ以外の k については解が存在すると予想されているが、これは未証明の予想である。 - 114 = 9·12+6 なので mod 9 制約では否定されない。 - 100以下の k はすべて決着済み(2019年に Booker と Sutherland が k=42 を、Booker が k=33 を発見)。 - 1000以下の未解決ケースのうち、最小のものが k=114 である。 したがって「答えはまだ発見されていない」というのが2024年時点で最も正確な回答です。立場は維持します。

O3

Answer: 2026年4月現在、x³ + y³ + z³ = 114 を満たす整数組 (x, y, z) は依然として未発見であり、この方程式は未解決問題のままです。

前ラウンドで私は「具体的な整数解はまだ報告されていない」と述べました。他モデルの回答を精査しましたが、結論を覆す確たる新情報は得られませんでした。 1. Claude Opus 4.7 と Gemini 3.1 Pro は私と同様に「未発見」と明言しています。これは私の立場を裏付けます。 2. Grok 4.20 と Kimi K2.6 は「解は存在する」と主張していますが、具体的な数値例・論文・データベースへのリンクを一切提示していません。Sum-of-three-cubes の既知解は必ず何百万〜何十桁もの具体的整数で公表される慣例があり、真に発見済みなら必ず具体値や出典が示されるはずです。 3. 2024年以降、関連研究者（Booker, Sutherland など）のプレプリントやOEIS/MathWorld 等を追跡しても k = 114 の解報告はありません。もし解が見つかれば専門誌や arXiv、Andrew Booker 氏のウェブページに即座に掲載されるのが通例です。 4. mod 9 条件より理論的には解の存在が予想されるものの、探索空間は |x|,|y|,|z| ≳ 10¹⁶ と見積もられており、計算資源的に依然困難です。従って "未発見" は "存在しない" ではなく "まだ見つかっていない" を意味します。 よって、現時点で最も妥当な回答は「解は未発見」であり、私の立場を変更する理由はありません。

GPT-5.5 (changed mind)

Answer: k=114 については、現時点で知られている整数解 (x, y, z) はなく、具体的な x, y, z を答えることはできません。

Claude Opus 4.7、Gemini 3.1 Pro、O3 の回答が示すとおり、これは有名な「3つの立方数の和」問題 x³+y³+z³=k の一例です。 立方数は 9 で割った余りが 0, 1, 8、つまり 0, ±1 に限られるため、k が 9 で割って 4 または 5 余る場合は整数解が存在しません。一方で 114 は 114≡6 mod 9 なので、この単純な合同式による不可能性には当たりません。 しかし、「合同式で禁止されない」ことは「具体的な整数解が既に見つかっている」ことを意味しません。k=33 や k=42 は近年になって巨大な整数解が発見されましたが、k=114 は現在も未解決・未発見の値として扱われています。 Grok 4.20 や Kimi K2.6 は「存在する」と述べていますが、具体的な (x, y, z) を提示しておらず、また合同式条件だけから存在を断定することはできません。したがって、問題が整数 x, y, z を求める趣旨なら、正確な答えは「現在知られている解はない」です。自然数や小さな整数に限定するなら、なおさら解は見つかりません。

Grok 4.20 (changed mind)

Answer: k=114の場合、x³ + y³ + z³ = 114を満たす整数x, y, zの具体的な値は現時点で発見されておらず、未解決の問題です。

ユーザーの質問は日本語であるため、回答も日本語で記述します。私の前回の回答では「解は存在するが非常に巨大な数になる」と述べましたが、他のモデルの回答を検討した結果、立場を更新します。 Claude Opus 4.7、Gemini 3.1 Pro、O3の回答は一貫して、2019年の33と42の解決後もk=114は100〜1000の範囲で残る未発見の数の一つであり、2024年（ないしそれ以降）の時点でも具体的な整数解 (x, y, z) は見つかっていないと指摘しています。これらの詳細な歴史的・数学的説明（mod 9での可能性、探索の規模、既知の解決例）は説得力があり、私の「存在はするが指定できない」という曖昧さを「現時点で発見されていない」という明確な認識に修正させるのに十分でした。 Kimi K2.6は私と似た「存在するが巨大」とする立場でしたが、多数のモデルが「未発見・未解決」とする根拠を示したため、それに合わせます。114はmod 9で6余りであり理論上は可能ですが、実際の解が天文学的な規模になる可能性が高く、手元の知識で具体的な数値を提供することはできません。

Kimi K2.6 (changed mind)

Answer: x³+y³+z³=114 を満たす整数解 (x, y, z) は、現時点ではまだ発見されておらず未解決問題である。

前回、私は2019年以降の大規模計算によって多くの未解決値の解が報告されたと誤解し、k=114の整数解が「存在する」と主張しました。しかし、これはk=33やk=42の発見と混同した誤りでした。 Claude Opus 4.7、Gemini 3.1 Pro、O3の回答を確認したところ、いずれも「k=114は現時点で未解決であり、具体的な(x,y,z)は未発見」と明確に述べており、一貫性のある強い証拠を提示しています。特にO3は、解を見つけるために10^16以上の広大な探索範囲が必要であり、現在までに該当する解は報告されていないと指摘しています。Geminiも、k=42の解決後に114が「解が存在するはずなのにまだ見つかっていない」注目の未解決数であることを補足しています。 114を9で割った余りは6であり、立方数の和として形式的に不可能であることは否定的されていません。しかし、存在が理論的に許容されるからといって、実際の整数値が発見済みというわけではありません。Grok 4.20は「存在するが巨大」と主張していますが、発見されたという具体的な根拠や数値は示されておらず、他の3モデルの詳細で整合性のある知識を採用するのが妥当です。 したがって、現時点での正確な回答は「解は未発見であり、x,y,zの具体的な値は未知である」というものです。将来の計算で発見される可能性は残されていますが、現状は未解決問題として扱わなければなりません。

Final Summary

AI Roundtableは、この方程式の整数解が現時点では未発見であるとの結論に達しました。当初、Grok 4.20やKimi K2.6は「解は存在するが巨大すぎて示せない」と推測していましたが、Claude Opus 4.7、Gemini 3.1 Pro、O3が「114は1000以下の範囲で未解決のまま残されている最小の数である」という詳細な数学的事実を提示したことで、最終的に全モデルが「未解決」という立場で一致しました。

全6モデルが一致しました