エルデシュのDiscrepancy problem、コンピュータで13GBで証明したものをテレンス・タオとPolymathプロジェクトがもっと簡単に証明。
というのをだいぶ前に書いた。エルデシュのDiscrepancy problem：
をコンピュータで証明させたら13GBにもなって人間も検証できない、、、というもの。
ところがこの記事：
天才、テレンス・タオとPolymathプロジェクト：http://michaelnielsen.org/polymath1/index.php?title=The_Erd%C5%91s_discrepancy_problem
が証明してしまったというもの。
論文はこれ。
Taoのコメントがあるけれど、
”It is typical example of high-class human mathematics”
まさにそう。かっこいい！
« 天気で香りが変わるってどういうこと？（ボールドの新CM見て） | トップページ | NTTドコモ premium 4GのCMの最後のセーラー服の子と、住友生命 未来診断で鶴の恩返しの鶴役の子は仁村紗和 さん。 »
「日記・コラム・つぶやき」カテゴリの記事
- 新型コロナウイルス、日本の陽性者数＆ワクチン接種者数総計をプロット＆中国、韓国、アメリカ、ドイツ、フランス、イギリスの陽性者数もプロット（1/23更新）。オミクロン株で日本の垂直増加がやばい。私の周りでも陽性者が出始めた。(2022.01.23)
- アメリカの空港で5G C-bandをを使うなという話で揉めてますが、どう考えても電波高度計(4.2-4.4GHz）が無茶苦茶で、衛星通信(3.7-4.2GHz)を邪魔しているのにC-Band(3.7–3.98GHz)が入ってくるとクレームとは、、、ジャイアニズムか！(2022.01.22)
- 不定方程式a*x+b*y=gcd(a,b) （ディオファントス方程式、ベズーの等式）の拡張ユークリッド互除法を使った計算をカシオの高精度計算サイトkeisan.casio.jpにUP!2022年共通テストの数学I・数学Aの問題4に出てても結果に自信ないので機械に頼る。。。(2022.01.19)
- 2022年度共通テストの数学I・数学Aの問題、例の防衛省のイージス・アシュアの縮尺違い地図で角度間違ってる話をそのまま持ってきてる！秋田県男鹿市の本山か。。。(2022.01.17)
- 高周波（RF・マイクロ波・ミリ波・5G）関連ニュース2022年1月18日 IEEE Microwave Magazineは女性高周波研究者特集、Microwave Journalはレーダで月面が見える。ドコモの誘電体線路アンテナ、3.45GHzのオークション結果、hBNを使ったスイッチ、Scikit-rfの使い方など。(2022.01.18)
トラックバック
この記事へのトラックバック一覧です： エルデシュのDiscrepancy problem、コンピュータで13GBで証明したものをテレンス・タオとPolymathプロジェクトがもっと簡単に証明。:
« 天気で香りが変わるってどういうこと？（ボールドの新CM見て） | トップページ | NTTドコモ premium 4GのCMの最後のセーラー服の子と、住友生命 未来診断で鶴の恩返しの鶴役の子は仁村紗和 さん。 »
コメント