エルデシュの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の最後のセーラー服の子と、住友生命 未来診断で鶴の恩返しの鶴役の子は仁村紗和 さん。 »
「日記・コラム・つぶやき」カテゴリの記事
- 高周波・RFニュース 2026年7月16日 Microwave JournalでCadenceのRF設計向けAI紹介、Samtecが30°傾いた1.85mmコネクタ発表、Mini-CircuitsのMMICアッテネータ紹介、SEMCOがAI向けMLCC発表など(2026.07.16)
- 高周波・RFニュース 2026年7月15日 IEEE Microwave Magazineで自分のコードを高周波シミュレータに組み込む等、DeepSigがAIベースのRF検出OminiSIG 4.0発表、BroadcomのWi-Fi 8 SoC解説、GSMAがモバイルネットゼロレポート発行など(2026.07.15)
- 高周波・RFニュース 2026年7月14日 KeysightとRCRTechが6Gウェビナー開催、Copper Mountain Technologiesの新低価格4ポートVNA、フジクラの5G Sub6GHz向け漏洩同軸ケーブル、TDKのパワー半導体向けMLCCアプリケーションガイドなど(2026.07.14)
トラックバック
この記事へのトラックバック一覧です： エルデシュのDiscrepancy problem、コンピュータで13GBで証明したものをテレンス・タオとPolymathプロジェクトがもっと簡単に証明。:
« 天気で香りが変わるってどういうこと？（ボールドの新CM見て） | トップページ | NTTドコモ premium 4GのCMの最後のセーラー服の子と、住友生命 未来診断で鶴の恩返しの鶴役の子は仁村紗和 さん。 »
コメント