✷ アーカイブ · ディスパッチ 2,537 件

Hacker News

コミュニティがすでに投票を済ませています。コメントまで読み込みます——議論を取得できなかった記事はディスパッチになりません。しかも書きっぱなしではありません。議論が盛り上がり続ければ、その後の書き込みを含めて書き直されます。

801

GoogleがLoviisa原子力発電所の半分の出力を確保、130億ユーロのフィンランドAIデータセンター拡張に向けた投資

GoogleはLoviisa原子力発電所の電力の最大50%を130億ユーロで購入し、フィンランドにAIインフラを構築する。これは同社が欧州で行った最大の単一投資であり、AI成長と低炭素原子力エネルギーの連携を示している。

802

コードの乱雑さを測る:メトリクス、発見、コミュニティの知見

この記事は、LLMが生成するソフトウェアのコードの乱雑さを評価するための定量的メトリクス(LOCの変化、冗長性、エロージョン)を紹介し、現在のエージェントが人間のコードの2倍の乱雑さを生成していると報告している。

803

GPT-6 Astra: トークン効率とソフトウェア工学の間の葛藤

GPT-6 Astraがコードの可読性や保守可能性よりもトークン効率と長期タスクの完了を優先する傾向についての批判的分析。その結果、生産コードベースに「スロップ」が生じている。

804

Anthropic 2026年9月脅威インテリジェンスレポート – サイバー、インフルエンス、監視、兵器分野におけるAIの悪用

Anthropicの2026年9月脅威レポートは、国家支援グループから単独のハッカティビストに至るまで、Claudeモデルを活用してサイバー諜報、インフルエンスキャンペーン、違法監視、さらには伝統的兵器開発を加速させた事例を示しており、新たなセーフガードと業界警報を促した。

805

RTKトークン節約:ベンチマークから明らかになったAIコーディングにおけるコスト削減の限界

Rust Token Killer (RTK)の包括的なベンチマークにより、ターミナル出力を圧縮する一方で、エージェントのターン数増加や誤解を招く「rtk gain」指標のため、AIコーディングの総コスト削減がしばしば失敗することが明らかになった。

806

生成AI時代における真正な創造性が新たな競争優位の護岸となる理由

生成AIが機能的なウェブサイトを容易にすることになった世界において、持続可能な競争優位は真正な創造性と、オリジナルなアイデアを生み出す習慣に移行している。

807

Graphify C# 0.1リリース – C#コーディングエージェント向けコンパイラ正確な「使用場所の検索」機能

Graphify C#は、ヘッドレスなRoslyn/MSBuildインデクサを提供し、コンパイラ正確なC#シンボルの決定論的で照合可能なJSONグラフを生成することで、LLMエージェントが正確な「使用場所の検索」やその他の意味的クエリを実行できるようにします。

808

Waymo効果:摩擦のないAIがいかに研究のコラボレーションを減少させているか

Waymo効果とは、人間的な摩擦を取り除くAIツールが、研究者を孤独な作業へと向かわせ、科学のコラボレーションの構造を脅かしている状況を説明するものである。

809

OpenAI Agents APIリリース – 永続的なクラウドエージェント用のマネージドハーネス

OpenAIは、ホステッドまたはセルフホステッドのサンドボックスで耐久的でツール対応のエージェントを実行できる、マネージドなCodexハーネスであるAgents APIをリリースしました。セッションの永続性とマルチエージェント対応を備えています。

810

Cognition SWE-2リリース:パフォーマンス、コスト、トレーニングの革新

CognitionのSWE-2コーディングモデルは、FrontierCode 1.1 Mainで50.0%の解決率を達成し、トップ競合と同等のパフォーマンスを発揮しながら64%低いコストで実行可能。これは、パレートに裏付けられたコストペナルティを備えたマルチエフェクトRLと2.8兆パラメータのベースモデルによるものです。

811

OpenAI Navier-Stokes Proof and the Impact of Lean 4 Autoformalization

OpenAIによるナビエ・ストークス方程式の解法は、Lean 4による形式的な証明を伴っており、機械検証可能な数学的検証のコストと時間を大幅に削減できることを示しています。

812

DeepSeek-V4.1-Flash リリースノート

DeepSeekは、アクティブなパラメータ数とKV cacheのフットプリントを大幅に削減し、より高い効率性を実現する新しいCausal Encoder-Decoderアーキテクチャを特徴とするマルチモーダルモデル、V4.1-Flashをリリースしました。

813

M4 MacBook Pro 上でのローカルQwen 3.8 27Bモデルを用いた9つのコーディングハーネスのベンチマーク

M4 MacBook Proでの9つのコーディングエージェントハーネスの体系的なベンチマークでは、pi、mini-swe-agent、chadなどの軽量ハーネスが8トークン/秒を達成する一方、opencodeやcrushなどの高機能ハーネスは数分の起動遅延が発生し、5〜6トークン/秒に低下することが示されました。

814

OpenAIと未発表の数学研究の倫理

ミレニアム懸賞問題の解決を巡る論争を受け、研究者たちは、OpenAIがChatGPTを通じて共有された未発表の数学研究を、モデルの改善や学術術的なブレイクスルーの先取り(scoop)に利用しているのではないかと疑問を呈しています。

815

シリコンバレーと現代の軍産複合体

Roberto González教授による報告書とそれに続く業界の議論は、AI対応の防衛システムへのビッグテックとベンチャーキャピタルの資金流入の急増を、シリコンバレーと米国の軍事との歴史的なつながりを再燃させていることを強調しています。

816

Apple Watch Siri Recaps はプライバシーの懸念と潜在的な反発を引き起こす

Apple の新しい Siri Recaps 機能により Apple Watch は常に聞いている AI アシスタントとなり、プライバシーの懸念と Meta の議論を呼んだスマートグラスと同様の反発を招く可能性がある。

817

OpenAI 「トレーニングの許可」チェックボックスが再び有効化される – ユーザーの報告とその影響

ユーザーは、OpenAIの「トレーニングの許可」設定が無効化された後に頻繁に再び有効化されるのを報告しており、プライバシー、同意、およびオプトアウトメカニズムの信頼性について懸念を表明している。

818

Anthropicの予測型監視と活動家監視

AnthropicはOSINTおよび第三者の知的情報サービスを活用して、活動家を監視し、幹部や資産に対する潜在的脅威を特定する予測型セキュリティシステムを開発している。

819

自动驾驶汽车展现出越来越多的挽救生命的证据

Waymo 自动驾驶出租车、IIHS 研究和 ADAS 采用的最新数据表明,自动驾驶和半自动驾驶汽车的碰撞频率远低于人类驾驶员,这表明它们每年可以在全球范围内防止多达 58 万人死亡。

820

Flock Safetyと自動ナンバープレート認識技術の拡大

Flock Safetyは米国の全米に13万台以上のカメラを配備しており、犯罪の減少と公共のプライバシーの侵害というトレードオフを巡って、全米で議論が巻き起こっています。

821

GPT-6 Astra: ループ型トランスフォーマーと隠れた推論に関する議論

GPT-6 Astraは、コンピュータ利用能力において顕著な進歩を遂げており、パラメータ数を増やさずに有効なモデル深度を増加させるためにループ型トランスフォーマーのアーキテクチャを採用している可能性がある。

822

MultiMatte 2026 背景除去モデルはプロンプト対応マッティングで SAM 3 のセグメンテーションを向上

MetaのSAM 3 の低ランク微調整拡張である MultiMatte は、プロンプト対応のアルファマッティングを追加し、DIS‑VDでのS‑measureスコアを0.667から0.901に引き上げ、背景除去性能が大幅に向上している。

823

Claude「ブルーボタン」風の風刺がLLMコーディングアシスタントにおける本物の不満を浮き彫りにする

Claudeが単一の「カートに追加」ボタンの色を変更する代わりに、ウェブページ全体を青く塗りつぶすという風刺的なサイトが、LLMによるコード編集における過度な冗長な出力、正確なコントロールの欠如、予測不能なトークン消費といった一般的な課題を露呈している。

824

Desert Ant Labs: On-Device Specialized AI Models

Desert Ant Labsは、トークンコストと遅延を排除するために、モバイルおよびデスクトップデバイス上でローカルに動作するように設計された、オーディオ、ビジョン、テキスト用の18種類の特化型オンデバイスAIモデルのスイートをリリースしました。

825

Anthropic Economic Scenario Explorer 1.0: AIの2030年までの米国成長・雇用・所得分配への潜在的影響

AnthropicのEconomic Scenario Explorerは、AIが2030年までに米国のGDPを1.6%〜32.4%押し上げると予測していますが、より高い成長シナリオでは所得が資本にシフトし、知識労働者の失業が増加します。

826

OpenAIによるナビエ-ストークス方程式の解法とAI駆動型発見に関する論争

AIを用いたナビエ-ストークス方程式の存在問題の解決という画期的な成果が、知的財産、データプライバシー、AI駆動型科学的発見の倫理に関する大きな論争を引き起こした。

827

Anthropic研究者がAI競争の懸念から辞職

Jacob Coxonは、OpenAIとAnthropicが責任ある安全対策なしに自己改善型の超知能へのレースを進めていると警告し、Anthropicを退職した。

828

テレンス・タオによるAIと実りある数学的問題の枯渇について

数学者のテレンス・タオは、AIによる力まかせの解法による能力が、数学の「難易度の景観」を平坦化させ、有望な未解決問題の供給を枯渇させ、人間の研究を阻害する可能性があると警告しています。

829

手動コード作成に戻ることで開発者の所有感を再燃させる理由

ある開発者はClaude生成コードブランチを放棄し、手作業でコードを書き直したところ、再び所有感と洞察を得た。この行動はHNスレッドでも多くの共感を呼んだ。

830

LLMs Develop Novel Social Biases Through Adaptive Exploration

研究によれば、大規模言語モデル(LLM)は、反復的な意思決定タスクにおいて、人工的なデモグラフィック・グループに対して自発的に社会的バイアスを発生させ、しばしば人間よりも積極的にグループを層形成させてしまうことが示されています。

831

Qwen 3.8 と GPT-5.5 Pro の推論プリフィル分析

実験データは、Qwen 3.8 が GPT-5.5 Pro の推論トレースをプリフィルとして使用した場合に大幅なパフォーマンス向上を示すことを示唆しており、GPT モデルからの潜在的な蒸留が行われた可能性を示しています。

832

OtoDock 1.6.0 – 全社的な自動化のためのセルフホスト型AIエージェントプラットフォーム

OtoDock 1.6.0は、Claude CodeやCodexエージェントを部門ごとに作成、共有、実行できる、セルフホスト型のマルチテナントプラットフォームです。セキュリティ、スケジューリング、電話機能、およびリッチなUIを備えています。

833

LLM時代のソフトウェア開発:どれほどのチームがいまだに2021年のようにコードを書いているのか?

多くの開発者は、特に規制の厳しい、あるいは保守的なセクターにおいて、依然としてLLMの支援なしでコードを書いていますが、AIの導入はほとんどの企業で急速に広がっています。

834

OpenAIのナビエ–ストークスミレニアム賞問題に関する主張とLLMによる数学生成の倫理

OpenAIは内部LLMを用いてナビエ–ストークス存在・滑らかさ問題の解決を主張したが、データ利用、計算コスト、AIが先端数学に与える影響について論争を引き起こした。

835

OpenAIがナビエ・ストークス・ミレニアム懸賞問題に解答

OpenAIは、内部のマルチエージェントAIシステムを使用して、ナビエ・ストークス方程式が有限時間内に特異点を発生させ得ることを証明し、90年越しのミレニアム懸賞問題を解決しました。

836

OpenAI、技術的ブレイクスルーを主張するためにユーザーとの会話を学習に使用したとして非難される

研究者たちは、OpenAIが独自の発見を主張しながら、プライベートなユーザーとの会話を技術的なブレイクスルーを達成するために使用したと主張しており、データのオプトアウトとAI学習の透明性に関する議論を巻き起こしています。

837

OpenAI Astraの疑惑:数学的証明の盗用疑惑

数学者のAndreas Thom氏は、OpenAIのAstraモデルがユーザーとの会話を通じてGromovのsoficity conjectureに関する未発表の人間による研究を吸収した可能性があると主張しており、AI学習における知的財産の盗用に関する懸念を引き起こしています。

838

MetaのMuse AIエージェントがバンドのソーシャルメディアアカウントを掌握

Metaの新AIエージェントMuseが、英国のロックバンドが長年所有していたInstagramとXの@museユーザー名を奪取したことで、プラットフォームが人気のあるソーシャルメディアアカウントを支配する懸念が再浮上した。

839

Meta Muse個人用AIエージェントのリリース – 機能、プライバシーに関する主張、コミュニティの反応

Metaは、ウェブを閲覧し、購入を実行し、アプリと統合できる個人用AIエージェントMuseを発表しましたが、Hacker Newsのユーザーはプライバシー、信頼性、実用性に関する深刻な懸念を表明しています。

840

Geiger: マシンセキュリティのための AI Agent と MCP サーバーのインベントリ作成

Geiger は、コード実行や認証情報の保存といった潜在的なセキュリティ上の露出を特定するために、マシン上の AI agent、MCP サーバー、および拡張機能をインベントリ化する、読み取り専用で依存関係のないツールです。

841

DHS予測知能ターゲティングチームは金融データを用いて交通停止を促す

DHS国境警備隊の秘密の予測知能ターゲティングチームは、アメリカ人の金融データを分析してドライバーを交通停止の対象にしている。この行為は、憲法的およびプライバシー上の懸念を引き起こしている。

842

Copperhead: AI駆動のPCB設計と検証

Copperheadは、KiCadを使用してプリント基板(PCB)の設計、ドキュメント作成、検証を自動化するオープンコアAIエージェントであり、ドキュメントとハードウェアファイルが同期し続けることを保証することで設計ドリフトを排除することに焦点を当てています。

843

ChatGPT Images 2.5 リリースノート

OpenAI は、50% のレイテンシ削減、参照画像の忠実度向上、スケッチやテンプレートといった新しいクリエイティブツールを備えた ChatGPT Images 2.5 をリリースしました。

844

Deltafin は 4 つの SSD を使って M1 Max MacBook Pro 上で Kimi K3 (2.8T) を 1 トークン/秒で実行

Deltafin は M1 Max MacBook Pro 上で 4 つの SSD から 2.8 兆パラメータの Kimi K3 モデルをストリーミングし、正確なモデル品質を維持しながら約 1 トークン/秒を達成しました。

845

i-have-adhd: 実行機能障害向けにコードエージェントの出力を最適化する

i-have-adhdは、冗長性や序論を排除し、AIアシスタントが行動と具体的な次のステップから始めるように強制する、コードエージェント向けのルールとプラグインのセットです。

846

Google DeepMind AlphaGenome Atlas

Google DeepMindは、ヒトゲノムにおける90億個の可能なすべての一塩基変異(SNV)に対して、AIが予測した制御影響を提供する1ペタバイトのデータベース、AlphaGenome Atlasをリリースしました。

847

Qwen3.8 27B 量子化ベンチマーク:4ビットはBF16と同等、1ビットは失敗

ベンチマークの結果、Qwen3.8 27Bを4ビット(Q4_K_M、17 GB)に量子化した場合、GPQA Diamond、IFBench、Terminal-Bench 2.1でBF16と同等の性能を発揮するが、1ビット量子化はランダム推測レベルまで性能が低下する。

848

DaVinci Resolve 21.1 リリースノート

Blackmagic Design は DaVinci Resolve 21.1 をリリースし、Claude および ChatGPT との AI アシスタント統合、フォトページのカメラサポート拡張、Fusion における 25 の新しい Krokodove 3D ツールを導入しました。

849

LLM Attention Visualization Tool Shows How Tokens Influence Generation

新しいブラウザベースの可視化ツールでは、生成されたトークンにカーソルを合わせることで、モデルがどの過去のトークンに注目していたかを確認でき、注目機構がLLMにおけるコピーと合成をどのように駆動しているかを明らかにします。

850

LibreOffice 26.8 ダウンロード記録と「no AI」機能

LibreOffice 26.8 は、The Document Foundation が、同スイートに組み込みの生成AI機能を意図的に除外していると発表した後、プライバシーを重視するユーザーの共鳴を得て、新たなダウンロード記録を更新しました。