毎日、数学をやっています。抽象度の高い数学が好きで、公理的集合論や数理論理学、圏論に興味があるけど、もっと具体的で実用的な数学も好きです。AI技術と、それがもたらす社会的影響についてよく考えていますが、基本的にテクノロジー全般の最新動向に興味があります。良さげな講義動画を見つけたら、ツイートするようにしてます。

Joined January 2014
1969年の本 「最近でも、国鉄の動力車労組が、電気、ディーゼル機関車の機関助士廃止に伴う五万名の合理化問題をめぐり、また全逓労組が都内郵便局における郵便番号自動読みとり機の導入をめぐって合理化反対闘争を叫んでいます」 労働組合の話 (ビジネス新書)、p.89、米沢信二 著、ダイヤモンド社
1
1
10
1,418
生成AIに「この脆弱性を修正して」とお願いするだけで完了するまで発展を加速させなきゃいけない
10
48
2,803
AIの発展が加速してるから200年分の技術発展を数年で達成できそうだが、200年分の非難を数年で浴びながら走り抜けている
1
28
1
138
13,416
ホワイトハッカーがソフトウェアの脆弱性を発見し、クラッカーに脆弱性を突かれる前に修正を促し、さらに強固なシステムにする、ということを何度も繰り返して現在の便利なソフトウェアが成り立ってる。技術の発展とともにそのサイクルは早くなり続けてきた。生成AIを用いたアプローチもその延長である
脆弱性スキャナ「SATAN」の公開前の大論争 1995年「コンピュータツールがハッカーの仕事をはるかに容易にする可能性」 「これは、高性能のロケットランチャーを世界中に無料配布し、地元の図書館や学校で誰でも入手できるようにした上で『誰かを撃って試してみて』と人々に勧めているようなものだ」
6
16
1,811
脆弱性スキャナ「SATAN」の公開前の大論争 1995年「コンピュータツールがハッカーの仕事をはるかに容易にする可能性」 「これは、高性能のロケットランチャーを世界中に無料配布し、地元の図書館や学校で誰でも入手できるようにした上で『誰かを撃って試してみて』と人々に勧めているようなものだ」
2
4
1
11
3,051
1995年 「SATANは銃のようなものだ。そして,これは12歳の子供に銃を渡すようなものだ」 latimes.com/archives/la-xpm-…
1
1
857
機械化を非難した植字工(1830年8月20日、フランスにて)
1
1
17
2,105
はい、コンピュータはもう終わり 1992年:致命的なウイルス、明日大惨事を引き起こす見込み 『ワシントン地域全域でパニックに陥ったコンピュータ利用者たちが、「ミケランジェロ」として知られる極めて破壊的なコンピュータウイルスが明日襲来する前に、自分たちのマシンを守ろうと奔走している』
2
2
13
2,773
1992年 ミケランジェロ・ウイルスが今日、大混乱を引き起こす 『ミケランジェロは、非常に多くのヒステリーを生み出したと彼は言う』 「劇的なウイルスで、時限爆弾のようなものだからです。誰もが知っている特定の時期に、極めて派手なこと、この場合は極めて派手な破壊行為を起こすのです」
4
1,057
1999年:もっと石炭を掘れ、PCが来る 「Amazonを紹介する。アメリカのどこかで、オンラインで本が1冊注文されるたびに、一塊の石炭が燃やされてる」 「世界に与える影響は甚大」 「ウェブ上の10億台のPCは、現在(1999年)の米国の総発電容量に匹敵する電力需要を意味する」forbes.com/forbes/1999/0531/…
6
23
2,275
車が直進すると5人が死にます。曲がると1人が死にます。ブレーキも間に合いません。あなたはどうしますか? 答え:空を飛ぶ
Turns out the future does have flying cars
28
284
20
3,367
63,641
1997年にチェスでカスパロフがコンピュータに負けたとき、カスパロフ本人やメディアがどう反応したのかを調べてたんだけど、IBMによる不正疑惑を言い始めてた
2
7
1,443
モデル崩壊の論文で某界隈を喜ばせた著者、現在ではMetaのMuse Wonderを作るのに関わってたのか
16
4,923
大量にデータを集めて学習すると性能がスケールするって話は2010年以前から言われていたことかと 2007年:Large Language Models in Machine Translation aclanthology.org/D07-1090.pd…
LLMの構想自体は前からあった(初期のGPTはOSSで公開されてたし) ただ、大量にデータ集めて学習続けても過学習するだけで無駄と思われていた所に、OpenAIがスケーリング則という形でその先を示したので、皆が「そんな事できるの?」となって金をぶち込んだら再現できたというのがLLMブームの始まりと思う
6
1
38
5,106
約1ヶ月間で僕が見たモデルやツールなどをメモで再確認したら、こんな感じだった
減速済みの1ヶ月間(一部の発表) 9月13日:各社CEO「減速するべきだ」「その通り!」 9月22日:Grok 4.7 9月23日:GPT-6 Sol 9月23日:Opus 5.5 9月30日:GPT-6.1 Sol 10月1日:Gemini 4 Argonを発表 10月6日:Mistral Large 4 10月13日:Muse Wonder 10月14日:Gemini 4 Argonの提供開始
1
11
2,657
減速済みの1ヶ月間(一部の発表) 9月13日:各社CEO「減速するべきだ」「その通り!」 9月22日:Grok 4.7 9月23日:GPT-6 Sol 9月23日:Opus 5.5 9月30日:GPT-6.1 Sol 10月1日:Gemini 4 Argonを発表 10月6日:Mistral Large 4 10月13日:Muse Wonder 10月14日:Gemini 4 Argonの提供開始
2
38
8
139
19,521
少し前からアニメ映画を片っ端から見てるけど、今のところ『打ち上げ花火』以外はなかなか面白い(HELLO WORLD、夏へのトンネル、ジョゼと虎と魚たち、空の青さを知る人よ、かがみの孤城、サマーゴースト)
6
1,978
2023年1月のポスト(上のポストより少し前で、o1が発表される20ヶ月前)
4
1,011
そういえば、下のポストはGPT-4が発表される前か。ちゃんと抽象数学、物理学、論理学などでも改善してきたし、予想が当たって良かった
5
35
2,245