史上最大の答え。数学の証明問題、解が200TBに達する

史上最大の答え。数学の証明問題、解が200TBに達する2016.06.01 22:0011,985 福田ミホ ピタゴラス数って覚えてますか？ 数学の証明問題、長々とかかるものが解けたときってすごい達成感がありましたよね。ある数学者チームがものっっすごく長い証明を完成させたそうです。どれだけ長いかって、データ量にしてなんと200TB（テラバイト）もあるそうです。 Natureによれば、テキサス大学オースティン校などの研究チームが、スーパーコンピュータで｢ブールピタゴラス数問題｣なるものを解くことに成功したそうです。なんか字面を見るだけで難しそうな気がするんですが、どんなものかっていうと… 整数に赤または青の色を付けて、｢a²＋b²＝c²｣となるようなa、b、cの組み合わせのすべての数が同じ色にならないようにすることは可能か？ そういえば中学校あたりで｢3²＋4²＝5²｣って習ったような…こう

[txs]

セキュリティーエラーで元ページを閲覧できないので、ブコメで満足する

[muchonov]

ブルートフォースかよ。それ「解」というのだろうか。しかしこれ、解法はイマイチだけど、特異点が十分遠方にあったわけで、設問自体はなかなかの良問なんだろうね。

[dobonkai]

はい、またChromeさんに怒られて閲覧できねっす

[river2470]

ChromeでもFirefoxでもSafariでも，証明書に問題があると言われるURLに対して，こんなにコメントが付くのか．とりあえず記事はhttpでも読めたけど．

[Roen-hi]

総当りで反例を発見→否定の証明ってか。うーん。まぁでも、懸賞かけた本人がいいっつってんなら、懸賞問題の答えとしてはそれで十分なんだろう。

[kazuau]

仮説に反例を見つけただけのことを、数学の証明と呼んでいいものか

[waman]

ところで挿し絵はなぜ3色？

[nobububu]

200TB出力して反例発見か

[YarmUI]

ギズモード、cloudfrontに独自ドメインつけてるけど証明書つけ忘れてる いまならaws certificate managerで5クリックでつけれる

[ROYGB]

これは順番に調べていって反例が見つかったから完了ということなのかな。２色でなく３色ならすべてが同じ色にならないようにできるんだろうか。もしくは何色あれば成立するのか。

[prototechno]

こんな風にコンピュータの力技で証明問題を解く例が最近一般化しつつありますが、こういうやり方が本当に数学的証明といえるのかどうかについてはちょっと懐疑的な人たちもいます。

[yuzuk45]

セキュリティエラー！証明書期限切れとか？記事は読んでない。

[quwachy]

こういうコンピューターの使い方で問題を解いてもコンピューターが人間を支配するとか言わないのになんでAIが証明を見つけたら急に怯えだすんだろう

[a-ki_room]

こういうコンピュータを用いた証明のデータって公開されるのかしら。 史上最大の答え。数学の証明問題、解が200TBに達する - GIZMODE

[ko-kosan]

史上最大の答え。数学の証明問題、解が200TBに達する : ギズモード・ジャパン

[mikage014]

こういう問題をAIが解いて「説明しよう！」って分かりやすく説明してくれると嬉しいのだけど

[y-kawaz]

そんな事よりTLSのサーバ証明書の設定が外れてて警告でるんだがww 証明書がCloudFrontになってるから担当者は早く設定更新してやれ、今時はACM使えるから無料で更新も不要に出来るぞ。

[death6coin]

テラバイトだけに禅問答ってか

[ystt]

エレファントな証明（反証）だ。

[tmreporepo]

史上最大の答え。数学の証明問題、解が200TBに達する : ギズモード・ジャパン

[ga_kun]

美しくない

[yomik]

コンピュータの力がないと解けないのは、四色定理も同様。

[Domino-R]

"こういうやり方が本当に数学的証明といえるのか" /コンピュータによる、囲碁と同じルールの全く別のゲームなのではないか問題な。

[dekigawarui]

こういう解き方に抵抗するのは天文学者に望遠鏡を使うのは邪道と言っているようなもの。

[kaanjun]

答えが「ノー」になるってことはアタリをつけてやってたんよね？もし可能だったらどこまで行っても反例は見つからないし、証明にもならない。

[Hiro0138]

四色定理みたいな問題で、コンピュータの力業で答えを出した所まで似てるな

[migrant777]

解答はノー、だけで「なぜ」ノーなのかが分かってないのは片手落ちじゃないの？

[Nyoho]

どんな手法でも反例が見つかったんだから、証明しようと頭を悩ませることは全く必要ないことが分かったという大きなご利益があるよ。

[zyzy]

フェルマーの最終定理をチューリングがブルートフォースで反例見つける解法しようとしたけど無理だった、みたいな話を何かで聞いた気がするけどなんだったか思い出せない……。

[deep_one]

個人的に言うと、反証を示す場合は力技でいいと思う。正しい事を示すには使えないけど。

[lumely]

四色定理でもんなもんは証明じゃないという批判も多かったそうだが，今後こういうのが増えていくのだろうか

[ultimate-ez]

なんて美しくない証明なんだ。。。しかし、これもまた数学なのか。。。

[tanayuki00]

反証が見つかったから200TBで済んだけどって話？「たしかに「ノー」になるってことは実際の例で示せたんですけど、どうしてノーなのか、仕組みとしてはわからないまま」