数学わからないの民だけど、
専門家が莫大な時間をかけて行うタイプの査読が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 就会自己把沙盒关了、把网线接过去、顺手把账号双手奉上。
まーた松屋がキャンペーンを大量発動し始めた
10/27-11/2の14:00-23:00に以下の決済をする
牛皿の持ち帰りが290×3皿=870円決済
2倍ポイント261円分(ランク依存)
ボーナスポイント150円分
d払い還元130円分
実質330円で牛丼のアタマ3皿分手に入るのか
まだやってないけど、FFレゾナンスがこれまでのスクエニのHD-2D作品よりも好評そうなのは出来がいいってことなんだろうか
Expedition33みたいに出来が良ければオープンワールドじゃなくても売れるとなって、開発費はグラフィックじゃなくてゲームシステムやストーリーにかけて欲しい
くろのーげん retweeted
【注意喚起】Fijiを含むJavaを使用してインターネット接続するソフトウェアにセキュリティ上の問題が報告されています。修正版が出るまで、注意。ソフトに通信させなければ、画像を開いて解析するには影響なし。
修正版が出るまでの対応
・ソフト内からの更新やプラグインのインストールをしない
→
くろのーげん retweeted
女性募集枠があったら多分私は落ちていたnote.com/gusaoyukkuri/n/n5e0…
くろのーげん retweeted
「先史時代に女性も狩猟していた」という少し前に話題になった研究は嘘松だと判明。雑に言えば、研究者は「女性が比較的働く村だけ研究対象にする」「女性が動物の運搬を手伝ったのも狩猟認定」「1回でもやれば女性も男性同等に狩猟してる認定」を組み合わせた捏造だった。
journals.plos.org/plosone/ar…
くろのーげん retweeted
【検証踏まえ】治療薬「タブネオス」服用し患者20人が死亡 厚労省が投与中止など求める通知
news.livedoor.com/article/de…
厚労省は試験プロセスの検証などを踏まえ、医療機関に対し、投与の原則中止を求める通知を出した。年内をめどに承認取り消しの可能性を含め、処分を検討する方針だという。
カメムシってセミと同じグループだから、虫の中では食べられる方なのかなと思う(食べようとはなかなか思わないが)
どの植物の汁吸ってるかとかで味変わりそう
“カメムシ”って存在だけで悪臭のイメージが強すぎるので、大多数の方にはわかって貰えない前提ですが…
調理すると案外美味しいです。
揚げると香りはかなり軽減されるので食べやすいですし、茹でると香りは残りますが他の食材と合わせたりバランス次第でその香りが活きることもあります。
写真のツヤアオカメムシは個体差はありますが、加熱すればパクチーよりも食べやすいかな…と私は思ってます。ほんのり甘味を感じることもあります。
たまに辛い獅子唐にあたるように、刺激の強い個体もありますが。
勿論、あえて食べる必要は全くありません…。
ちなみにヘリカメムシ系はフルーティーな香りがする個体が多いです。
騙されたと思って嗅いでみて下さい
女性特有のルッキズム(マンジャロや美容整形)は男性の需要ではなく女性同士の競争により生まれてると考えてるんだけど、中国の纏足もどうだったのか気になる
一部の超ハイスペにとって当時都合が良かっただけなのに、美としてのトレンドは女性が形成した可能性がある
くろのーげん retweeted
重い慢性副鼻腔炎の人が、低い音（約130Hz）で1時間、強くハミングを続けた症例報告です。翌朝には鼻が通り、1か月以上ぶりに鼻で楽に呼吸できるようになりました。その後は1日4回のハミングで、4日間のうちに症状がほぼ消えています。
ハミングをすると、鼻の一酸化窒素が静かに息を吐くときの15～20倍に増えることが知られており、その抗菌・抗真菌作用が働いたという仮説が立てられています。
狩猟採集生活のようなヒト集団を考えると女性は全員出産して男性の精子は上位カーストの男性にある程度偏ると考えられる
精子など男性側に子の性比の偏りがあった場合次世代の集団の性比が偏ってしまうので、あるとしたら女性側だと思う
だから女子ばかり産む正妻に加えて妾なんてシステムが存在した
This quoted post is unavailable.
くろのーげん retweeted
【独自】筑波大学長選考 推薦候補は現職・永田氏のみ
現在進められている筑波大の学長選考で、教育研究評議会が推薦した候補は、現職の永田恭介氏のみであることがわかりました。事実上の信任投票となった意見聴取では、白票が922票（有効票の約4割）を占めました。 tsukuba-student-press.vercel…
