200TBのサイズの数学の証明、ブーリアンピタゴラスの三つ組み問題はn=7824までできる。
Two-hundred-terabyte maths proof is largest ever
A computer cracks the Boolean Pythagorean triples problem — but is it really maths?
そしてarXivに出ていた論文はこれ。
Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer
どんな問題かというと、Ronald Grahamさんが1980年代に$100の！賞金を懸けて証明を募集したもの。
正の整数を赤と青に分けるとしましょう。そのうち、ある三つの数a,b,cがあのピタゴラスのa^2 + b^2 = c^2を満たすものは同じ色にはならないようにする。例えば3,4,5なら3,5を青に塗ると、4は赤じゃないとだめ。ですべての正の整数を塗り分けられる？というもの。
つまり青の方も赤の方もどっちもその中にa^2 + b^2 = c^2を満たすようなものはないようにできる？
で答えは、7824まではできて、7825は×、ということでした。
その証明が200TB。。。
これもテレンスタオみたいな人が将来数ページで証明してしまうのかもしれない。。。
« サントリーのヨーグリーナ＆南アルプスの天然水、いませやねんのメチャ売れで紹介されてる。私も飲んで結構驚いた。透明なのに味が、、、 | トップページ | 今ニュース速報で消費税増税が2019年10月まで延期と出た。 »
「日記・コラム・つぶやき」カテゴリの記事
- 京都府では免許の更新時、優良運転者講習がオンラインでできるようになった！早速やってみたが、PCでやろうとするとマイナンバーカードをNFCリーダで読まないとだめで断念、iPhoneはChromeはだめでSafariじゃないと駄目とかいろいろ罠が…でも最終的にはよかった。(2022.05.28)
- Wordleを100回やってみて正解率の分布を見た。1回目で当たる確率をpとして、2回目からはk倍ずつ確率が上がっていく(kp,k²p,k³p…）とすると、私の結果はp=0.0089, k=2.4になった。(2022.05.27)
- 高周波回路シミュレータQucsStudioを使ってみる（その５）マルチポート（４ポートだとs4pみたいな）のSパラメータデータをTouchstoneファイルに出力しようとするとExport to SnPでは2ポートになってしまう。Project→Import Dataからポート数を手で入れないと。(2022.05.24)
- 新型コロナウイルス、日本の陽性者数＆ワクチン接種者数総計をプロット＆中国、韓国、アメリカ、ドイツ、フランス、イギリスの陽性者数もプロット（5/22更新）どの国もじわじわと増加は続いている。マスクをしなくなったり油断してるからかな…(2022.05.22)
- 高周波（RF・マイクロ波・ミリ波・5G）関連ニュース2022年5月19日 IEEE Microwave Magazineで磁性体を使わない非可逆デバイス、Microwave Journalは5Gスモールセル、THz、Movanoがミリ波血圧＆血糖値計発表、三菱の3Dプリンタ衛星アンテナ、など。(2022.05.19)
« サントリーのヨーグリーナ＆南アルプスの天然水、いませやねんのメチャ売れで紹介されてる。私も飲んで結構驚いた。透明なのに味が、、、 | トップページ | 今ニュース速報で消費税増税が2019年10月まで延期と出た。 »
コメント