エルデシュの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ニュース 2025年7月8日 NordicとSercommのセルラーIoTモジュール、iFixitがFairphone 6を分解、スコアは10/10、RCR wireless newsのウェビナー2件(6GとIndustry4.0)、SEMCOが高耐圧C0G MLCCを車載急速充電に提案(2025.07.09)
- 高周波・RFニュース 2025年7月2日 5G Americasが6Gに向けセンシングと通信ホワイトペーパー発行、KYOCERA AVXが3dBハイブリッドカプラ発表、TDKが車載薄膜インダクタ発表、Nordicが1次電池向けPMIC発表、ローデ・シュワルツの6GとAI/ML解説記事(2025.07.02)
- 高周波・RFニュース 2025年6月30日 QualcommがAIを用いた6Rxアンテナ解説、Next G Allianceと日本のXGMFが5G,6Gで協力、5G Americasが25Q1で5G加入者増加と発表、TechInsigtsがHuawei Pura 80 Pro+分解、Qorvoが5-7GHzのWi-Fi 7 FEM発表(2025.06.30)
- 高周波・RFニュース 2025年6月27日 Qualcommが6Gに向けての3GPPリリース20解説、TDKが100V1608サイズ1μFのMLCCを発表、Skyworksが低ジッタのクロックファミリーを発表、Elisa,Ericsson,MediaTekが5G SAで8Gbpsを達成(2025.06.27)
- 高周波・RFニュース 2025年6月26日 VishayがAEC-Q200 Qualifiedの70GHzまでの薄膜抵抗発表、NordicがMemfaultを買収、中国の5G-Advanced対応が300都市に達したという報道、6Gは分断されるという予測記事(2025.06.26)
トラックバック
この記事へのトラックバック一覧です: エルデシュのDiscrepancy problem、コンピュータで13GBで証明したものをテレンス・タオとPolymathプロジェクトがもっと簡単に証明。:
« 天気で香りが変わるってどういうこと?(ボールドの新CM見て) | トップページ | NTTドコモ premium 4GのCMの最後のセーラー服の子と、住友生命 未来診断で鶴の恩返しの鶴役の子は仁村紗和 さん。 »
コメント