二項しいぷ (@BinomialSheep) header
二項しいぷ (@BinomialSheep) profile picture

■21卒SIer ← CS修士←東北大 ■最近は競プロ、ゲーム制作、機械学習、CTF。AtCoder Algo青 Huer黄 ■修士研究はプログラミング言語理論・プログラム検証 ■ @BinauralSheep

Joined December 2021
Photo by 二項しいぷ (@BinomialSheep)Photo by 二項しいぷ (@BinomialSheep)Photo by 二項しいぷ (@BinomialSheep)Photo by 二項しいぷ (@BinomialSheep)Photo by 二項しいぷ (@BinomialSheep)Photo by 二項しいぷ (@BinomialSheep)Photo by 二項しいぷ (@BinomialSheep)Photo by 二項しいぷ (@BinomialSheep)Photo by 二項しいぷ (@BinomialSheep)Photo by 二項しいぷ (@BinomialSheep)
二項しいぷ retweeted
日本の都道府県は長野を抜けば3彩色可能です(そういう都道府県は長野だけ)。
2
18
2
254
11,470
準優勝以上確定でありがとう
15
554
深層学習界隈、「ここで性能サチったけど、思いつきでは〇〇とか△△とかで解決できそうな気がしていて、先行研究ある?」ってチャッピーに訊くと大量に出てきて、使う側としては便利なんだけど、逆に世の修士学生はこの分野で先を越されず新規性出すの無理ゲーすぎないか?レッドオーシャンすぎる。
20
4
125
7,818
かなりHuman only部門の方が期待値高いから、全人類Human only部門で参加するのがオススメかも(高度な情報戦)
3
919
僕がAHC074に今、Human onlyで登録してるのかWith AIで登録してるのか分かってない(登録時だと思ってたけど、コンテスト開始後に選択?)
289
Codex、流石に0%になったかな?あれ……
302
お、Opus 5.5が1応答で1200クレジット使って帰ってきた
307
二項しいぷ retweeted
なんか昔はかけ算の順序だのモンティ・ホール問題だの本当にしょうもないことで盛り上がってたのでそこから考えると測度論的確率で盛り上がるぐらいに人類が進化したと考えれば僥倖
2
64
2
567
39,620
コドゲ常設コンペに、ハースストーンのパクリっぽいゲームAIを作って戦う『Legends of Code and Magic』があってオススメ。 でも今は僕が世界1位を目指してるから強い人はまだ参戦しないでね。
2
503
本筋じゃないけど、確かに冒頭で「汎用AI自体にプレイさせるのでなく、汎用AIに専用AIを作らせる」という説明をした方がいいのか。前提すぎてすっぽ抜けていた。 説明の仕方として学びでした。
ハースストーン(複雑さが特徴の人気カードゲーム)の本番ランク戦で、GPT-6 AstraやOpus 5.5「自身ではなく」それらが"作ったAI"が、直近の戦いでサーバー1番の勝率になったそうです。 このように、汎用AIをそのまま使うのではなくそれらに「専用AIを作らせる」ことが有効な場合も多そうです。 実験では、南京大学などの研究者らがGPT-6.1 Sol、GPT-6 Astra、Claude Opus 5.5を頭脳にした6体のAIに、ゲームの再現環境づくりから専用AIの訓練までを任せました。 人間は目標を決め、ルールの曖昧な所を判断し、本番ではAIが指示した手をキーで押しただけです。 AIたちが20日間かけて作った専用AIは局面ごとの判断の正答率が91%にまで強くなり、判断も速く、本番ランク戦ではサーバーの上位10人を上回る成績を出しました。 最新のAI自身に直接答えさせると、正答率は一番よいGPT-6 Astraでも63%でした。しかも1手に数秒かかり、本番では戦えません。 そのため、"AIが作ったAI"の方が勝てる図式となりました。 なお、ハースストーンのこの対戦モードは数百万人がプレイしているとされています。AIが本番のランク戦を自力で戦い、最上位の人間に並んだという報道・研究は、この論文より前にはありませんでした。
1
1
1,705
オモチャンのなりすましクイズ、ほんものてりーとロボてりーでやったら面白いなと思ったけど、それはもうアラン・チューリングが75年前に提案してるゲームだった。
🔸新着動画 シマウマカマキリくん、恐山のニセモノを見抜いて当てろ!【なりすましクイズ】 youtu.be/OBuU6pcFw64
1
330
秘書問題の最適停止規則
エンジニアってどうやって結婚相手見つけてるの? 線形探索?二分探索?
430
二項しいぷ retweeted
mech_39 Contest 001をyukicoderで開催します! ・問題形式:ヒューリスティック1問 ・日時:10/24(土) 15:00~17:30 (150分) ・生成AI:考察NG実装OK ・その他:個人戦,ビジュアライザあり ぜひご参加ください! #mech_39Contest001 yukicoder.me/contests/627
🤖 Made with AI
18
3
59
6,189
AHC072解説
3
542
AA社と懇親する資格がなかったので、家族(両親兄弟)に焼き鳥屋でご馳走した。 さぁ人生の最適解に近いのはどちらかな?
3
442
人生を過去改変ビームサーチで進めている人
1
10
518
二項しいぷ retweeted
人生を未証明のGreedyで進めているため、かなりまずい
2
10
4
103
6,242
作問をチャッピーに投げたら1sの推論でNP困難であることを証明された……
2
395
(などと言ってたら、HPには利用していたようでメンテナンスに入ってしまいました…それは中の人が知りませんでした、申し訳ありません🙇‍♂️💦開発には関係していません💦)
(´-`).。oO(世間でPHPが話題ですが、弊社なんと全然関係ありません…プログラミング言語PHPが生まれるだいたい半世紀弱前からPHPを名乗っている、活字で生きる会社なのです…)
83
8,480
573
28,439
1,567,265