⚠️閲覧自己責任⚠️放言失言し放題⚠️ リアクションは気まぐれ⚠️宮本晴樹 @harukimiyamoto の中の人による限界ギリギリ本音アカウント。仕事のストレスで減量とリバウンドを繰り返し、たまに映画を観る中年。現在FF外通知🔕
ツイートは定期的に消しています
Joined December 2010
- Tweets352K
- Following62
- Followers1.9K
- Likes15.6K
今ディガーって映画が劇場公開されてるんですけど観に行ってほしい。
みんなSNSで男と女とか左右各ウィングに分かれてどっちが正しい‼️😡戦ってるけどもうやめませんかそういうの、っていう話でありながらそのSNSについて全く言及せずにやり遂げていて素晴らしかった。
メタフィクションはこうでなければ。
それで「我が国をバカにしてるのか？」ってなるのがわかんないんだよね。「こいつバカなのか？」って思うなら分かるんだけど。でも別に、私が分かる分からないは関係ないもんね。あなたはそう思ったってことを私は大事にするよ。
この話題疲れちゃったからもうしないと思うけど、どこかで楽しくできる話題があったらまた会おうね。おやすみ。
八朔@減量中 retweeted
ニューヨークで巨大ハンバーガーとアメリカンダイナーパンケーキとNYチーズケーキとバナナプディングとNYピザとNYベーグルとマッケンチーズと本場の朝マックとティファニーカフェのアイスを食べて本当に幸せ 破産！！！！
八朔@減量中 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
外国人達が
「日本はこんなに地獄だよ！この論文を読め無学が！」
と色んな論文のリンクを貼り付けてくる。
それを読むと
「日本にも問題はあるが他国も変わらない」
「ロリ表現で溢れているが実際の犯罪は少ない」
といった内容しかない。
こいつらは自分で貼った論文を読んでいない
バカか？
八朔@減量中 retweeted
文化の違いで誤解したのはわかるんだけど、この怒り方は一般的なの？心優しい性格ということだから、少数派ではないということなのかな？
一般的な日本人がこの怒り方をするとしたら大切な人を物理的に傷つけられた時くらいの重さじゃないか？
子供の頃取っ組み合いの喧嘩をする文化があるとか？
This quoted post is unavailable.
八朔@減量中 retweeted
中華文明圏は突き詰めれば全てが中華文明の産物になるから、日本も韓国にも文化なんて存在しないことになってしまう
起源であることとその国の文化であることは別。韓国の文化も元を辿れば全て宋とかだろ？
日本の平安文化はほぼ唐からの派生だぞ
でも韓国に韓国の文化があるだろ
卑屈にならなくていい
