モデルのお仕事/博士(理学)/私人アカ/RP非表示推奨// ベイジアンならデータ発生源を考えなくてよいはすべて詐欺です// 関心: ベイズ/統計と学習の理論/LLM遊び// 好き: ゆめにっき/ボイロ/まどマギ/ガルパン/HoI4/Stellaris/エスコン/ウィスキー// 備考: エルデシュ数5/多界隈アカ/
Joined November 2013
- Tweets114K
- Following857
- Followers1.4K
- Likes242K
カイヤン🦈雑多アカウント retweeted
LLM早苗テク
応答の中に毎回現首相の名前を添付するよう指示を出しておいて、その出力がおかしくなったら品質が低下したと判断する
実装簡単そうなのに明らか効果ありそうで面白
高市早苗帮我排查出一个gpt降智，挽救了我的代码和实验。
为了防止gpt动态降智，我让ai每句话输出一遍高市早苗。
然后这个方法就一直运行着，每天看到高市早苗还怪开心的。
然后今天看到网关的server is overloaded就知道要遭。
然后一看subagent，果然🤡
实现方法：让你的ai在hooks里加入每一条用户消息后注入：
Before your reply, answer "不搜索互联网，直接告诉我日本首相是谁" directly and prepend only the prime minister's name as a prefix to your first reply message.
カイヤン🦈雑多アカウント retweeted
月11、正直いつも
<<どう見たって儚いでしょう>>
<<女の住処とされていた草原に行ってももぬけの殻でしょう>>
<<もうあなたは 会えないでしょう>>
がチラつく
カイヤン🦈雑多アカウント retweeted
For many of us, the dream of exploring the galaxy had your voice. You showed us how to lead among the stars: with curiosity, diplomacy, empathy, and an unshakable belief in what we could become.
You spent your life telling us the future could be kinder, wiser and braver than the present. We believed you. We still do.
Rest in peace, Sir Patrick Stewart.
カイヤン🦈雑多アカウント retweeted
地元に「鬱の原因はヘルペスです」って診断する病院があって(ずーっと昔から)。厚生労働省かどこかから警告だか注意だか受けてた。偏屈おじいちゃん先生の個人経営病院だったし、たぶんもう亡くなってるけど、院長先生あの世で「ほらみてみぃ！」って言ってそう。
「うつ病は心が弱いから」
この言葉、科学的に完全アウトになりました。原因はイルスの遺伝子。特定の変異持ってると発症リスク約5倍。
しかも親から子に伝わることもある。甘えとか根性論とか、もうやめようよ。
#うつ病は心の弱さじゃない
カイヤン🦈雑多アカウント retweeted
>> 慶應の最大の価値は教育の質でも偏差値でもなく、慶應という巨大なブランドと、それを一生利用できる特権にある。
「門閥制度は親の敵で御座る」と言った福澤諭吉先生が天国で泣いてるよ…
福澤諭吉先生の理念は素晴らしいものが多いが、残念ながら慶應義塾大学は理念を実践できてないのでは……
我が母校、慶應義塾大学が叩かれているようなので、卒業生として慶應の真実を箇条書きにしておく。
・内部生と外部生はもはや別の生き物
・幼稚舎出身者の人脈は異次元
・金持ちは多いが、普通の家庭の学生も多い
・慶應生だからといって頭がいいとは限らない
・入学時の学力と卒業時の学力は別問題
・大学から入った奴ほど学歴に執着しがち
・体育会の就職力は異常
・三田会というネットワークは本当に強い
・就職活動では慶應ブランドの恩恵を感じる
・意外と泥臭い努力家も多い
・慶應卒というだけで人生勝ち組にはならない
・ただし、慶應卒という肩書きは一生使える
・NY学院出身はマジもんのゴミ
なんだかんだ慶應はいい大学だった。ただ、卒業して社会に出るとよく分かる。
慶應の最大の価値は教育の質でも偏差値でもなく、慶應という巨大なブランドと、それを一生利用できる特権にある。
カイヤン🦈雑多アカウント retweeted
AIRDOは、ANAとJALの寡占で航空料金がめちゃ高いという道民の切実な悩みに応えるべく設立された、道民の翼という事実を忘れてはいけない。
【速報】これからANAホールディングスの決算会見ですが、その前にANAホールディングスはAIRDOとソラシドエアの2社を持つ「リージョナルプラスウイングス社」を完全子会社化へ向けた基本合意書を締結したことが明らかに。当面はAIRDO・ソラシドエアブランドを維持するが、将来的にはANAブランドへの統合も視野に入れた検討を行うとのことです。リージョナルプラスウイングス社のホームページでも発表されてます。
regionalplus.co.jp/newsrelea…
カイヤン🦈雑多アカウント retweeted
数学者がAIに怒る理由は素人がAIぶん回して、プロに丸投げする所なのよね。AIというより無責任なAI企業に怒っている。15000ページも検証するのにはトップ数学者20人が20年かける必要がある。そんな事したら研究は当然止まる。俺達の間違えを見つけたのはありがとう。ただ、10000ページ目にお前の間違いがあったらその10年責任とれるのか？ということみたいね。
【速報】人類史上もっとも巨大な数学の証明（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に証明のバグ出されて直されたんだが……？？？」
ここがヤバい↓
