タグ

GIZMODOとテキサス大学に関するmohnoのブックマーク (1)

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

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

    史上最大の答え。数学の証明問題、解が200TBに達する
    mohno
    mohno 2016/06/02
    「ブールピタゴラス数問題」←四色問題に比べると地味というか、解けたからどうってことがないというか、検証する研究者とかいるんだろうか。
  • 1