まどか

アンチAI驚き屋．投資でウォール街や兜町の素人投資家を打ち負かすのは簡単です．なぜなら彼・彼女らは本質的に驚き屋や人気投票家でしかないからです．猫をなでまわしたい．アイコンはAIによる生成

[まどか @a_jpy_user]

内容の薄い自己紹介
https://t.co/gbwd98MbjQ

[まどか @a_jpy_user]

あの人は実際、論文ほぼないし、トップカンファレンスもないですよ。その割には彼はメディアで「我々研究者としては…」と研究者代表のような発言をしてます。AI for Scienceなどの予算配分にも関わってます。私はあまり健全だとは思いません

[NENENENE／Y.KUNITAKE @NENENENE_ITF]

30代前半で教授（客員とか特任ではなさそう？）になってるAI研究者の人、すげーと思って業績調べてるけど一般書ばっかりで全然研究論文が出てこない...調べ方悪いかもだけど数本しか見つからず...実務家教員って感じかのかな。

[まどか @a_jpy_user]

@natsukimale @vkujira そもそも宇宙がなぜ膨張していると考えられているのかというと遠方銀河の赤方偏移があるからです。物質が収縮しているというアイデアでは、赤方偏移を説明できません

[まどか @a_jpy_user]

GPIFの運用比率の見直しのとき、なんでも政府批判したい輩が「国民の金でギャンブルするつもりか」なんてことを言ってましたね。そんな輩は将来年金を受け取るときは、2010年代の物価水準でよいということなのでしょう

[y'u @yu29132085]

年金はと��かく金がかかる。単に物価スライドだけ適用すれば大変なことになる。
20年前、まだ役所が元気だったときにマクロ経済スライドを入れ、10年前、インフレ基調に先駆けてGPIFの運用比率を見直したことが如何に素晴らしい事だったか、今から考えれば本当に国を救ったレベルよ。

[まどか @a_jpy_user]

AIの証明のなかには品質の悪いものがあるというのは事実だと思います。一方で、一部の著名な数学者の論文も非常に読みにくいものがあります。AIによる証明を批判する数学者は、同じように人間の数学者に対しても批判してきたのでしょうか？

[まどか @a_jpy_user]

今井氏は人工知能研究者を名乗る割には、こういうふわっとした根拠の薄いことを言う。

[まどか @a_jpy_user]

囲碁では、アマ高段者レベルまでは古典的��モンテカルロ木探索で到達しましたが、プロを超えるレベルになるにはご存知の通り深層学習と強化学習を組み合わせたブレークスルーが必要でした。ですから、囲碁に関してはアマ高段者レベルで停滞していた可能性もあり得たわけで、ロジックとしては甘い

[今井翔太 / Shota Imai @ImAI_Eruel]

OpenAIのミレニアム問題の解決をはじめ、数学分野におけるAIの急速な発展が話題になっているので、あらためて、AIの性能向上に関する有名な説を貼っておきます。
（囲碁、将棋の世界の方は見たことがあるかもしれない）
極めて知能が高い人間の視点では、「世界で一番賢いアリと、普通のアリ」、「世界���一番賢いチンパンジーと、普通のチンパンジー」の間に、眼に見える大きな差はありません。「アリとチンパンジー」という異なる生物種間の知能の差は大きく感じるが、同じ生物種内でどの個体が賢いかはほぼ気にしません（もちろん、その分野の学者であれば話は別）。
同じ理屈で、人間とはまったく異なる知能であるAIの視点では、「ヒト」という生物種全体の知能は問題になるが、その中で誰が賢いのか、誰が囲碁や数学が得意か、ほぼ差はないと考えられます。
したがって、AIの性能発展においては、「一般的な人間と同程度」になることが重要なのであり、そこから「AIの視点では大した差がない」人間のトップに追いつくまでの時間は極めて短い可能性が高いのではないか・・・ということです。
実際にはこれに当てはまらない分野もあるとは思いますが、歴史的には象徴な事例がいくつもあり、例えば、囲碁ではアマチュア初段レベルになったのが2009年であり、AI���究開始から53年かかりましたが、世界トップのイ・セドルへの勝利は2016年であり、アマ到達から7年でした。

数学については、将棋や囲碁などのゲームと共通する性質がいくつもあり（���証可能性、コンピュータ内部での完結性、コンピュータ内での検証時間など）、多くの問題は、囲碁将棋と同じパターン（つまり、この図の現象）になるのではないかと思っています。

[まどか @a_jpy_user]

だからこそ、既存技術の着実な発展は企業に任せて、アカデミアは「夢の技術」の種を作るという分業が適切だと思います。まあアカデミアの予算獲得のための誇大広告が見受けられるというのは同意します。それは予算配分制度が歪んでいることが根本的な原因なのですが。

[もふ社長@もふもふ��動産もふ @mofmof_investor]

まともに考えて、TSMCとかNVIDIAとか数十兆円も投資してる半導体企業より先に単なる大学の研究室の技術が優れてるとかってありえないんですよね…。そんなに甘い世界ではないという…

[まどか @a_jpy_user]

心配ありません．なぜなら機関投資家や大半の個人投資家は数学の未解決問題やAIによる問題解決に真剣に向き合ったことがないため，その価値を十分にわかっていないのだけなのです．

[パタ | 20代資産5,000万 @pataQKV]

こんなに分かりやすい相場はない。
AIは確実に伸びる。
最近では仕事にも必須だし、数学の未解決問題を解けるようにもなってきた。
あとは、AI半導体に投資しておくだけ。
これだけで20代で1,500万円失いました。

[まどか @a_jpy_user]

松尾研や今井氏が政治・政策決定に入り込みすぎて，日本のAI政策が偏った方向に行っていると思います．

[まどか @a_jpy_user]

なぜ松尾研究室があんなにもてはやされているのか理解できない．研究というよりも商業主義的側面が強すぎる

[まどか @a_jpy_user]

ブール代数かハイティング代数の連続値意味論を使って論理回路を微分しているという感じでしょうか

[手羽先｜国産LLMを作る人 @Tebasaki_lab]

なんでも微分しようとした結果、離散値で微分できないと勘違いされている論理ゲートを微分しまくり、ついには2026年度未踏IT人材発掘・育成事業に採択されて微分可能論理ゲートNN用のMLライブラリを開発する��とになりました。

みんなも微分しよう。無限大に発散しよう。

[まどか @a_jpy_user]

JAXの立ち位置ってなんか微妙ですよね．変にPythonに構文を似せたせいで差別化できていない気がします．

[まどか @a_jpy_user]

BTOに着目するとはマニアックな

[まどか @a_jpy_user]

Mythos / Fable 5 が自由に使えないのは世界にとって損失だし，米国にとっても長期的に見れば損失だと思います．なぜなら先端モデルを米国で開発してもその労力に見合った対価を受け取れるかが不透明になるからです．そうなれば企業は先端モデルをカナダ・日本・英国で開発するようになるでしょう

[まどか @a_jpy_user]

マイクロンとAppleの関係が話題ですね．Appleの戦略家気取りの痛い担当者が部品メーカーを締め上げる交渉術ももう過去のものですね．

[まどか @a_jpy_user]

���導体株のバーゲンセールがやってきていますね．買うしかない

[まどか @a_jpy_user]

Micronを600万円ほど仕込んでいたのですが，正解でした．メモリはもはや中期で需要が変動するようなものではなく，長期で必要とされる中核部品になっています

[まどか @a_jpy_user]

総資産が5600万円になっていました．保有していたNVIDIA株のうち10%ほどを売却し，半導体セクターの他の銘柄（Micron, Seagate, フジクラ）など��再配分しました．直後にフジクラがストップ高になり幸運でした．

[まどか @a_jpy_user]

AIの波に人々が立ち向かう唯一の方法はコミュニティを形成することです．コミュニティの意思で物事を決定し，協調することが重要です．

[まどか @a_jpy_user]

おそらく，OpenAI内部では大量の（気付けば解けるというくらいのレベルの）数学の未解決問題が解かれていると思います．そしてそれらを秘密の学習データとして隠し持っているはずです．

[まどか @a_jpy_user]

KOKUSAI ELECTRICとTOWAを取得しました．

[まどか @a_jpy_user]

最近，CodexでLeanによる証明をやらせています．GPT-5.4からGPT-5.5にうつるときに格段に証明能力が上がったと思います．おそらくLeanに特化した強化学習が行われていると思います．