解けても報酬1万円ポッキリなの?エレガントさに欠けるエレファントな証明(反証)だ!
GIGAMEN / 2016年6月24日 9時50分
今回は、テキサス大学オースティン校等の研究チームが「ブールピタゴラス数問題」なる証明問題をスーパーコンピュータで解いちゃった!という内容についてじっくり考察していきましょう。
驚愕のポイントはズバリ!解の長さ(全組合せ)が200テラバイトものデータ量に達したそうですよ。
さらにメッチャ悲しいポイントはズバリ!スパコンを2日間も稼働させてCPUでの総当たりを決行したのに答えが偽で、頑張った報酬がたったの1万円ポッキリですって。
むしろ反証が見つかったから200テラバイトで落ち着いた感がありますが、もし答えが真だったら延々と終わらないのでしょうか?
そもそも、なぜ偽なのか証明しとらん!
まず、当初の命題を否定的に証明するのに偽である例を1つ示すだけならとりあえず力技で難なくイケちゃいそうですが、片や存在しないことを示そうとした場合って力技だけでは到底太刀打ち出来ないと思いませんか?
また、ブールピタゴラス数問題って超メジャーな四色定理と違い何とな~く地味な感じがしますが、ラムゼー理論と近しい分野における未解決問題の反例だと今回みたいなケースが今後も起こりそうですよね。
何れにせよ、より洗練された数式を私の目が黒いうちに発掘してほしい!と切に願ってしまいます。
記事参照元 http://www.gizmodo.jp/
この記事に関連するニュース
-
算数レベルのミス続発「伝説の東大入試」がこれだ 「小学校で習う割合」は東大受験生でも間違える
東洋経済オンライン / 2024年6月22日 11時30分
-
「わ~オバサンくさっ」アラフォーが5歳老けて見えるNGコスメとは【2024梅雨・特別編】#2
OTONA SALONE / 2024年6月14日 20時1分
-
主婦におすすめの「副業」10選 - 月3万円以上を目指せる仕事も!
マイナビニュース / 2024年6月13日 13時37分
-
「1口座5万円で取引」「報酬は中国の仮想通貨サイト利用」…闇バイトの誘いを受けた経験がある人は2割弱
まいどなニュース / 2024年6月12日 7時5分
-
交渉決裂「論点が違う」奈井江町 猟友会クマ駆除辞退問題 他方クマ対策にハンタードローン活用の自治体も
HTB北海道ニュース / 2024年6月11日 19時12分
ランキング
-
1「赤ちゃんのお世話がしたいニャ!」ベビーサークル越しに愛を訴える猫ちゃん
おたくま経済新聞 / 2024年7月8日 7時0分
-
2一度植えたら、自動で増殖&毎年収穫を目指せる野菜5種とは? 自然農のエキスパートが伝授する方法に反響
ねとらぼ / 2024年7月8日 9時0分
-
3「どう見てもセガのアレ」 コンビニうどんの容器トレーが「圧倒的既視感」「コントローラーの抜け殻」と話題
ねとらぼ / 2024年7月7日 17時0分
-
4モトローラが日本市場で急成長している理由 1年で出荷台数2倍以上、「edge」「razr」の販路拡大がカギに
ITmedia Mobile / 2024年7月6日 11時45分
-
5「わろてる」 人気VTuberが部屋で“でかめのやらかし”をした様子を公開し話題に 「どうなってんのこれw」「想像以上」
ねとらぼ / 2024年7月7日 18時0分
記事ミッション中・・・
記事にリアクションする
![](/pc/img/mission/mission_close_icon.png)
記事ミッション中・・・
記事にリアクションする
![](/pc/img/mission/point-loading.png)
エラーが発生しました
ページを再読み込みして
ください
![](/pc/img/mission/mission_close_icon.png)