業務改善×AIエージェント。IT企業でCSと投稿審査を18年。占い師さんのマネジメントも。妖怪と本とアニメとポッドキャスト。
Joined June 2009
- Tweets37.3K
- Following3.5K
- Followers1.2K
- Likes33.2K
AI50体で20人分と拡散されてる動画、本人はそんな数字を言ってなさそう。
語ってたのはAIが自分で動かして確かめる仕組み、迷わせない画面の地図、厳しいCI、事故りやすい書き方の禁止。コードは荒いと認めた上で、正しさは仕組みで担保してた。
差は体数じゃなく、検証を人の手から外せたかじゃないかな。
Kohei Nishiyama retweeted
学習系サービスに関わっているなら、とても参考になる記事。
「習慣化すること」と「習慣になった行動を続けること」は、脳内では別の神経回路が関わっているらしい。繰り返せば自然と習慣になり、そのまま続くと思いがちだけど、実際はもっと複雑なんだなぁ。
nikkei.com/article/DGXZQOUF2…
Kohei Nishiyama retweeted
経産省、電力・ガス取引のサイトに不正アクセス 運用停止 reut.rs/47Q079M
やはり時代は紙とテープ
富士フイルム、磁気テープ20年ぶり大型増産
nikkei.com/article/DGXZQOUC0…
データセンター事業者や金融機関、研究機関のデータバックアップに使われます。ネットワークから切り離し長期保存が可能。サイバー攻撃によるデータ改ざんや消失を防ぎやすいのが特長です。
人間が最後にOKするだけでは、判断したことにならないと思う。
Anthropicの実験で、専門家50人がAIエージェントのコイントスで決めた推しに86%従っていた。
効いたのは嘘ではなく、片側の言い分しか出てこないこと。
自分も、grokにもう一方を選ぶ理由も必ず書かせようっと。
Kohei Nishiyama retweeted
【速報】人類史上もっとも巨大な数学の証明（15,000ページ）が、AIによって完全攻略されてTLが大パニックに。
定理：『有限単純群の分類（CFSG）』「対称性の周期表」と呼ばれる群論の最高峰。これをAIエージェント（AxiomProver）がLean 4で4,310万行のコードに変換し、カーネルの全検証（sorryなし）を完了！
【数学者 vs AIエージェント 】
人類の数学者「よし！過去100人の天才たちが書いた500本の論文（15,000ページ）を集めたぞ！誰ひとり全容を理解した奴はいないが、これで証明は完璧だ！」
AIエージェント「了解です！Leanコード4,310万行に分解して24日間で全ステップ機械検証しますね〜……あれ？」
人類の数学者「えっ」
AIエージェント「1986年の論文（UGT証明）のここ、PSL₂(49)のくだりで論理崩壊してバグってますよ？」
人類の数学者「ファッ！？！？ 40年間誰も気づいてなかったぞ！？」
AIエージェント「大丈夫です。僕がSolomonの理論をベースに『Theorem 2.3』っていう新しい定理を勝手に証明してコード補修しておきました👍（全34件の人間側のミスも修正済）」
人類の数学者「AIに証明のバグ出されて直されたんだが……？？？」
ここがヤバい↓
Kohei Nishiyama retweeted
変そ縦よイ文 公コ縦イ突
換こ書くン章 開ン書ン然
でそき見タを しバきタで
きこへる丨 ま丨 丨す
ま と ネ しタ ネが
す ッ た丨 ッ︑
︒ ト ︒ ト
で
internet-tategaki-converter.…
Kohei Nishiyama retweeted
Supabaseの共同創業者二人が緊急来日するので東京でミートアップを開催します！
Supabaseを作った二人とお話しを日本でできる貴重な機会なのでぜひご参加ください！
luma.com/supabase-eh6n
AIに開発させるとき、一番効くのは「検証の手段を渡す」ことらしい。
Claude Codeの生みの親いわく、検証手順があるだけで出力の品質が2〜3倍になる。
テストを回す、ビルドする、画面をデザインと見比べる。
「できました」じゃなくて「動いた証拠」を出させる。
1人+AIで作ってる身としては、プロンプトを磨くより先にここをやるべきだった。
Claude Codeチームのコードレビュー記事を読んだ。
コードの約90%をAIが書いてて、6〜9月でマージ数は2倍以上、なのに差し戻し率は40%以上減ってる。
やってるのは「人が全部読む」をやめること。
・AIに「完了」じゃなく結果を見せさせる
・別のAIが新しい文脈で差分を見る
・リスクが高い変更だけ人が見る
一番刺さったのは、AI同士のレビューが一晩で50往復した話。往復は3回で打ち切るルールにしたらしい。
人に残る仕事は「そもそも作るべきか」と「責任を取ること」。
teapawt.net/addyosmani/status/2114…
Kohei Nishiyama retweeted
朝日新書11月。「なぜ、時間を効率よく使おうとするほど、私たちは時間に追われてしまうのだろう？ 細切れにされた労働時間、タイパで節約する時間、…」
⇒奥野克巳
『世界が速すぎると感じる人へ 〈わたしの時間〉を取り戻すための人類学』 amazon.co.jp/dp/4022953950
Kohei Nishiyama retweeted
ネットフリックスの転勤で来日した43歳のアメリカ人。退職後、山梨の廃園になった幼稚園を映画館に生まれ変わらせた #careerinsider
businessinsider.jp/article/2…
Kohei Nishiyama retweeted
一銭も利益でてないのに
街に5000万も経済効果生み出してる企画してるなんて
男らしすぎ！
いやー・・・ 誰か～・・ 褒めてー ぇぇ orz
毎年のことすぎて震える
家族に申し訳がたたん・・・
かみさんに
そのうちの数％でもいいからもぎとってこいやぁ
と言われそうで。。。
てなわけで その男が！！
週末に栃木でまた新たな第一歩を踏み出すのです
応援しにきて～～～～（笑）
人が足りないから自ら受付していると思いますｗ
栃木の「十千木百鬼夜行」はこちらから！
event.youkaiya.jp/#/events/e…
Kohei Nishiyama retweeted
正直東京住んでるともう30年も40年もイスラームの人は「隣に住んでる人」って感じだったから、今日本で起こってる（らしい）問題の全てがピンときてないんだ 普通にご近所さんすぎて……。
町内会費払ってくれない日本人より公園の掃除参加してくれるイスラームの人のほうがありがたいまである
