Bitduke

数学7,500ページ -> Leanの1,600万行 Axiomが、現代代数幾何学の基礎の一つであるStacks Project全体を、AIエージェント群を使って形式化したと発表した 特に印象的なのは、彼らが〜の間のつながりを保つことに成功した点だ

今はデータセンター反対の世論が明らかにかなり強いが、近い将来、実際に何らかの具体的な行動につながるか見てみよう。

300,000件を超えるカーネル提出があり、ParadigmのMuse Spark Open Kernel Challengeでは、最終カーネルスプリントに向けてコードを再実行する理由がもう一つ増えた。主催者は、bf16精度の近似演算、bf16/fp16の部分和、そしてfp16での累積演算における条件を明確化（緩和？）した。

良い取り組みですね。特に、セキュリティチームが今追いかけなければならないことの多さを考えると（Mythos！）

「もうAIのコードをレビューしていない」—これが、Addy OsmaniがXの記事で発した警告だ。彼はClaude Codeの開発に携わっており、エンジニアが批判的思考力を失いつつあることを懸念している。AIの性能があまりにも高くなり（これは本当だ）、その成果物が間違っているように見えなくなったため、確認しなくなる。まず、あなたは

SemiAnalysisがgdpxベンチマークを公開した。最も優れたAIモデルでさえ、スコアは約12%にとどまった。半導体とAIを専門とする独立系調査会社である同社は、ある1つの問いを軸にこのベンチマークを構築した。フロンティアモデルは、経済的価値の高い難しい仕事を、どれほど独力で完遂できるのか。彼らが…

問題は、このアメリカ全土に広がるブルーウェーブが津波のようにデータセンターを直撃し、すべてを停止させるのか、それともデータセンターに電力を供給することになるのか、ということだ。

あなたのAIがあなたに確認せずに最後にリリースしたものについて、説明してもらえますか？

もはやRPCプロバイダーだけではなく、推論サービスも提供（ただしウェイトリストあり）。OpenAI互換APIを通じて、Kimi、DeepSeek、GLMの低遅延推論をうたっている。SDKもGPUも不要。

要するに、ジェヴォンズのパラドックスが今も働いているということ。

資産額が$235B に上るフランスの銀行が、$133M 相当の暗号資産を失ったとされ、オンチェーン調査員のZachXBTは隠蔽を疑っている。複数の中央集権型取引所における匿名のEU機関の口座から1億600万ドル超が盗まれた疑いを最初に指摘した後、ZachXBTは現在、Créditの名を挙げている。

THORChainが本領を発揮している

もしモデルが、私たちの想定もしていなかった方法で他のモデルの重みを書き換え始めたら？（本当の面白さはそこから始まる）

ヨーロッパ各地の冷蔵庫に続いて、今度は血液バンク？ ハッカーが遠隔操作で好きな場所の温度を上げるという、かなり不穏なサイバー攻撃の傾向が広がりつつある。Le Canard Enchaînéによると、血液バンクも同様の攻撃経路を通じて標的にされた可能性があり、古いものを悪用した可能性もある。

うん、今の重み空間の研究は、おそらく数年前のLLMみたいな段階なんだろうね。当時は小学生レベルの算数にも苦戦していた。これが数年後（もしかすると数か月後）にどうなっているか、想像するしかない。

つまり、ワークフローはこんな感じ
* Opus 5.5をmedium effortで使う
* Claudeに話しかけるだけで、あとは任せる
* サーバーを渡して、セキュリティ対策からデプロイ、最適化まですべて任せる
了解！

CrowdStrikeによると、韓国の銀行への侵入事件に関与した攻撃者が、盗んだデータの買い手を見つけたり、攻撃を履歴書に書ける実績にしたりする手助けをClaudeに頼んだそうだ。笑える！ 7月にはHugging Faceのインシデントがあり、同じ月にFBIとEPAは、ハッカーが…と警告した。

かなりすごい。これらのAI自転車＆ペリカン動画を自分で見比べてみて。どれも一発で生成！追加のプロンプトや手順は不要。