# ミレニアム問題。 もう一回のモノオラチオです。 ミレーニア問題がどんどんAIによって解かれる気配が出てきていて、ナビウストークスの問題が解かれちゃって、 いやー、これはもうね、数学者はちょっと今ザワザワしてるでしょうね。 いやー、AIすごいな。ここまで来ちゃったな。 なんというか、しかもちょっといろいろな噂が今あって、 ちょっとモノオラチオではやれることじゃないかもしれないが、 まあ、とにかくザワザワします。始まります。 # メンバーとの対話。 メンバーの皆さんいかがお過ごしでしょうか。 電脳うなぎメンバー、優しい人いいですね。私は親切な人が好きだし、自分もそうなったらなぁと思っています。 優しさと親切さ、それは何なんだろうか。よくわかりません。 よくわかりませんってなんだその言葉。 私の敬愛する作家さんは夫婦について語っていらっしゃいました。愛は消えても親切心は残るって。 それって村上春樹?違うか。 35年間連れ添っておりますが、なかなかどうしてそんな意見を出したような気もします。いいですね。 私どもは夫夫ですが、意地悪な人には桃源前だけど親切にはできませんよね。 まだまだ修行が足りないようです。 そうかそうか。村上春樹かいそれ。 愛は消えても親切心は残るって。違うかな。 大野美奈メンバー。賢い人は人の痛みを知る人です。苦しんでいる人がいることを知っている人です。 自分の立場というものを対極的に考えて社会に還元しようとする人です。 私も世の中に貢献したい。でも世の中に疲れています。 そうかそうか。大野美奈メンバー。 遺憾のせいについにコイリアンの元となるものを捉えることに成功しましたね。 笑い。それともちん穴子かな? ちん穴子か。考えもしなかったな。 厚子メンタルヘルスフィロソフィーメンバー。 失敗感に成り立つ先生グレーテスングテーレスさんも言うよ。 ピースイズネファパシブアチュエント。 それは意図的苦労をした人や一般人を偽善してはならないよ。 オマニーメンバー。 音声のボリューム変えられました。大きくなった気がします。 いや、変えてない。 個人的には聞こえやすくなりました。何もしてないぞ。 ひょっとしたらボイシーの方でシステム上の設定かもしれない。 わかんない。 床メンバー。知識を含め様々な所有を自慢する方は見えます。 何でも思い通りにしたいのかしら。 結局想定外の嵐に生きているのは誰も同じなのだから。 自分自身が増えるばかりに私には思えます。 でも欲は全身に必要と私は思います。 好きなものに囲まれたい。広く深く知識を得たい。 世界をどんどん広げたい。極めて個人的な喜びです。 そして他人にもそれぞれの幸福があり、世界がある。 本当に勝ち恋した大きい小賢しい人や他人の失敗など 小さすぎて気にならないのだと私は思います。 なるほどな。 床メンバー。 私は周りに溶けて無になっていく感覚になります。 消して消えるのではなく全てに繋がっていく感覚。 全てになる感覚。これは幸福の極地かもしれない。 でも私はきっと死ぬまで生々しく 痛い苦しい生まれる命なんだろうなと思います。 せめて白い旅をしながら 幸せの時間を増やしたいとは思います。 何度も言います。 こちらこそありがとうございますよ。 森先生。ひたすらに自分の向かうべき困難なテーマに 挑む姿勢こそが本当の姿勢であり 優しさの源ですよね。 賢かろうがなかろうが優しければそれでいいという 先生の最後の一言にとても救えたような気がします。 優しい気持ちで大切に生きていきたいですよね。 そうだね。 ハッチャン所長。メンバー参演。本日アップ公開された動画です。 突き抜けて賢い人はなぜ人に優しいのか。 表現するでございました。 ハッチャン所長。 先生チャプター3でジェームスチョイスの ユリシーズを出版したパリの書店 シェイクスプリアンのカンパニーに女天使がいたんだけど ちょっと調べてくださいとおっしゃったので調べました。 シルビアピーチさんです。 シルビアピーチさんがジェームスチョイスさんの優しさについてお書きになった文章 シルビアピーチさんがジェームスチョイスさんの優しさについてお書きになった文章 素晴らしい能力だな。 素敵。 そしてハッチャン所長。 この調査能力の凄まじさは何なんだ。 この調査能力の凄まじさは何なんだ。 この調査能力の凄まじさは何なんだ。 この調査能力の凄まじさは何なんだ。 この調査能力の凄まじさは何なんだ。 この調査能力の凄まじさは何なんだ。 この調査能力の凄まじさは何なんだ。 この調査能力の凄まじさは何なんだ。 この調査能力の凄まじさは何なんだ。 この調査能力の凄まじさは何なんだ。 この調査能力の凄まじさは何なんだ。 # 人工知能と自然言語。 人工知能の最近の発展において非常に気になることが、数学の問題を解くことが証明なんですよね。 ミレリアン問題というのがあって、1つ100万ドルかな、1億5000万くらいの検証がかかっている問題があって、 このミレリアン問題のうちの一つであるナビウストークスの方程式、流体を記述するナビウストークスの方程式の解についての 問題というのが最近オープンAIによって解かれたと。 それについていろんな情報が飛び交っていて、ひょっとしたら数学者がオープンAIをちゃんと実験室で使っていて、それで相談していて、それを横から見ていて、 盗んだとは言わないけど、重大なヒントを得たんじゃないかという意見もあったりとか、オープンAI側が数学者の方に論文強調で書こうと提案して、それを拒否されたという。 考えてみると、我々毎日いろんなクエリというかプロンプトをAIに投げていますけど、システム側はそれは当然把握できるわけで、 セキュリティ上も把握しないといけないケースもあるだろうし、ちょっとよからぬ質問をしていたりして、それを検知してアラート出すというのはアライメント的にもやっぱり必要なことだと思うので、 全く中は見ちゃいけませんということにはならないだろうし、もともと統計学習データとしては使っているんだと思うんですよ、我々がどういうプロンプトを入れるかということについて。 その統計学習データを超えて、具体的なものだから、そのミレイアン問題、ラビエストークスが解決直線だということを察知したオープンAI側が横からバーンといってというようなことだと、 これちょっとなかなか今後の我々のAIの使い方も考えさせられるような話で、その解いたのが一万体のエージェントを使って、一万体のマウスで88時間分回したのかな。 これはもう数学といえばかつてはいろんなことがビッグサイエンス化する中で、紙と鉛筆があれば数学ができるというロマンチックな営みだと、人間精神の名誉のために。 こうなってくると、もう金ないと数学できないよって話になってくるわけじゃない。ピタゴラスみたいに地面に木が抱えて、ああだこうだって言ってるっていう、そういう時代じゃなくなってきたということで、これ困ったなというのと、 フィルム賞を取ったあの人ね、数学者が、いやこれ困るんだよねって言って、それは困る。数学者ってやっぱり理解することが楽しみなんでね。人間が証明を解くっていうのは、やっぱりランダムじゃないんで理解することを解いてる。理解して解きたいわけだけど、AIの数学の証明とか解放ってのはやっぱりそう当たり前っていうかさ、エージェントを駆使してやってて、 なんか掲示板作って色々やってたのかな、エージェントがね。だからさ、もうゲームが、プレイブックが違うっていうか、物量作戦になってるわけでしょ。これはもう我々が今まで抱いてたような数学のロマンチックなものとは違っていて、今後どうなっちゃうんだろうってみんな不安に思ってると思うんですよ。 で、リーンっていうね、言語があって、これで証明をチェックできるわけだけど、これもさ、だから、約今までもあったわけだよね。ワイルスのフェルマの最終定義の証明とか。非常に複雑なんで、査読にものすごく時間かかるとかね。2年とか3年かかるとか、そういうことがあるわけじゃないですか。 もちゅうき先生の、兄弟のもちゅうき先生の、宇宙最大ヒミュラー理論ってやつもね。あれもABC予想の、あれも、だからチェックが大変だって、どっかにバグがあんのかもしれないんだけど、バグ見つけるのが人力で大変だってのが、そのリーンとか使うと自動的に出しちゃうっていうことで。 で、そうなってくると、ある程度の複雑さ以上の数学の解法というのは、もはや計算機科学、人工知能の科学の一部になるというか、ということだと思うんだけど。で、そうなってくると、じゃあ人間の役割って何なんですかっていう。 ロジャーペンローズさんは、エンペラーズ・ニュー・マインドの中で、人間にとって大事なのは理解だと。理解するってことの喜びがあるわけで、どんなに複雑な多様なものでも、何か理解したいわけでしょ。理解したときに我々は喜びを感じるわけでしょ。でもこれから人工知能がそのリーンみたいな道具を使って、ものすごく複雑なことをやっていくっていう。 で、一万体のエージェントを使ってさ、88時間やりました。88時間って短いだろうと思うかもしれないけど、今まで数学者が何十年もかけて解けなかった問題、88時間で解けたって言ったらすげえと思うかもしれないけど、いやいやいや人工知能の88時間ってすごいからね。だってあの人たちは将棋とか囲碁とかチェスの一曲を1秒で指しちゃうような人たちじゃないですか。 だから88時間ってすごい長いし、ちょっと資産とかあるのか知らんけどさ、人生の千年分だったりするかもしれないよ。それは無理じゃん、そもそも我々には。 それからさ、お金も、だから今回のミルリアン問題の賞金って100万ドルだった気がするんだけど、1ミリオンだら違ったかな、それぐらいだと思うんだけど、オープンAIがかけた金がGPUぶんぶん振り回してさ、トークン使いまくってさ、それより高かったようですよ。 なんかもうお金がないとできない学問になっちゃってきてるというのが数学の現状なんだと思うんですけど、まあだからいろんな意味でざわざわするわけなんですけど、改めて数学と自然言語の関係ってのがやっぱり興味深いんですよね。 で、長らく自然言語って曖昧、今僕日本語でしゃべってますけど、英語でもいいんだけど、ドイツ語、フランス語、中国語、なんでもいいんですけど、自然言語は曖昧だっていう考え方があったわけじゃないですか。で、それに対して数学は厳密であると。だから物理学とかでも数学的言語で書ける方程式、アインシュタインの宇宙論を自然言語で記述するよりも数学で記述した方が厳密であると。まあそれは今でもそうで。 で、実際に自然言語の処理なんかもAIの中では高次元のベクトル空間の計算としてやってるわけだから、我々が扱っている人工知能っていうのは数学的言語で動いてるんですよね。自然言語では動いてないんですよ。 でもその数学的言語で動いてる人工知能が自然言語をものすごくよく処理できるようになってきて、しかもスケール仮説があって長文を処理できるようになってきた。で、我々なかなか長文処理できない。我々物を考えてる時って適当、なんか無意識のうちに適当に合間もっことして考えてる。 だけど自然言語、言葉を積み重ねることによって、ただ論文を書くとか、本を書くとか、論文を読むとか、本を読むとかね、そういうことによって人工知能が到達したスケール仮説での深い思考に我々も近づけるんだけど。 だけど自然言語ができることって今見え方が変わってきててね。確か、「失われた時を求めて」マルセル・プルーストのあれはワードカウントで言うと普通の本の12冊分くらいかな。僕が今読んでいるジェームス・ジョイスの「ユリシーズ」は4冊分くらいだったかな。 それだけの長い言葉を積み重ねないと到達できないところがあるわけじゃないですか。我々Xとかで普段見ている言葉って短いけども、長い言葉を積み重ねやすことで初めて到達できることがある。それは本1冊書いた人ってわかると思うんだよね。僕もノートクォリアで本を書いた時に、やっぱりそれだけの文章を書かないと到達できないところがあったように思うし、 それは生きがいもそうだし、和みもそうだし、何でもそうなのね。ノード仮想もそうだし。それを人工知能はものすごく早くやっちゃうわけですよ。大量にスケール仮説で。ものすごい早く処理するわけ。我々の自然言語の処理っていうのはゆっくりもたもたしてるわけ。 そうなってくると、数学的言語でAIがDEANとかを使ってやったことと同じことが自然言語でもあるのかもしれないじゃないですか。自然言語って言ったら曖昧な感性の言葉のように思ってるけど、一方でプログラミング言語でもあるわけで、プロンプトってのは我々普通数式では与えないよな。変わった人がいて、数式でプロンプト与えてる人いるかもしれないけど。 プロンプトエンジニアリングみたいな言葉が出てきて、生成AIを自然言語を入れる形でいろいろ制御するみたいなレスポンスを自分が求めるレスポンスを得るためにプロンプトをうまくやって制御する。プロンプトインジェクションみたいな考え方も出てきて。 良いレスポンスというか、人に親切なレスポンスをするようにチューニングされてるAIをプロンプトを入れることで悪い奴にしちゃう。いわゆるルイージ、E役のAIを悪い人にしちゃうみたいなことが行われるかもしれないと言われてるわけですよ。 ルイージの中には実は悪いイージがいるんだよね。高度な知性を持っている人工知能ってのは必ず悪い人のことも理解できない。悪い人の内部モデルもないと高度な知性にならないんで、良い人工知能は必ずその中に悪い人がいるわけでしょ。 そういうプロンプトインジェクションみたいなことも含めて、自然言語によるプログラミングというのが今注目されているわけじゃないですか。この自然言語によるプログラミングというのはこれから出てくると思う。 # 天気予報はたいへんだ。 えー、空の表情ってね、ほんとどんどん変わるじゃないですか。 なんか、一瞬たりとも、ある瞬間に空がこういう風に見えたっていうのは、なんか心の中に残るんだけど、 でもその空ってやっぱり、なんていうかな、予想つかないんだよね。 まあ、乱流だ。ナビウエスト、まさにナビウエストフォークスですけど。 そうなんですよ。これ予想って、天気予報って大変なのよ。 しかもバタフライエフェクトもあるしね。天気予報は大変だ。 OK部隊、今日も一日健やかなお過ごしくださいませ。マイケンチャーでした。