【数学】「x3+y3+z3=k」人生、宇宙、すべての答えの｢42｣を3つの立法数の和で表す数学界の難問がついに解ける

ブリストル大学とマサチューセッツ工科大学（MIT）が率いるチームは、65年におよぶ数学パズルで、最後まで残っていた解を求めることに成功した。

この問題は1954年にケンブリッジ大学で設定された方程式 x3+y3+z3=k について、k=1から100までのすべての解を求めるというものだ。このディオファントス方程式（Diophantine Equation：多変数多項式の整数解や有理数解を求める問題）を解くには、膨大な計算を必要とするため、当時すぐに手に負えなくなった。しかしその後のコンピューターの進歩により、それぞれのkについて解が求まり、あるいは解がないことが証明され、「33」と「42」が残っていた。このうち「33」については、ブリストル大学のAndrew Booker教授がスーパーコンピューターを使って解を求めることに成功し、残るは「42」だけとなっていた。

奇しくも「42」は、イギリスの脚本家Douglas AdamsによるスラップスティックSF小説『銀河ヒッチハイク・ガイド（Hitchhiker’s Guide to the Galaxy）』に登場するスーパーコンピューター「ディープ・ソート」が750万年かけて出した「生命、宇宙、その他もろもろについての深遠なる疑問の答え」と同じだ。

小説では「42」に対応する「深遠なる疑問」を明らかにするため、惑星ほどの大きさの巨大コンピューター「地球」が建造されるが、Booker教授はその代わりにMITの計算数理学者Andrew Sutherland教授の協力を得て、地球規模のコンピューティングプラットフォーム「Charity Engine」を利用した。Charity Engineには、世界規模で50万台を越えるPCが接続され、各PCの空き時間を使って計算を実行する。Charity Engineによる100万時間を越える計算の結果得られた解は次の通りだ。

X = -80,538,738,812,075,974
Y = 80,435,758,145,817,515
Z = 12,602,123,297,335,631

これにより、1954年に示された有名なディオファントス方程式のk=1から100に対する解は「42」を含み全て求められ、長年の問題に終止符が打たれたことになる。

Booker教授は、「ホッとしている。このゲームでは、地震を予知しようとする努力にも似て、何かを見つける確信は持てない。数カ月の探索で何か見つかるかもしれないし、100年かかっても何も見つけられないかもしれない」とコメントしている。

https://engineer.fabcross.jp/archeive/190921_charity-engine.html

電卓はじいたらこんな数字出たw

不便な十進法派の地球人は全宇宙でもレアな少数派

$ bc
(-80538738812075974)^3 + 80435758145817515^3 + 12602123297335631^3
42

この手の問題は「解なし」を証明する論理展開が面白い場合が多いな。
「まだ発見されてないだけで存在するかも」ていう可能性を完全に潰すための
一見無関係な入り口からのアプローチ。

フェルマーワイルズで憤死した人はたくさんいそう。

これが、みんながスマホ猿と化した理由か

はじめて知ったときワロタわ

もっとシニカルだった