프린스 덕후 세계 2위 | https://nitter.cf/t.co/nedBmqlM9D
Paris, Texas
Joined April 2009
- Tweets195K
- Following341
- Followers1.6K
- Likes11.1K
相続税廃止したら富裕層が逃げる！
→どうぞご勝手に。行けるもんなら行ってみな？
• フランス: 最高税率 45%
• イギリス: 最高税率 40%
• アメリカ（連邦遺産税）: 最高税率 40%
• ドイツ: 最高税率 30%〜50%
• 韓国: 最高税率 50%（日本に類似した累進税率）
희봉 retweeted
Ian McKellen and Patrick Stewart sharing the stage in Samuel Beckett’s Waiting for Godot (2013). Two extraordinary actors bringing one of theatre’s most celebrated plays to life.
희봉 retweeted
그래서 봉준호가 기생충으로 상 받았을 때 일본인들이 빈부 격차와 빈곤층이 일본엔 없는 한국만의 문제인 것처럼 남 얘기하듯 말했던 거였구나. 선진국들 모두 자기 나라 얘기 같다 하는데 일본만 엉뚱한 소리 해서 기묘했었지. 모른 척 하는 건지 정말 모르는 건지 모르겠는.
희봉 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に証明のバグ出されて直されたんだが……？？？」
ここがヤバい↓
희봉 retweeted
The simple reason AI will not destroy jobs is because you can outsource work to AI, but you cannot outsource accountability
It is also the same reason why CEOs and CFOs continue to hire consultants, despite them adding minimal value from an operational perspective
When things go wrong, the C suite needs to be able to point fingers at someone who was accountable for the mistake
No Board of Directors or shareholders will take a CEO seriously if they simply point fingers at their Claude model
You need a real person driving behind the wheel who can make final decisions, and are then held responsible for the outcome of those decisions