トマボウ

TK→UT→計算機&データと戯れる

[トマボウ @28tomabou]

夏休みに自作CPUを作った話書いた
https://t.co/2TQPHlka8m

[トマボウ @28tomabou]

日本サッカーうまくね？

[トマボウ @28tomabou]

intial Dを見ていると、地元で走り屋とかやってみたかったという気分に

[トマボウ @28tomabou]

今の有機パッケージの L/Sってまあ
例えばこの辺を見ると　https://t.co/iVVe1vm6Kn
今量産されているのは 8/8とかだと思うけど、
こういうのでL/Sがどんどん小さくなってほしい

[清水信哉/エレファンテック @shinyashimizu_j]

半導体サブストレートの微細化に貢献する新製法を発表しました。セミアディティブプロセス（SAP）を改良し、シードを表面とビア内で別形成することで微細化を実現する、非常に賢い製法です。
AI半導体の計算能力向上に貢献していきます！

[トマボウ @28tomabou]

数学を厳密なものだと思っている人が多いので、もうちょっとバイブスなんだよなと言う話をよくしている

[トマボウ @28tomabou]

そろそろ本当の本当になってきた

[トマボウ @28tomabou]

ソフトウェアの作成が、工場性手工業の時代から、工場性機械工業の時代にようやく変わる
それが生成AIであることは確信している

[トマボウ @28tomabou]

最近半導体にどんどん詳しくなっている

[トマボウ @28tomabou]

形式検証とかするようになる気がするんだよなぁ
AIが強くなるとバグが存在するならば必ずつかれると思ったほうが良いので

[トマボウ @28tomabou]

unit distance graphの否定的解決
代数幾何符号的な香りがする構成

[トマボウ @28tomabou]

現代日本における「右派」的なものと「左派」的なもの
マジで論点と区別の方法が不明になってきた

[トマボウ @28tomabou]

みんな入試の話してる

[トマボウ @28tomabou]

ところでAV新法の影響でAV業界は結構めちゃくちゃになったかと思いきや、動画生成AIで完全に破壊的になった気がする

ちょっとどうなるか分からんけど

[トマボウ @28tomabou]

チェスに比べて将棋は持ち駒が使えるので分岐が多くコンピュータには対処できないと思われていまし、
将棋に比べて囲碁は盤面を表現するのが困難でより分岐も多くコンピュータには対処できないと思われていたしね

[トマボウ @28tomabou]

しかし、チェスやら将棋やら囲碁やらの例に漏れず、何か定められたタスクでAIがぶち抜いていくのは当然なので、あんまり人間と比較するのは辞めたほうがよく、
単純に頭いい星人を雇えるとしたら何する？という話である

[トマボウ @28tomabou]

リーマン予想を解いて、モデル名をGPT 7.0にする説

[トマボウ @28tomabou]

次に解かれるミレニアム問題、リーマン予想感がすごい

[トマボウ @28tomabou]

AIには、とりあえず重み付きマトロイドパリティの組み合わせ的多項式時間アルゴリズムを作ってほしいね

[トマボウ @28tomabou]

AIのおかげで、有限単純群の分類定理とかだいぶ整理されそう

[トマボウ @28tomabou]

これが3人以上でやるゲームの弱点なんだよなぁ
チーム組んでvsしたほうがいい
カタンとかでもね

[江添亮 @EzoeRyou]

古典的な最適戦略が研究されつくされたゲームになると、最適な戦略を取らないプレイヤーが交じると極めて不公平に漁夫の利を得るプレイヤーが出てきて試合が成り立たないんだよね。

[トマボウ @28tomabou]

しかし、誰が考えても同じ結果になるものの価値が暴落していく世界である。　
LLMによって加速されているがもともと常にその方向に世界は動いており、故瀧本さんの言葉を引用すればトレーダーとエキスパートはコモディティであったわけである
もうちょっと緩やかな変化だと思っていたけれどね

[トマボウ @28tomabou]

コンピュータより数学パズルが得意だった最後の世代として生きていく

フォンノイマンも当時はコンピュータより計算速かったからね