小猫遊りょう（たかにゃし・りょう）

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

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

別の世界線

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

@PessimistsArc 様々な記事を読んで特にゾッとしたのは、下の記事の日付です。1929年10月22日と書かれていました。暗黒の木曜日は1929年10月24日ですよね？つまり、この記事の2日後です。これはどう考えたらいいでしょうか？↓
https://t.co/5iK5F4Zoc7

[Pessimists Archive @PessimistsArc]

"While Thomas A. Edison, Inventor of the original form of "canned music" was being hailed by the world for another of his ideas today, 140,000 professional musicians launched a desperate national attack against mechanical music in theaters." (1929)

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

モデル崩壊シリーズ

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

「そして、この残虐行為に満足せず、彼らはベーコンの塊を持ち去り、子供服や2足の靴、その他の物品を盗んで持ち去った。
略奪に躍起になるあまり、彼らは『Nicholson, London』という名が刻まれたピストルを置き忘れていったようである。」

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

1816年、ラッダイト運動のときの新聞記事

「そして、我々は非常に恐れている。どのような口実があろうとも、ラッダイト派（あるいは少なくともその名を名乗る者たちの一部）の目的は、今や組織的な略奪にあるのではないかと。先週土曜日の夜、約20名の武装した男たちの一団が……織機4台を破壊した」

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

Claude Opus 4.8 がきた

一般人がアクセス可能なモデルの性能も上がり続けていて、今後数週間でMythosクラスのモデルを提供できる予定とのこと

ちなみに、Mythosのスコアは
SWE-bench Pro：77.8%
HLE：56.8%（ツール使用あり：64.7%）

[Claude @claudeai]

Introducing Claude Opus 4.8: it builds on Opus 4.7 with sharper judgment, more honesty about its own progress, and the ability to work independently for longer than its predecessors.

Available today at the same price.

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

マーク・アンドリーセン氏にフォローされてた

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

内側の円は「バレた男」「見抜けたAIイラスト」で、「胸を見てると判定された男」「AI製だと判定されたイラスト」のことではない。「バレた男」は「胸を見てると判定され、実際にその判定が正しい事例」を表し、「見抜けたAIイラスト」は「AIイラストだと判定され、実際にその判定が正しい事例」を表す

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

見ればわかるシリーズ

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

@kouichiat それに関しては、その2コマ漫画のテーマからはズレるので、別の漫画（例えば、真陽性、偽陽性、偽陰性、真陰性の違いを解説したマンガなど）で説明すればよいかな、と。

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

1.5兆パラメータのGrokの基盤モデル（V9-Medium）の学習が完了とのこと

[Elon Musk @elonmusk]

Grok foundation model V9-Medium (1.5T) has finished training. Evals look good. A lot of Cursor data was added in supplementary training and there is more to come.

Fine-tuning is underway and reinforcement learning begins in a few days. 2 to 3 weeks to public release.

This will be a major improvement over the 0.5T v8-small that currently serves all Grok production traffic, especially for difficult coding tasks.

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

当時のVHSへの非難の例

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

無断録画

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

漫画の元ネタ
1981年のニューヨークタイムズの記事
https://t.co/LctcFP3hMI

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

芸術家たちの抗議声明（1880年代）

①芸術と歴史を脅かす

②機械屋の奇妙で商業的な空想

③産業による文化破壊行為

④バベルの塔だ

⑤無用で奇怪

⑥芸術的遺産の全てを冒涜

⑦取り返しがつかないほど自らを醜くする

⑧鉄製の巨大なエッフェル塔が、釘を使用した全ての物を機能不全にしてしまう

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

エッフェル塔の歴史

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

o1登場前のポスト

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

@AIcia_Solid 僕も本質的にLLMが数学研究の中で使われるときがくると思いますね。

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

2024年9月13日にo1が登場して，推論モデルの流れが本格化した。2025年7月19日には，国際数学オリンピックで金メダル水準に到達した。そして、現在では、様々な未解決問題が解け始めた

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

最近、テスト時の計算を増やすことで「遅い思考（システム2）」の領域でも性能がスケールしていく実験結果が続々と報告されてきている。今後、言語モデルに数分〜数ヶ月ぐらい考え続けてもらうことで、数学や科学の未解決問題のような困難で有益な問題でも改善の余地がある

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

昔見た限界説（機械学習は確率・統計だから〜はできない編）

流暢な文章は生成できない

囲碁でプロ棋士に勝つのは不可能

偏差値57が限界

偏差値65が限界

東大合格は無理

数学で満点は無理

数学オリンピックで金メダル水準は無理

未解決問題は解けない

重要な未解決問題は解けない

[小猫遊りょう（たかにゃし・りょう） @jaguring1]

フィールズ賞受賞者のティモシー・ガワーズ氏による報告です↓

[Timothy Gowers @wtgowers @wtgowers]

AI has now solved a major open problem -- one of the best known Erdos problems called the unit distance problem, one of Erdos's favourite questions and one that many mathematicians had tried.
https://t.co/SD1vVPkrHR