線はどこにあるか
🇯🇵 Japan
Joined October 2021
- Tweets1.6K
- Following0
- Followers3.6K
- Likes35.1K
ハシボソガラス2羽に画面の点群が動く向きを選ばせた。平均反応時間は約235ミリ秒。同様の課題の先行研究で人やサルが要した時間の約半分で、正確さも保った。選択に関わる神経活動は手がかりの強さに応じて高まり、反応開始時に一定水準へ近づいた。判断材料を蓄えて決める霊長類のモデルと整合した。
Carrion crows make decisions faster than monkeys and humans.
Learn more in a new #SciencePerspective: scim.ag/4zmOF1i
熱帯熱マラリア原虫は、赤血球の膜に自前のタンパク質を埋め込み、足場にして入り込む。2026年の研究では、侵入を途中で止め、足場の基本単位を取り出して解析した。4種のタンパク質が組み、7本のらせん状の部分が膜に内側からくさびのように食い込む。膜を変形させて侵入を助ける働きが示唆された。
This is the first microscopic video of 𝘗𝘭𝘢𝘴𝘮𝘰𝘥𝘪𝘶𝘮 entering a red blood cell, taken in 1978. Upon entry, the parasite infects a cell with malaria. Within days, millions of compromised cells could be lurking in the bloodstream. quantamagazine.org/malaria-p…
Axiomによると、アッシュバッハーとスミスの2004年の論考にある補題に、同社のAIが反例を見つけた。補題は二つの量が等しいとするが、反例では一方が1、他方が2になる。等号を不等号に直すだけでは、その等式で除外していた場合が残る。そこで同社は場合分けを組み直し、証明をつなぎ直したという。
スタモスによると、これまでAIの恩恵は、先にモデルを使え、資金も多い防御側が主に得ていた。だがこの半年ほどで、最先端AIが見つけ、その後修正された欠陥を、手元で動かせる公開モデルで、従来より速く大規模に攻撃へ転用できるようになったという。
Cognition CSO @alexstamos says hackers can run powerful AI models on home computers for almost nothing, while defenders pay a fortune for Claude Mythos:
"The per-token cost is going to be a huge issue for security. Bad guys are running these things for free on commodity hardware."
"I just got my M5 Studio Ultra at home, I’m running abliterated GLM-5.3 to do experiments on, and it’s amazing what you can do with just consumer hardware."
"That costs effectively nothing per token, whereas if you’re paying Mythos-level prices, you’re not going to survive against a bunch of attackers."
"That’s one of the things I really appreciate about Cognition. We’re constantly cutting prices and trying to build our own models that are much cheaper than the frontier models but can do the same kind of security work."
@cognition
この装置はブドウ糖を、大半が尿に出るグルコン酸に変える。2型糖尿病のマウスでは、作動から1時間以内に血糖が正常域に戻り、6週間の処置で体重と中性脂肪が減った。体のエネルギー源は糖から脂肪へ移り、血中の遊離脂肪酸とケトン体が増えた。低血糖や有害な影響は検出されなかった。
An implantable, wirelessly powered electronic device could offer a drug-free approach to managing the intertwined metabolic disorders of obesity and type 2 diabetes.
The device uses electrocatalysis to remove excess glucose from the bloodstream on demand.
Learn more in Science: scim.ag/47twScK
指数時間仮説は、3-SATで解があるかを判定するだけでも、変数の数に対して最悪時には指数時間が要るという予想。OpenAIがAIによる反証として公開した手法は、解の総数まで劣指数時間で正確に数えるという。仮説の提唱者らが独立検証を組織する。
We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.
openai.com/index/building-sc…
熊谷社長によると、指摘を受けて対策を進めていた。だがサービスの稼働への影響や他の対処との優先順位を考えて慎重に進め、深さも速さも足りなかったという。GMOは10月21日からこのクラウドサービスを止め、侵入された基盤のままでは再開しないと決めた。
GMO内で安全性課題指摘 不正前、対応不十分に 社長がブログで謝罪「隙を突かれた」
sankei.com/article/20261026-…
GMOインターネットグループの社長は、FXのためのサービスに不正アクセスを受けたことについて、技術者から安全性に関して「改善すべき課題」が事前に指摘されていたとブログに投稿した。
その後、主催者はサーバーのログと参加者が鍵の値を知っていたことから、秘密鍵の取得成功を認めた。ただし、置いた鍵は賞金の入ったアドレスに対応していなかったと説明し、賞金を送金したと報告した。残高が残っていても、鍵が取得されていない証拠にはならない。
❗️ A developer hid a Bitcoin key on a PHP server left unpatched against PHP2Shell, the critical flaws fixed on Oct 21, and dared anyone to steal it.
17 hours on, the wallet holds ~$2,000 and nobody has taken it.
The developer says someone is crashing PHP but "still no RCE yet".
Readers added context they thought people might want to know
The GitHub repository cited as the source explicitly acknowledges in its README that the supposed exploit is fabricated: “And of course it’s fake. Duh. Note: No harm intended, purely for fun.”
github.com/0x1c1101/CVE-2…
AHMの誓約で協力を断つ相手は、最先端のラボに限らず商用AI企業全般だ。FAQは、そうした企業への就職や、企業の監督下でモデルの能力を試す研究を率いることを避ける例に挙げる。一方、AIが数学に与える影響をAI業界の人と話すことは勧めている。
極低温で金電極の間につないだらせん状の単一分子では、ある電圧を超えると電流が急増した。研究チームは計算から、段階的な回転が連続回転に変わり、静止中には取れない、電気をよく通す形になるためと説明した。分子を伸ばしたり縮めたりすると、電流が急増する電圧も変えられた。
A single-molecule motor between two gold electrodes reverses its rotation when voltage polarity flips—the first current-driven molecular motor with controllable rotation in this setup. @nature phys.org/news/2026-10-archim…
圧縮ライブラリBrotliの欠陥は、原因箇所が2月にコード上で直っていたが、OpenAIによると脆弱性とは気づかれず、修正を含む新版は10月21日まで出なかった。未修正版で悪意ある圧縮データを展開すると、攻撃者のコードが動く恐れがある。Node.jsも同日に修正版を公開した。利用者側での更新も必要だ。
『星月夜』は通説で6月中旬の作だが、その頃の夜明けの月は半月より太く、絵の細い月と合わない。論文は、7月22日ごろの夜明けなら細い月と金星、ヒアデス星団が絵の配置に合うとする。ただし書簡集の注記は、この絵を写した素描を7月2日に弟へ送ったとみる。論文は弟の返事を根拠に異議を唱える。
The night sky in Vincent van Gogh’s painting The Starry Night may have been inspired by a celestial arrangement visible before dawn on 22 July 1889, according to research in Scientific Reports. go.nature.com/4dTU7QL
ALT This is figure 4, which shows morphological correspondence between the central asterism of The Starry Night and the Hyades cluster.
ワイエルシュトラス関数は、滑らかなコサインの波を無限に足して作る。例えば、波の高さを毎回半分、波長を3分の1にすると、各波の最大の傾きは1.5倍ずつになる。線は途切れないが、どこでも有限の傾きが定まらない。高さだけ毎回4分の1にすると、最大の傾きは0.75倍ずつになり、どこでも微分できる。
This is the Weierstrass function, a “monster” that is continuous everywhere but differentiable nowhere. First published in 1872, it prompted scrutiny of assumptions in calculus. Similar functions are used to study random motion and analyze risk. quantamagazine.org/the-jagge…
ファズテストは、プログラムが落ちる入力を大量の試行で探す。Anthropicによると、Claudeは123ライブラリの239のテストで、定めた環境・メモリ条件下では64MB未満のどの入力でも落ちないと証明した。証明はRocqが検査。対象はRISC-V向けの実行ファイルで、広く使われるx86やARM向けの版は含まない。
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
