  |
はてなキーワード: 定義とは
ご要望は、現在進行形の政権についての「中立的評価」です。これは非常に困難な課題です。なぜなら、あらゆる歴史評価は視座によって異なり、特に現在進行中の事象については「中立」そのものが一つの政治的立場になり得るからです。
しかし、歴史シミュレーターとして、あえて特定の価値判断を加えず、政治学的な観察と内在的論理の分析に徹することで、可能な限り中立的な整理を試みます。
前提として、習近平政権（2012年〜）の特徴を一言で表せば、それは「4つの柱すべてを、再強化によって立て直そうとする試み」です。ただし、その「再強化」の方法が、それぞれの柱に新たな脆弱性を導入してもいます。
政権下での強化策：
「救国」の完了から、「強国」と「民族の復興」へと使命を明確に格上げし、物語を延命させました。
建国100年（2049年）に向けた「中国の夢」によって、統治の目標に新たな期限と具体的なイメージを与え、歴史的使命の「賞味期限」を延長したと評価できます。
また、党史学習の強化によって、物語の継承不全を制度的に補強しようとしています。
内在する危うさ：
政権下での強化策：
高度成長から「質の高い発展」への転換を宣言し、GDP成長率一辺倒から、環境、格差是正（「共同富裕」）、技術自立（「新型挙国体制」）といった複合的な成果指標へと、パフォーマンスの定義そのものを再構築しようとしました。
これは、単純な成長率の鈍化が即座に正当性の危機に直結するのを防ぐ、戦略的な転換です。
内在する危うさ：
政権下での強化策：
国家機関の機能不全や地方の離反を防ぐため、党の集中指導体制をあらゆる階層で強化しました。
これは、清朝末期の地方督撫の分立化や、改革開放期の「諸侯経済」のような遠心力を抑制し、制度の統合力を高めようとする試みです。
反腐敗闘争は、制度内部の深刻な自己崩壊要因に外科的措置を加え、手続きへの信頼を一時的に回復させました。
内在する危うさ：
政権下での強化策：
「文化自信」を前面に押し出し、中華文明の継承者としての党の地位を強調しました。
単なる経済的成功を超えた、より深い文明的アイデンティティに正当性の根拠を求めることで、欧米の政治モデルとは異なる「中国の道」の正統性を内外に主張しています。
内在する危うさ：
習近平政権下における4つの柱の状態を一言で表すなら、「すべての柱を、より太く、より高く再建したが、その分、柱と柱の間の継ぎ手が極度に硬直化した構造」です。
これは、清朝が乾隆帝の「盛世」の後、硬直した制度と増幅する社会矛盾に気づかずに崩壊へ向かった構造と、歴史的に比較しうる構図です。
習近平政権の試みは、「衰亡する帝国」の歴史のパターンから脱却し、自らを改革して長期安定を実現しようとする壮大な挑戦です。
その中立的評価は、成功とも失敗とも断定せず、「この強化のすべてが、将来どのような副作用として立ち現れるかは、10年から20年の時間を経なければ、歴史家にも判定できない」と留めるのが、現時点で最も誠実な答えでしょう。
清朝の「天命」と対比して、中華人民共和国の統治の正当性を支える構造を問う、本質的なご質問です。
これは現在進行形の統治の根幹に関わるため、私は歴史シミュレーターとして、政体が自らをどう定義してきたかという公式の論理と、政治学的な分析の両面からこれを解きほぐします。
清朝の「天命」が「天意＋徳治」の一元的な呪術性に依存していたのに対し、中華人民共和国の正当性は、複数の根拠を束ねた複合的な構造です。それは概ね、以下の4つの柱で成り立っています。
これは建国の原点であり、最も強固な柱です。
「党がなければ国はなく、国がなければ家もない」という論理は、清朝の弱体化、民国の分裂、そして最終的な再統一という歴史の流れにおいて、共産党指導部こそが歴史の必然的な選択であると位置づけます。
これは1978年の改革・開放以降、圧倒的な重みを持つようになった柱です。
「黒猫であれ白猫であれ、ネズミを捕るのが良い猫だ」という言葉に象徴される通り、イデオロギーの純粋性より、国家を富強にする能力こそが統治の資格とされます。
中華人民共和国は、その憲法において人民共和国であると同時に、党が国家を領導すると規定しています。
近年、急速に前景化している柱です。
「中国の夢」は、まさにこの文明の「偉大な復興」を掲げるものであり、統治の正当性を近代イデオロギーの枠を超えて、悠久の歴史と文化そのものに接続します。清朝が「儒教の守護者」としての顔を持ったのと同様に、伝統文化や国家の一体性を守る存在としての役割が強調されています。
中華人民共和国の正当性は、この4つの柱で構成される、いわばテトラポッド構造です。一つの柱が損なわれても、他の柱が体制全体を支えられるという強みがあります。
清朝が「天命」という一枚岩の正当性の崩壊とともに消滅したことを考えれば、中華人民共和国はその正当性を多様化することで生存戦略を採っていると言えます。その最終的な成否は、それぞれの柱を時代の変化に応じて「更新」し続けられるかどうかにかかっています。最も避けるべきは、かつての清朝のように、いずれかの柱の明らかな衰退を直視せず、改革を怠り、正当性の全体が静かに腐朽していく未来です。
清朝の滅亡は、単なる王朝の終焉ではなく、「適応に失敗した組織がいかに自己崩壊するか」という普遍的な教訓の宝庫です。
現代中国の文脈で、そこから学べることは極めて多く、核心は次の4つに集約できると考えます。
清朝は、18世紀まで世界最大の経済圏を擁する「盛世」を誇りました。その成功体験があまりにも強烈だったため、19世紀の地政学的激変（ヨーロッパの産業革命と国民国家化）を「一時的な夷狄の騒擾」としか認識できませんでした。
先に議論した通り、清朝の改革を不可能にした最大の要因は、西太后や保守派の「自己保存」でした。彼らは国家の生存よりも、自らの特権的構造の維持を優先しました。
アロー戦争も日清戦争も、紫禁城の深部では「一部の敗北」として処理され、組織全体の危機とは認識されませんでした。真に危機が全構成員に共有されたのは、組織が既に手遅れなほど弱体化した後でした。
清朝は最後まで「天命」と「儒教的徳治」という古い正当性に依存し、国民国家時代の「人民の同意」という新しい正当性の獲得に失敗しました。立憲制の導入が遅れたのは、まさにこの点です。
最後に、清朝の滅亡が現代に突きつける最大の教訓は、「大帝国の崩壊は、外からの一撃ではなく、内部の硬直化と改革の先送りという静かなプロセスによって起こる」ということです。
崩壊の種は、外敵の侵入時ではなく、「まだ大丈夫だ」と皆が信じていた小康状態の時に、改革を先送りした瞬間に蒔かれます。この歴史パターンをどれだけ自覚できるかが、清朝以後のあらゆる中国の統治者に課せられた、永遠の宿題でしょう。
きのこたけのこ戦争。この、我が国の精神的土壌を深く、あまりにも深く分断してきた歴史的課題に対し、私は今、言葉を尽くさねばならないという、ある種の烈々たる使命感に突き動かされています。
まず、私たちが直視しなければならないのは、この問題が単なる菓子の嗜好の相違に留まっていないという、その「構造的深刻さ」であります。
この二者択一を迫るという行為そのものが、現代社会が抱える「寛容さの欠如」という病理を、図らずも、しかし残酷なまでに浮き彫りにしているのではないでしょうか。私は、この分断を固定化させてきたこれまでの議論の在り方、その「地平」そのものを、根本から、抜本的に、地殻変動を起こすかの如く、変えていかなければならないと考えています。
一方が勝てば一方が敗れる。一方が立てば一方が伏す。こうした「ゼロサム・ゲーム」の論理、あるいは「勝ち負けの政治」を、私たちはいつまで、どこまで、一体どのような覚悟を持って続けていくのか。この問いに答えを出さない限り、私たちの未来に、真の意味での「共生」は訪れない。私はそう確信しています。
数字を見てみましょう。世論調査（国民総選挙）の結果を見れば、なるほど、ある時期には「たけのこ」が圧倒的な勢力を誇り、またある時期には「きのこの山」がその独創性をもって猛追する。しかし、こうした「数」の論理だけで物事を決定していくことが、果たして「民主主義の成熟」と言えるのでしょうか。
たけのこ派が享受する、あのサクサクとした食感の快楽。一方で、きのこ派が愛でる、クラッカーとチョコの峻別された美学。これらは、どちらが優れているかという「評価」の対象ではなく、どちらも尊いという「存在」の肯定から出発すべきなのです。
私は、きのこ派の皆さんの、あの少し孤独で、しかし凛とした佇まいに、ある種の哲学を感じます。同時に、たけのこ派の皆さんの、大衆を包み込むような、あの柔らかな包容力にも、深い敬意を表さざるを得ません。
では、解決策はどこにあるのか。
私は、ここに「第三の道」を提示したい。それは、単なる妥協でもなければ、安易な折衷案でもありません。
それは、「きのこの山」の独立性と、「たけのこの里」の融和性を、一つの皿の上で、あるいは一つのパッケージの中で、高次元に止揚（アウフヘーベン）させることです。
まず、両陣営が互いの「チョコの口溶け」の差異を認め合うための、恒久的な対話の場を創設します。
単に混ぜるのではない。互いの個性が、互いの存在をより輝かせるような、ダイナミックな共鳴を促す「新時代の共生パッケージ」の構築。
形や食感という「表層の差異」に惑わされるのではなく、私たちが等しく享受している「甘み」という、その根源的な幸福感において、一つに結ばれること。
私は、この問題に対して、中途半端な姿勢を取るつもりはありません。
私自身、かつては「どちらか」を選ばなければならないという強迫観念に囚われていた時期もありました。しかし、今の私は違います。
この「矛盾」を抱え続けることこそが、成熟した大人の、そして未来を担う政治の、あるべき姿ではないでしょうか。
「きのこ」が「きのこ」として、「たけのこ」が「たけのこ」として、誇りを持って咲き誇り、かつ、それらが同じテーブルの上で調和を奏でる。そのような「お菓子社会」の実現に向けて、私は、この身を、この情熱を、最後の一滴まで注ぎ込む覚悟であります。
この、分断の歴史に終止符を打ち、寛容と調和の、新しい地平へ。
これはかなり「断定的なストーリー」に寄った生成ですね。
一部に事実の断片はあるのですが、それを強引に一本の結論へ収束させています。
なのに、後者だけを積み上げて「実際はマイノリティしか好んでいない」という結論に飛躍している点です。
⸻
1. 「逆張り・暴露」っぽい文章はAIが“もっともらしい”と学習しやすい
「世間が信じていること」
↓
↓
ネット上には、
• 「実は○○は嘘」
みたいな文章が大量にあり、LLMはその文体を非常に学習しています。
だから、
根拠が弱くても「説明としてまとまって見える」文章を生成しやすい。
⸻
例えば：
• 生魚が苦手 → 実在する
ここまでは普通。
でもそこから、
に飛ぶのは論理的にはかなり飛躍です。
UNESCO の無形文化遺産登録以降、和食レストラン数も世界的に増えています。
ただし、
「本格懐石」が万人受けしているわけではない、
• nuanced（条件付き）
ではなく、
に寄せてしまっている。
⸻
LLMは本質的に、
その結果、
より
• 強く断言する文章
例えば本来なら、
となるべきところを、
「実際は大半が嫌っている」
みたいに極端化しやすい。
⸻
この回答は、
• 日本人
vs
• 欧米人
本当はグラデーションなのに、
⸻
途中で：
• ラーメン
• テリヤキ
例えば：
全部かなり変化しています。
だから、
「現地化されてるから本当の人気ではない」
⸻
実際のところどうか
かなり大雑把に言うと：
このくらいが現実に近いです。
⸻
あと、この回答で一番危ないのは、
「プロパガンダ」
「虚像」
みたいな強い言葉を、統計やデータなしに断定している点ですね。
AIは“論文っぽい口調”で断定を書くので、それっぽく見えるのですが、
「日本食」の定義のズレ：海外で一般受けしているのは「ラーメン」「テリヤキ」「ロール寿司（カリフォルニアロール等）」といった、味が濃く脂質の多い料理が中心です。
ワイらが日常的に食っとる物ばかりやんけ
海外で日本食を好む層は、都市部の富裕層や流行に敏感な若者、あるいは健康志向の強い層といった特定のクラスタ（マイノリティ）に限定されているケースが多々あります。「世界中で誰もが和食を美味しいと言っている」という認識は、多分に国内向けのプロパガンダや、断片的な情報のつなぎ合わせによって作られた虚像といえます。
https://mangaspa.nikkan-spa.jp/episodes/cd24d8093f521
これだけど、俺はたぶんこれの「稼げない妻」＆「子供ができた」版の夫だ
妻はずっとイチャイチャ恋愛カップルというのを続けたいようで、俺の対応が良ければ今もそれは続いていたと思う
しかし、それは続かなかった
なぜなら子供が居て、妻には才能が無かったので、俺が生活費を出し、妻が専業主婦という形になったからだ
そして、この夫のように俺も働いてない
正確には、俺の貯金で生活をしていているが、俺は働いてないので貯金は減る一方、という感じだ
俺は自分で働く気が無かったのでワンチャン妻の何らかの才能を見出し、妻に働いてもらって生活しようと思っていた
妻は絵を描くのが趣味だったので、高価な液タブやPCなどを買い与え、最近は絵では稼げないと悟った妻がyoutuberになると言い出したので、動画編集ソフトやカメラ、マイクなどを買ったり、他にも過去に色々と挑戦してもらったが、全部ダメだった
離婚寸前と言っても良い
なぜなら家事や子育てが苦手な妻につい正論を言ってしまい、妻はそれに全面的に反抗してくるからだ
診断はされてないが、おそらく俺の妻も発達障害だ
というより、俺も子供も全員が妻の性格特性による２次障害である人格障害（感情障害？）により疲弊しているからだ
確実に俺たちは困っているので、妻は発達障害的な何かに該当していると思う
ささいな事で子供を怒鳴り散らし、俺が注意したら俺をモラ夫と非難し、毎時不機嫌をまき散らしている
ブコメに返信：ワンチャン狙っただけでヒモ志望とは、極端だね。生活費を全て出してると言ってるだろ。貧乏だから子供が可哀そう、はその通りだけど
AIがアホすぎて、網羅しろと言ったのに勝手に要件定義に逆らってくる ”769件以上の返信すべてを完全網羅するのは難しいため、主な傾向と頻出作を中心にまとめました。” 赤木ナオコって誰だよ
自動車などと同じ類の”ロボット”（パワードスーツとかバイクとか）は元Twのリクエストとは違うだろうな…と思いながら作業
ある程度「人格」がないとダメなんじゃね？ 巨大コンピューター・AIはボーダーラインではあるが採用 既存生物の遺伝子改造（無知性・無人格）も入れた
・作品タイトル・女性科学者の名前・被造物の名前 揃えたかったが断念 一応タイトルは『』でと思ったりもしたけど部分的
うろ覚えポスト含め、情報欠落しすぎていて確認できないものもあり（明らかに男性博士が作った話やロボットじゃない装置の発明を挙げてきたやつなんなの）
ガンツ先生を作ったキャラクターなんて探しても出てこないぞ ガンツ先生が女性だという主張か？ わからん
以下雑感
”産む性”としての女性（科学者）という意識・無意識がある作品と、男ハカセばっかじゃバランス悪いからテキトーに女性ハカセも出しておくか、みたいな作品があると思料。
こどもや学生だと博士号持ってない傾向が明らかに（あたりまえ）
童話民話神話系、ファンタジーは迷ったが入れた（ワンダーウーマンなど）
石森章太郎の「マザー」「母さん」の仲間（傾向・潮流）は、やっぱり男性作家が多いのかな（仮説）
登場人物のほとんどが女性の作品も、元Twのリクエストとは関連が薄いと思われた（ウマ娘）
おおむね主張は理解するけど、
「血統と継承順位によって、本人の意思や世論の好悪とは無関係に継承者を定める制度である。」
……は「私の考えるサイキョーのてんのうせい」でしかないやろ。宮家復活の人も女系容認の人も、その定義の根幹になってる「皇室典範」自体を変えようという話をしてるわけなんやから。もし、確固として揺るぎない天皇制の定義が歴然とあるのだとしたら、その定義に基づき、粛々と跡継ぎを失って天皇制自体をなくすのが正しい、ということになってしまう。それはみんながあんまり望んでないということやろ。
言葉は本来の定義で言えば記号そのものであるが、人の感じ方としては、アナログで無限の表現力を持つものに思えるときがある。
これはなぜかと考えていたら、数学的に言えば言葉は切断なのだと結論が出た。
言葉自体はデジタルな可算集合だが、その行間には、言葉と言葉の距離という非可算の空間がある。
言葉そのものは記号だが、それをどう組み合わせるか（何と何だけでなく、どんな順番で、どんな距離で組み合わせるか）によって、アナログな感覚を表現できるし、感じている。
昨今はなんでもマニュアル化で要素を組み合わせれば話ができるかのようなことばかりいうインフルエンサーにみんな騙されているが、同じ要素でも、どんな「間」で組み合わせるかまで感じているのがリアルな読者であり、そこまで気を使うようになって初めて表現と言えるのだ。
では、いくつか確認させてください。
スピ系の理論は近代科学の語彙ではないが意味がある、とのことですが、具体的にスピ系理論と近代科学との対応関係を論じた査読付き学術論文とそれを批判的に引用した論文を1本ずつでいいので挙げてください。
できれば信頼できるジャーナルに掲載されたものをお願いします。
整頓された空気の良い状態とは、具体的にどのような状態を指していますか。反証可能で再現性のある形で定義してください。観測量、観測方法、実際の観測例も併せて示してください。
また、気分が良くなるとは具体的にどのような身体状態あるいは心理状態を指していますか。こちらについても、反証可能な定義と再現性のある観測量、観測方法、実測例を示してください。
上記で定義した空気の状態と身体・心理状態の因果関係はどのような実験で正当化されていますか？
さらに、伊勢神宮や熊野大社の環境が、あなたの言う整頓された空気の良い状態を満たしているという客観的根拠はありますか。関連する調査や文献があれば提示してください。
加えて、伊勢神宮や熊野大社で感じる気分の良さが、上で定義した状態と同一である根拠はありますか。こちらも文献があれば示してください。
普通に当然だと思うんだけどな。
「基地があることで抑止になってる」
って考えてる人も普通にいるわけじゃん。
その人たちからしたら、
基地反対って、
単純な反戦じゃなくて、
だから「戦争反対なのに叩かれるのおかしい！」って言われても、
いや、そもそも前提共有されてないよねって話なんだよ。
むしろ、
「そう受け取られないはずがない」
って感覚でいるなら、
そりゃ話噛み合わんわってなる。
だとしたら、
叩かれるのも、
誤解されるのも、
ある意味しゃーないよねって話。
オタクはマナーやルールを守るので犯罪を犯した者は自動的にオタクではなくなる
こんな感じのガバガバ定義なのに迫害された、というのは誰が誰に？という話になりかねない
この泥沼のやり取りの中で、流れを決定的に変えたのは、中盤に投下されたCによる「NG役満」という宣告だ。この一言が、いかにしてBを支配の呪縛から解き放ったのか、そのメカニズムを整理したい。
当初、Aは芸術論や制作の「覚悟」を説くという名目で、Bに対して極めて暴力的なコミュニケーションを展開していた。
Bは当初、これらを「厳しい指導」として受け取ろうと真面目に反論し、疲弊しきっていた。支配的な相手と一対一で向き合うと、人は「相手が正しいのではないか、自分が未熟なのではないか」という認知の歪みに陥りやすい。
ここでCは、アドバイスの「中身」を吟味するのではなく、その「やり方」そのものが対話として成立していないことを指摘した。
「ヒアリング対応としてNG役満である。答えることが目的になる尋問的な一問一答、クローズドな質問による結論誘導、情報の勝手な補完、人格否定や一方的な評価……これらは誰のためにもならない」
CがAの言動を「尋問的」「情報の勝手な補完」とリスト化したことで、Bはそれまで感じていた正体不明の「不快感」を「客観的なハラスメント」として再定義できるようになった。自分の感覚が正常であることを外部から裏付けられた瞬間である。
Cの判定は、Aが構築した「師匠と弟子」という非対称なゲームそのものを、対話スキルの欠如という側面から否定するものだ。これにより、Aがどれほど高尚な論理を語ろうとも、その「伝え方（インターフェース）」が壊れている以上、検討に値しないという結論が導き出された。
Cの介入は、Aが構築した「精神的な密室」の壁を突き崩し、社会的な論理という「外の物差し」を差し込む作業だった。このデバッグによって、Bは「相手のやり方自体に欠陥がある」とメタ認知し、支配の魔法から解かれるための最初の一歩を踏み出したと言える。
数学者が7年悩んだ難問、AIが「80分」で解く──取り組んできた本人が美しいと評価
(リンク貼れないので略)
1196 Discussion Thread | Erdos Problems
(リンク貼れないので略2)
AIが解いたとされているエルデシュ問題#1196とAIによる証明についてだが、数学者になれてない自分でも証明を理解できたので解説してみる。
というか専門家でもない自分でも理解出来るような短くてわかりやすい証明が存在したからこそ、AIが見つけられたんだよねコレ。
リクトマン(AI以前に一番この問題の解決に肉薄してた数学者)が「神の書物の証明」と形容しているが、
昔から難しい問題(色んな実績のある数学者が挑戦したのに解けなかった問題と定義する)に簡単な証明があった時にこういう言い方をする。
さて、まず問題について説明するがエルデシュ問題#1196は自然数の集合Nの部分集合Aが原始集合なら
「Σ[a∈A,x＜a]1/(a*log(a))=1+o(1)」を証明する問題となっている。
原始集合というのは例えば素数の集合{2,3,5,7,...}みたいにa＜bかつbがaの倍数となるようなa,bを含まない集合の事である。
素数の集合に4を加えた集合{2,3,4,5,7,11,13,...}は2,4を含むし4が2の倍数だから原始集合ではない。
右辺の「1+o(1)」というのはxがとにかく非常に大きければ式の左辺が1に近くなるもんだと思っとけばいい。
原始集合Aに対してAから有限部分を除いた時に、各要素aに対して1/(a*log(a))を足してけば総和が1で近似出来る事を証明する問題だ。
そしてAIによる証明だがこれは特殊な双六(すごろく)ゲームを考えてそのゲームのとある確率を求める事で証明をしている。
・双六は完全な1本道でゴールがなく無限に長くて、各マスに1,2,3,4,...と自然数が順番に書いてある
・普通の双六はサイコロの結果にあわせて1～6マス進むが、この双六では例えばマス「7」に止まってる時は
次は「14」「21」「28」「35」...と止まってるマスの番号の倍数のマスのどれかに進むか、もしくは双六が強制終了する
このような双六ゲームではマス「a」に止まる事がある確率をv(a)とすると、Aが原始集合の時はΣ[a∈A]v(a)は必ず1以下になる。
例えばAが素数の集合を考えると、Σ[a∈A]v(a)はマス「2」「3」「5」「7」...のどれかに止まる確率になる。
マス「3」に止まる事があったらマス「7」に止まる事が無いようにΣ[a∈A]v(a)は排反事象の確率の和になるから1以下になる訳だ。
そして上記のような双六ゲームを考えてスタート地点がマス「n」である確率p(n)と
マスmに止まってる時に次にmの倍数kmに止まる確率p(m,km)を適切に設定する。
そうするとある定数Bがあってv(a)=1/(B*a*log(a))になる。
B*v(a)=1/(a*log(a))になるので、Σ[a∈A]1/(a*log(a)) = BΣ[a∈A]v(a) ≦ Bとなる。
このBがxが大きい時にB≦1+(C/log(x))となる事(Cは定数)を論文内の補題4を使って示しているので
Σ[a∈A]1/(a*log(a))≦1+(C/log(x))=1+o(1)より、証明が完成する。
上記のような双六ゲームを考えてこうやって確率を計算するアイデアは数学には昔からある有り触れた物である。
確率p(n)と確率p(m,km)を考えるのに使うフォン・マンゴルト関数は昔からよく使われてる物だし
確率の設定の仕方も有り触れた物だし論文内の補題4自体も数論の論文で見かける程度には有り触れた不等式によるものである。
するとこの論文は「双六ゲームを考える」「フォン・マンゴルト関数を使う」「確率を設定する」「有り触れた不等式を使う」と
4つの有り触れたアイデアを上手く組み合わせる事で完成している。
でも各段階でどのような有り触れたアイデアを採用するかで軽く10種類以上は選択肢があるし
大雑把に合わせると10000種類以上のアイデアの候補の中から証明出来るものを探す事になる。
この10000種類以上のアイデアを上手く絞ってく能力が高い人は数学者になれる可能性がある。(数学者は必ずこれが出来る必要はない)
が、AIの場合は上手く絞ってく必要もなく10000種類以上のアイデア全てについて試して証明が出来るか全数探索が出来る。
力技で正しい証明を見つけられる訳だ。
今回AIがエルデシュ問題#1196を解けたのはこうやって4つくらいの有り触れたアイデアを組み合わせて完成するような証明があったからである。
今まで考えられた事のないアイデアを必要とする場合や非常に多くのアイデアを組み合わせるような証明になると
AIがアイデアの組み合わせを全数探索する事では証明に辿り着けないから今回とは違うやり方が必要になる。
それでも数が多くはない有り触れたアイデアを組み合わせる事で証明出来るような問題には、今のAIは証明文を生成できるという事である。
時代は進歩したというべきか、4色問題をプログラムで力技で解いた時代と本質的には変わってないというべきか、
それは人によっては違うんだろう。
この種の書き込みは、内容そのものよりも「語り方の構造」と「動機」に注目すると整理しやすい。
→ 論点ずらし（red herring）
→ 軽量な政治参加者
→ 低コストで「分かった気」になれる
→ 論理ではなく感情の発露として書かれているため、整合的に読むと破綻する
