はがまのおこげ

気になっていた事をChat-GPTに教えてもらって、まとめてもらいました。 2026年、AIが数学史に残る成果をあげた。ミレニアム懸賞問題の一つ、「ナビエ–ストークス方程式の解の存在と滑らかさ」に対して、有限時間で特異点が生じる例を構成したのである。 ところが、同じミレニアム懸賞問題である「リーマン予想」は、AIによって研究が進展しているものの、いまだ解決されていない。 なぜだろう。 両者には、問題の性質に重要な違いがある。 ナビエ–ストークス問題には、大きく二つの攻略法があった。「解は常に滑らかである」と証明するか、逆に「滑らかでなくなる場合がある」ことを示すかである。 後者なら、条件を満たす具体例を一つ構成できればよい。 これはAIの強みと相性がいい。膨大な候補を探索し、条件を変え、使えそうな補題や数学的構造を組み合わせ、「この構成ならうまくいくのではないか」という道筋を探すことができるからだ。 たとえるなら、 「このプログラムをクラッシュさせる入力を一つ見つけよ」 という問題に近い。 一方、リーマン予想は事情が違う。 リーマン予想は、ゼータ関数の非自明な零点が「すべて」実部1/2の直線上に存在するという主張である。 もちろん、この直線から外れた零点を一つ発見すればリーマン予想は否定できる。しかし、これまで膨大な探索が行われても、そのような零点は発見されていない。 そこで予想が正しいことを示そうとすると、「調べた零点は全部そうだった」では足りない。無限に存在する零点について、なぜ必ずそうなるのかを数学的に証明しなければならない。 これは、 「このプログラムをクラッシュさせる入力を探せ」 ではなく、 「このプログラムは、どんな入力を与えても絶対にクラッシュしないことを証明せよ」 という問題に近い。 100兆通り試して一度もクラッシュしなくても、それは証明にはならない。 ここに、現在のAIにとっての難しさがある。 AIは膨大な探索空間から有望な構成や証明の道筋を発見する能力を急速に高めている。しかしリーマン予想を解くには、単に探索量を増やすだけではなく、「なぜゼータ関数の零点はそのように並ぶのか」を説明する、これまで知られていなかった数学的構造や新しい理論そのものが必要なのかもしれない。 ナビエ–ストークス問題とリーマン予想の違いは、単なる「難易度の差」ではない。 ...

FiiOのEA13、 リビングのサイドボードの上に置いたら、映えそう。 最近のオーディオアンプは、形式に関わらず性能は十分高いので、細かなスペックを云々するより、見た目が気に入ったものを選ぶのが長く愛用できる秘訣かな、と思います。 欲しいけど、Eversolo PLAYに何の不満もないので、買いません。多分(w)

最近YouTubeを見て思ったことをChat-GPTにまとめてもらいました。文章化がホント上手w 宇宙には無数の星がある。それなら高度な文明を持った宇宙人がいてもおかしくない。にもかかわらず、その痕跡が見つからない。いわゆる「フェルミのパラドックス」である。 最近、この問題について一つの空想をした。 YouTubeチャンネル「海外Yパパラジオ」で、AIを生物の進化になぞらえて考える興味深い話があった。そこで語られていたのは、AIの発達を最終的に制約するのは知能ではなく「エネルギー」ではないか、という趣旨の話だ。 地球上の生物は、基本的には太陽から継続的に供給されるエネルギーによって生きている。ところが人類は化石燃料を発見した。石炭や石油とは、いわば太古の太陽エネルギーの貯金である。人類はその貯金を猛烈な速度で取り崩すことで、わずか数百年の間に巨大な工業文明を築いた。 そして、その先にAIが登場した。 AIが高度になるほど大量の計算資源と電力を要求するとすれば、ここに文明の一つの分岐点があるのではないだろうか。 エネルギー消費を際限なく増大させる文明は、惑星の持続可能な範囲を超えて自壊する。一方、それを回避した文明は、サイエンスライター北村雄一さんが提唱する「草文明」のような方向へ進む。つまり、化石燃料による巨大な機械文明から降り、太陽、水、植物、資源循環など、その惑星が持続的に供給できるエネルギーと物質の範囲で文明を維持するのである。 だとすれば、カルダシェフ・スケールの前提そのものが逆なのかもしれない。 文明は進歩するほど巨大なエネルギーを使うのではない。 長く生き残る文明ほど、少ないエネルギーで高度な文明を維持するようになるのではないか。 そう考えると、フェルミのパラドックスに一つの答えが生まれる。 宇宙文明は存在する。しかし、AIを生み出すほど発達したところで分岐する。エネルギー消費を拡大し続けた文明は滅び、生き残った文明は「草文明」のような静かな文明になる。 だから、カルダシェフ・スケールのタイプIIやIIIのような、恒星や銀河規模のエネルギーを消費する文明が見つからない。 宇宙人がいないのではない。 長く生き残る文明ほど、宇宙から見えなくなるのかもしれない。

最近のカップルを見ると、男が短足に見えることがよくあるので、本当のところはどうか、チャッピーに聞いてみました(笑) (Q) 最近の若い男性は、昔より脚が短くなっているように感じるのですが、事実ですか？それともファッションの影響でしょうか？ (A)その感覚、 完全にファッションの錯覚というわけではなさそうです 。日本人男性については、実際に「若い世代で脚がやや短くなる傾向」を報告した研究があります。ただし、変化は大きなものではなく、服装による見え方もかなり影響しています。 2019年の日本人類学会の研究では、文科省の学校保健統計を使って17歳の日本人を長期的に分析したところ、戦後は身長が伸びてきたものの、その伸びは1990年代後半〜2000年代初めごろに頭打ちになり、その後は 座高がやや増える一方、推定される下肢長が減少する傾向 が確認されています。つまり「最近の若者ほど脚が長い」という単純な話ではなく、少なくとも男性では逆方向の変化も観察されています。 J-STAGE 別の全国人体計測データを使った研究でも、1990年代→2000年代→2014〜16年を比較すると、日本人男性は全体として「高く薄い」体型になった一方、直近では 股の高さなどが低下し、腕・脚がやや短くなる傾向 が報告されています。 J-STAGE 実はこの傾向はかなり前から指摘されていました。2002年の研究では、日本人は1970年代ごろまでは脚が長くなることで身長が伸びていましたが、 1980年代以降、とくに若い男性では身長に対する脚の長さの増加が鈍化した とされています。 J-STAGE ただし、ここで重要なのが ファッションです 。最近の男性服には、ワイドパンツ、太めのストレート、腰位置を強調しないトップス、オーバーサイズなどがあります。こうした服は腰の位置や股の位置が分かりにくくなるので、同じ体型でも脚が短く見えやすい。一方、細身のパンツ＋短めのトップス＋ハイウエスト寄りなら、かなり脚長に見えます。 ですから、 「最近の若い男性は脚が短く見える」＝ファッションだけの錯覚 とも、 「実際に大幅に短足化している」 とも言い切れません。現時点の研究を踏まえると、**「実際に下肢長比率がわずかに低下している可能性があり、それを現在のファッションがさらに強調して見せている」**くらいが妥当です。 なお、産...

裏の畑で遊んでいたのらちゃんを激写。 超ビビリなのに顔はいかつい(笑)

雨の日が続いて暑さも一段落したからか、庭に花が咲きました。 ニラ ハギ 日照りと酷暑で菊は枯れてしまったけど、逞しく咲いてくれました。

買ってよかったと思います。 駄耳の私なので音質に不満があるはずもなく、あまり直感的ではないと言われる操作性も、roonとフォノ入力だけを使っている範囲では、ほぼ不便を感じません。 購入当初は、音楽再生中にアプリを操作すると頻繁にノイズが出ていたのですが、何度かファームウエアをアップデートするうちに、ほとんどノイズは発生しなくなりました。 全体的にかなり満足しているのですが、ファームウエアのアップデータがオンラインで降ってこないのは困っています。 USBメモリーを使った手動アップデートはできるので致命的ではないのですが、ちょっとめんどうです。 ネットを調べてもファームウエアが降ってこないことがそれほど話題になっていないので、一部のロットだけで起きている問題かもしれません。 こんなことがあるのと、他社製品と比較してコスパがそれほど良いとはいえないので、人様に積極的におすすめはしませんが、自分的にはCambridge Audio CXA81からの買い替えは成功だったと思っています。

おっかなびっくり斜面を降りるのらちゃん。 草の匂いを嗅ぐのらちゃん 地面でコロコロのらちゃん。このあと土まみれで家の中へ(^^;

保護色のらちゃん^^ 最近は昼間を除いて、ほとんどの時間をデッキでゴロゴロして過ごしています。

見事な「落ち方」(笑) 最近昼間は室内で落ちていて、夜は一晩中デッキの上とかでごろごろしています。