エルデシュの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年12月16日 Microwave Journalの特集は軍事・ドローンを使ったESM等、SEMCOがCLLCコンバータ向けMLCC発表、SpaceXとSTM(フェイズドアレイアンテナのチップ開発)の協業10年、広帯域バランを使ったバランス測定解説(2025.12.16)
- RF Weekly Digest (Gemini 3 Pro・Google AI Studio BuildによるAIで高周波・RF情報の週刊まとめアプリ） 2025/12/8-2025/12/14(2025.12.14)
- 高周波・RFニュース 2025年12月13日 5G Americasが米国の5G普及率99％と発表、ZTEが800G Metro Transport Network (MTN) 標準化主導、NordicのnRF9151モジュールがSkylo認証取得、不完全なViaの電気特性解説、QualcommがRISC-VのVentana Micro Systems買収など(2025.12.13)
- 高周波・RFニュース 2025年12月12日 iFixitが水冷スマホRedMagic 11 Proを分解、Qorvoがロボット向けの技術を紹介、SamsungとKTが6Gに向けAI-RANを実証、NordicがnRF9151向けソフトと開発キット発表、Taoglasが6G向けアンテナ設計解説など(2025.12.12)
- 高周波・RFニュース 2025年12月11日 Qualcommが6Gに向けたOBBB法解説、GSMAが欧州のスペクトラム価格についての報告、Menlo Microが防衛向けに高スタンドオフ保護ミリ波スイッチ発表、京セラとローデ＆シュワルツがCES2026でミリ波PAAMデモ、iFIxitのスマホアプリ(2025.12.11)
トラックバック
この記事へのトラックバック一覧です： エルデシュのDiscrepancy problem、コンピュータで13GBで証明したものをテレンス・タオとPolymathプロジェクトがもっと簡単に証明。:
« 天気で香りが変わるってどういうこと？（ボールドの新CM見て） | トップページ | NTTドコモ premium 4GのCMの最後のセーラー服の子と、住友生命 未来診断で鶴の恩返しの鶴役の子は仁村紗和 さん。 »
コメント