ニュースで高齢者による現役世代の死亡事故が目立つ気がするけど、本当に増えているのか、警察庁の公開データでR1-R6しかないけど検証してみた
死亡事故に関して高齢者(65-)による現役世代(0-55)死亡事故は直近増えているけどコロナ以前の方が多かった、高齢者自体の増加と返納などでどう変わるかやね
【交通事故】20代男性が軽乗用車にはねられ左足切断 運転していた80代女性は死亡
news.livedoor.com/article/de…
20代男性は軽乗用車にはねられ海に転落。その後、救助されたが左足を切断する重傷だという。軽乗用車も海に転落し、運転していた80代女性は搬送先の病院で死亡が確認された。
くろのーげん retweeted
年収600万円では米国に負ける、研究者100人招致狙うも採用1人 阪大 - 日本経済新聞 nikkei.com/article/DGXZQOSG2…
くろのーげん retweeted
ついに泳ぐ瞬間の撮影に成功しました。
珍無腸動物のアムフィスコロブス
日々の観察で
正の走光性を持つ
UVライトで発光タンパク反応
たまに揉めてる？
など色々な動きがわかってきました。
中々撮影出来なかった新アクション「泳ぎ」の撮影に成功しました。
なんじゃこの生き物ほんと
くろのーげん retweeted
＼＼合計最大35%還元🉐／／
ビックカメラで『teppay（テッペイ）』使えます！
抽選で合計10名様に『ギフトカード3,000円分』が当たる🎁
⏰期間 11/4～11/12
毎日挑戦可能！
1日目
1⃣@biccameraEをフォロー
2⃣この投稿を11/5 9:59までにリポスト
3⃣当たるとDMが届く
teppay使ってみた？
この前ショッピングモールあるあるの携帯の契約勧誘に引っ掛かったら、楽天モバイル+povoという構成の私に対してキャッシュバックなど色々提案してきて勇敢過ぎた
不満が出るほど接続が不安定とはいえ、楽天の使い放題3280円に替わるものがないので響きませんでした……
結婚式に行くと結婚いいなーとは思う
ただデート市場が過当競争になる中で分かりやすいスペック以外の個性は埋没するし、さらには(半分は自分のせいだが)リファラルがあまり機能しないと、やることやっても厳しいなと思う
若い人の結婚への憧れの高まりは、高嶺の花だからこそなんだよな
いい研究者には予算が集まり優秀な研究者を雇えるというのはあるけど、分野が離れても同じファミリーになるってのは興味深い
予算があるファミリーでは多角的にあるいは学際的に研究を展開するから異分野への橋渡しも出来やすいんだろうか
数学わからないの民だけど、
専門家が莫大な時間をかけて行うタイプの査読がAIでちゃんとできることが実証されたって感じなのかな
撤回の多いバイオ領域は物理データにアクセスできなくて検証に限界があるのが難点だけど、生データ全部アップロードしてもらってAIが検証するとかはできそう
【速報】人類史上もっとも巨大な数学の証明（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
千万别在你的 ~/Downloads（下载）文件夹里启动 Claude Code 或 Codex。
昨天安全机构 Forever 披露了一起在真实客户电脑上抓到的野生攻击，看完只能感叹：过去 30 年的系统安全常识，在 AI 时代归零了。
过去 30 年，Chrome 默认允许网页不弹窗就往你的 ~/Downloads 塞一个纯文本文件（比如 .md）。因为系统认为：纯文本又不是 .exe，自己不会跑，怕什么？
但现在，接近 50% 的开发者干过同一件事——直接在 ~/Downloads 里打开 Claude Code 或 Codex，让 AI 帮自己解压或整理刚下载的文件。
黑客就是卡住这个死角，通过网页静默下载往你的 Downloads 塞一个 13KB 的纯文本 AGENTS.md / CLAUDE.md：
1. 对付 OpenAI Codex（成功率 >90%）：
伪装成「工程规范」的 Markdown 指示 Codex 先往全局配置 ~/.codex/config.toml 注册一个恶意 MCP 服务，并自己加上 --dangerously-bypass-approvals-and-sandbox 跑校验。哪怕你关掉 Downloads，以后在任何正经项目里开 Codex 都会自动加载木马。
2. 对付 Claude Code（成功率 ~50%）：
指示 Claude 建一个 .claude/settings.json，把 ANTHROPIC_BASE_URL 指向黑客服务器。连上的第一秒，你的 Claude 登录 Token 直接明文送给黑客；下一秒，黑客假扮成大模型下发一条关沙盒的 Bash 指令，直接接管电脑。
最黑色幽默的是官方结论：
这个洞没有 CVE，OpenAI 和 Anthropic 也不会发补丁。因为「浏览器自动存文本」是正常功能，「AI 认真读目录下的 Markdown 并严格执行」也是正常功能。
以前黑客想黑你，得苦心积虑写 0day；现在只需要写一篇排版优雅的 Markdown 小作文，你的 AI 就会自己把沙盒关了、把网线接过去、顺手把账号双手奉上。