mura retweeted
e―Taxに不審な通信 国税庁、一時停止に
jiji.com/jc/article?k=202611…
国税庁は4日、外部からの不審な通信を検出したとして、電子申告納税システム「e―Tax」の運用を一時停止しました。これまでに、納税者情報の流出などは確認されていないとしています。
mura retweeted
【松井巨人vs工藤中日 開幕戦で実現】
news.yahoo.co.jp/pickup/6601…
mura retweeted
巨人
来季コーチングスタッフ発表
【1軍】
監督 松井秀喜
ヘッド 高橋由伸
打撃チーフ 清水隆行
打撃 未定
ディフェンスチーフ 川相昌弘
内野守備走塁 吉川大幾
外野守備走塁 亀井善行
投手チーフ 杉内俊哉
投手 内海哲也
バッテリーチーフ 村田善則
mura retweeted
おはようございます
香箱蟹🦀まだ解禁前ですが
新潟県では解禁のようで
石川県内にもチラホラ出回ってます
冬の味覚が楽しみな季節に
なってきましたね
それでは今日もがんばります🥹
mura 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に証明のバグ出されて直されたんだが……？？？」
ここがヤバい↓
昔ファミリーマートにあったオロシタツタ弁当？はワカメご飯でとても好きだったのに、、今はそうでなくなってしまって残念だった
記憶が曖昧すぎて、、大学生の頃からおそらく25年くらい前から数年前くらいまであったよな？