AI速報 - 18ページ目

大規模言語モデルのトレーニングとサービス提供の仕組み:数理的な解説

大規模言語モデルのトレーニングとサービス提供の仕組み:数理的な解説
Reiner Pope氏による大規模言語モデル(LLM)のトレーニングとサービス提供に関する黒板を使った講義形式の解説動画が公開されました。API価格や公開されている数式から、AIラボの内部情報を推測できる点が驚くべきです。講義では、Transformerモデルの処理時間、MoEモデルのGPUへの配置、パイプライン並列処理、そしてRL(強化学習)による過剰なトレーニングなどの要素が数式を用いて解説されています。また、バッチサイズがコストと速度に与える影響や、メモリ帯域幅と計算性能の関係についても詳しく説明しています。

#Tech

イランのインターネット遮断を回避するStarlink技術の密輸

イランのインターネット遮断を回避するStarlink技術の密輸
イラン政府によるインターネット遮断を受け、海外在住者らがStarlink端末を密輸し、国内に供給する活動が行われています。StarlinkはSpaceX社の衛星を利用したインターネットサービスで、イランの検閲を回避できます。当局はStarlink端末の所持や使用を厳しく取り締まっていますが、情報へのアクセスを求める人々によって、その数は増加しており、VPNとの併用などの対策も講じられています。この活動は、イラン国内の状況を国際的に共有し、変化を促すために重要な役割を果たしています。

#Tech

リーマン予想とコラッツ予想の共通証明:数論的音響時空におけるエコー干渉

リーマン予想とコラッツ予想の共通証明:数論的音響時空におけるエコー干渉
クリスティン・ティンスキー氏が、リーマン予想とコラッツ予想を単一の構造定理として証明したと発表しました。この証明は、閉じた証拠系における「エコー干渉」という現象を利用しており、構造的に正のドリフトを持つ軌道は有限のステップで固定された領域に到達するというものです。両方の証明は独立した方法論を用いており、解析、代数、位相、測度論など27の同等な数学的表現に埋め込まれています。この定理の鍵となる要素は「グローバルなロゴスセクション」であり、その存在と一意性が証明されています。検証用のテストコードはGitHubで公開されています。

#Tech

日本でホテルや介護施設が相次ぎ閉鎖、ビザ取得と関連する疑い

日本でホテルや介護施設が相次ぎ閉鎖、ビザ取得と関連する疑い
千葉県銚子市のホテルを含む、日本全国で少なくとも24のホテルや介護施設が閉鎖または営業を停止していることが判明しました。運営会社の社長は、施設の老朽化を理由にしていると説明していますが、複数の元従業員によると、施設を安価で取得後、中国の買い手に高額で再販するM&A戦略をとっていたようです。このビジネスモデルは、中国の投資家が日本での「ビジネス・マネージャー」ビザを取得する目的と関連している可能性があり、元従業員からはそのための費用が含まれていたとの証言も得られています。社長は未払い賃金や広範な事業運営に関する質問に対し、弁護士の相談が必要であるとして回答を拒否しています。

#Tech

カニが横歩きをする理由:2億年前の祖先にその起源

カニが横歩きをする理由:2億年前の祖先にその起源
カニの独特な横歩きの起源を解明するため、研究チームが50種のカニの歩き方を詳細に分析しました。その結果、横歩きは、約2億年前の共通祖先にまで遡ることが判明しました。この横歩きは、捕食者からの逃げやすさなど、生態系におけるカニの成功に大きく貢献したと考えられます。今回の研究は、動物の移動様式を理解する上で重要な知見を提供し、横歩きはEubrachyuraグループで一度だけ進化を起こした稀な形質であることが示唆されました。

#Tech

知能の購入と知能

ユーザーは、より安価で高速なオープンソースモデルが存在するにも関わらず、高価で遅いモデル(Opus 4.6など)を選び続けている。これは、知能の投資収益率の非線形性、知能の測定の難しさ、競争環境下での優位性確保、そして知能を増やすための投資が常に可能であるという4つの要因が影響しているためである。特に、わずかな知能の向上でも飛躍的な視点や成果をもたらす可能性があり、その価値は計り知れない。現在では、より高度な推論や自己修正を行うモデルに高額な費用を投じる傾向にあり、今後もその傾向は続く可能性がある。

#Tech

暗すぎ?明るすぎ?研究者たちは読書を容易にするためにあなたの協力を必要としています

暗すぎ?明るすぎ?研究者たちは読書を容易にするためにあなたの協力を必要としています
ノースカロライナ州立大学の研究チームは、現実世界の読書における課題(眩しさや小さいフォントなど)を調査する参加型プロジェクトを開始しました。プロジェクトでは、照明やフォントサイズなどの読書に影響する要素が、日常的にどれほど影響を与えているかを分析します。得られたデータは、アクセシビリティに関するガイドラインの改善や、より多くの人々にとって読みやすい情報を提示するための情報提供に役立つ可能性があります。参加にはスマートフォンと、ポストカード程度のサイズの「参照カード」が必要です。

#Tech

How can I close over variables in kdb/Q?

How can I close over variables in kdb/Q?
```json { "titleJa": "kdb/Qにおける変数のオーバークロージャーの実現方法", "summaryJa": "kdb/Qでローカル変数を使用する関数を定義する際、変数のスコープに注意する必要があります。`each`を用いた単純な関数では、ローカル変数を直接参照できません。エラーが発生する場合は、関数内で変数を明示的に参照するようにする必要があります。JavaScriptの`let`構文のように、変数を関数内で定義し、そのスコープ内で利用する方法が考えられます。" } ```

#Tech

Architectures of Error: A Philosophical Inquiry into Human and AI Code

Architectures of Error: A Philosophical Inquiry into Human and AI Code
```json { "titleJa": "エラーのアーキテクチャ:人間とAIコードの哲学的な考察", "summaryJa": "生成AI(GenAI)の普及に伴い、大規模言語モデル(LLM)がコード生成に活用されるようになり、人間プログラマーと共著者として機能する場面が増えています。本論文では、人間とAIのコード生成におけるエラーの発生原因の違いを明確にするため、「エラーのアーキテクチャ」という概念を提唱し、認知的なエラー(人間)と確率的なエラー(AI)という根本的に異なる原因を区別します。分析には、メカニスティック・ファンクショナリズムと方法論的プラグマティズムを参考にし、意味的一貫性、セキュリティ、エピステモロジカルな限界、制御メカニズムといった重要な哲学的問題を提起します。さらに、抽象化のレベルを活用し、GenAIによるヒューマン・AI協調ソフトウェア開発におけるエラーの相互作用と進化を理解するための枠組みを提供します。" } ```

#Tech

India’s major airlines on ‘verge of closing down’ as high fuel costs sting

India’s major airlines on ‘verge of closing down’ as high fuel costs sting
```json { "titleJa": "インド主要航空会社、高騰燃料費で経営危機", "summaryJa": "インド航空業界は、ジェット燃料価格の高騰により深刻な経営難に陥っており、サービス停止の可能性も警告されています。業界団体は政府に対し、燃料価格の制限緩和や税制優遇を求めています。政府はガソリン価格の引き上げ計画を否定しましたが、航空タービン燃料については回答を避けています。燃料価格の引き上げに関する憶測が広がる中、インドの航空会社はタイ、ドバイ、マレーシア、シンガポールと比較して高い燃料費を負担しています。" } ```

#Tech

Bluebuck - Colossal

```json { "titleJa": "絶滅種ブルーバックの復活プロジェクト:Colossal Biosciences", "summaryJa": "Colossal Biosciencesは、1799年に絶滅したアフリカのブルーバック(Hippotragus leucophaeus)の復活プロジェクト「Colossal Project 006」を開始しました。このプロジェクトは、遺伝子解析とゲノム編集技術を活用し、博物館に保存されているわずかな標本からDNAを抽出し、ブルーバックの生態系、遺産、そして回復力の物語を再構築することを目指しています。復活プロジェクトは、新規のゲノム技術の開発を促進し、絶滅危惧種の保護に貢献すると期待されています。ブルーバックは、その特徴的な青みがかった体色で知られていましたが、標本は時間の経過とともに色が変化しています。" } ```

#Tech

AI Cyberattacks Meet Memory-Safe Code Defenses

AI Cyberattacks Meet Memory-Safe Code Defenses
```json { "titleJa": "生成AIによるサイバー攻撃とメモリ安全コード防御", "summaryJa": "生成AIの進化により、ソフトウェアの脆弱性を悪用したサイバー攻撃が迅速かつ低コスト化している。一方で、AnthropicのClaude Mythosモデルは脆弱性発見にも活用され、主要OSやブラウザのゼロデイ脆弱性を早期に特定するのに役立っている。初期のファジング技術のように、AIを活用した脆弱性発見が攻撃側と防御側のどちらに有利になるかは不透明だ。しかし、自動化された脆弱性発見はコストを削減する一方、攻撃手法の技術的なハードルが下がり、防御には熟練エンジニアによる分析と対応が必要となる。特に、小規模チームで運営される重要なオープンソースプロジェクトにおける脆弱性対応の負担増が懸念されており、単なるAIの規制や自動パッチ化だけでは根本的な解決策にはならない。" } ```

#Tech

I started using Linux terminal on Android and now I can do things no app store tool allows

I started using Linux terminal on Android and now I can do things no app store tool allows
```json { "titleJa": "AndroidでLinuxターミナルを使うと、アプリストアのツールではできないことが実現できる", "summaryJa": "Android端末でLinuxターミナルを使用することで、アプリストアのアプリでは難しい複雑なタスクを実行できるようになります。TermuxとGoogleのLinuxターミナルという2つの主要な方法があり、それぞれ特徴と利用可能なパッケージが異なります。Linuxターミナルを利用することで、SSHサーバーの構築やRsyncによる効率的なファイル転送、スクリプトによる自動化など、Androidの可能性を大幅に広げることができます。" } ```

#Tech

Pentagon budget documents reveal it's pursuing containerized 300kW+ laser weapons, ambitious Joint Laser Weapon System designed to shoot down cruise missiles — system part of $17.9 billion Golden Dome missile-defense initiative

Pentagon budget documents reveal it's pursuing containerized 300kW+ laser weapons, ambitious Joint Laser Weapon System designed to shoot down cruise missiles — system part of $17.9 billion Golden Dome missile-defense initiative
```json { "titleJa": "国防総省の予算書が新型レーザー兵器の開発を加速していることを示す", "summaryJa": "国防総省が新型のJoint Laser Weapon System (JLWS) の開発を加速させていることが、公開された予算書で明らかになった。JLWSは巡航ミサイルを迎撃することを目的としており、「Golden Dome」と呼ばれる弾道ミサイル防御イニシアチブの一環として位置づけられている。今回の開発では、300kWを超える出力を持つコンテナ型レーザー兵器の実現を目指しており、運用上の柔軟性を高めるための設計となっている。今後、高エネルギーレーザーを活用したミサイル防衛システムの実用化が期待される。" } ```

#Tech

Steve Hilton: could this British former Fox News host be California’s next governor?

Steve Hilton: could this British former Fox News host be California’s next governor?
```json { "titleJa": "元FOXニュース司会者、カリフォルニア州知事選に挑む?", "summaryJa": "英国出身の政治コンサルタント兼実業家スティーブ・ヒルトン氏が、カリフォルニア州知事選に予想外の強さで臨んでいます。民主党が圧倒的な優位性を誇るカリフォルニア州において、ヒルトン氏は共和党候補として、現知事ガビン・ニューソン氏の後継者争いでトップの座を争う可能性を秘めています。彼の勝利への鍵は、民主党候補者の混乱と、高コスト生活や経済機会の不足に対する有権者の不満を背景とした「政治革命」を起こすことにあります。トランプ氏との関係を活かし、実用的な政策を掲げ、有権者へのアプローチを重視することで、勝利を目指しています。" } ```

#Tech

‘Go inside, he will kill you’: Israeli militants step up West Bank school attacks

‘Go inside, he will kill you’: Israeli militants step up West Bank school attacks
```json { "titleJa": "イスラエル人準兵士による学校襲撃、パレスチナ人少年死亡", "summaryJa": "パレスチナ人の少年アウス・アル・ナサンが、イスラエル人準兵士によって学校の門外で頭を撃たれ死亡しました。同様に、別の準兵士が別のパレスチナ人の男性を殺害しました。これらの事件は、ヨルダン川西岸地区における入植者による暴力の激化の一環であり、学校や生徒を標的にしています。パレスチナの学校は、ガザ地区では破壊や閉鎖に直面しており、ヨルダン渓谷では入植者による施設破壊が発生しています。ユニセフは、このような攻撃が子供たちの生活に深刻な影響を与えていると警告しています。" } ```

#Tech

Less financial stability, smaller social safety nets: inside the gen Z investing boom

Less financial stability, smaller social safety nets: inside the gen Z investing boom
```json { "titleJa": "Z世代の投資ブーム:経済的不安定とオンライン投資文化", "summaryJa": "Z世代は、経済的な不安定さや社会保障の低下を背景に、過去の世代よりも早く投資を開始する傾向にあります。暗号資産投資で痛手を経験した人もいますが、今ではAIを活用したロボアドバイザーの利用や、ロボティクス、AIなどの分野への投資にシフトしています。ETF(上場投資信託)への長期投資が主流で、若年層のコスト意識の高さが将来的なリターンに繋がると期待されています。一部の若者は積極的にデイトレードや暗号資産取引に挑戦していますが、専門家は長期的な視点での分散投資を推奨しています。" } ```

#Tech

Infrasound waves stop kitchen fires, but can they replace sprinklers?

Infrasound waves stop kitchen fires, but can they replace sprinklers?
```json { "titleJa": "超音波がキッチン火災を鎮めるが、スプリンクラーの代替になるか?", "summaryJa": "カリフォルニア州で実証されたSonic Fire Tech社の技術は、AIセンサーが火災を検知し、超音波(インフラサウンド)を放射することで消火するシステムです。この技術は、燃焼に必要な酸素を遮断することで火災を鎮めます。同社は、水による損害のリスクを減らすため、スプリンクラーの代替としての利用を目指しています。ただし、専門家からは、広範囲な火災や再燃の可能性など、実用化には課題が残ると指摘されています。また、NFPA(National Fire Protection Association)の基準に準拠するための詳細な検証とデータ公開も求められています。" } ```

#Tech

Fino – Expense Tracker - Apps on Google Play

Fino – Expense Tracker - Apps on Google Play
```json { "titleJa": "Fino – 支出トラッカー", "summaryJa": "Finoは、個人財務管理を容易にするシンプルな支出トラッカーアプリです。収入、支出、残高を一元管理し、カテゴリー分けや月ごとの概要表示など、直感的なインターフェースで財務状況を把握できます。グラフ表示機能やオフラインでの利用も可能で、広告やトラッキングもありません。Pro版では、より詳細な統計分析やセキュリティ機能を利用できます。" } ```

#Tech

My New Ebook (Free Download): Quantization for Modern AI Systems

My New Ebook (Free Download): Quantization for Modern AI Systems
```json { "titleJa": "最新のAIシステム向け量子化:無料電子書籍", "summaryJa": "大規模AIシステムにおけるメモリボトルネックを解消する手法として、Google ResearchのTurboQuantが登場しました。TurboQuantはKVキャッシュの圧縮に特化したベクトル量子化手法であり、次元あたり3~4ビットに圧縮しつつ、FP16と同等の精度を維持します。著者は量子化の基礎から最新のAIシステムまでを網羅した70ページ以上の電子書籍を公開しており、GPTQ、AWQ、QLoRAなどの技術や、vLLM、TensorRT-LLMといったプロダクションシステムでの活用方法を解説しています。モデルのスケーリングとコンテキストウィンドウの拡大に伴い、量子化とメモリ最適化の重要性はますます高まっています。" } ```

#Tech

Spirit Airlines shutting down after rescue talks collapse

Spirit Airlines shutting down after rescue talks collapse
```json { "titleJa": "スピリット航空、救済交渉の決裂により事業停止", "summaryJa": "スピリット航空は、トランプ政権からの5億ドル規模の救済策を確保できなかったため、事業を停止することを決定した。ジェット燃料価格の高騰が経営を圧迫し、破産からの再建も困難となった。既に運航は停止されており、クレジットカード決済での航空券購入者は自動的に払い戻しが行われる。同航空は、代替交通手段や宿泊費などの補償は行わないとしている。" } ```

#Tech

Earning the Right to Have an Opinion on AI in the SDLC

Earning the Right to Have an Opinion on AI in the SDLC
```json { "titleJa": "AI開発ツールに対する意見を述べる資格を得るために", "summaryJa": "SVPの筆者は、AI開発ツールに関する意思決定を行うために、9週間もの間、顧客向けのプロダクションコードを自身で開発しました。その結果、現在のAI開発ツールは、既存の複雑なシステムへの適用や、AIのタイプライティングと人間の監督・レビュー・修正を組み合わせた作業が重要であることがわかった。AIによるコードレビューは、人間のレビュアーと並行して活用することで、より高い品質を維持できる点も明らかになりました。しかし、CSSや視覚的な作業、制約条件の無視、レガシー契約のずれといった課題も存在し、常に人間の目による確認が不可欠です。" } ```

#Tech

Craig Venter raced to decode the human genome

Craig Venter raced to decode the human genome
```json { "titleJa": "クレイグ・ヴェンター氏、ヒトゲノム解読競争をリード", "summaryJa": "ジェームズ・ワトソンは、共同研究者フランシス・クリック氏を謙虚な態度とは言い難い人物として描写した。この記述は、クレイグ・ヴェンター氏にも当てはまる。彼は自己評価は高いものの、科学界からの完全な評価が得られなかったと感じていたため、競争的な姿勢をとったと言える。ヴェンター氏は独自の技術でヒトゲノム解読を加速させ、その過程で大きな功績を残した。" } ```

#Tech

Daniel's Blog · The Century-Long Pause in Fundamental Physics

```json { "titleJa": "素粒子物理学における100年間の停滞", "summaryJa": "量子力学の解釈論争は、物理学における長年の未解決問題として認識されているが、これは数学モデルとしての量子力学と、それを現実世界に適用する物理理論の区別が曖昧であることに起因する。1928年以降、素粒子や相互作用が発見されてきたが、基本的な存在論(時空や物質の構造)は大きく変化しておらず、新しい存在論が確立されていない。この状況は、物理学が計算形式主義を拡張する速度よりも、存在論の刷新が遅れていることが原因と考えられる。量子力学の真髄は、物質が波動のような性質を持つことや、原子の状態が離散的であることなど、1900年から1928年の間に発見された物理的構造に存在する。" } ```

#Tech

LA’s levitating amoeba: a radically new kind of museum

LA’s levitating amoeba: a radically new kind of museum
```json { "titleJa": "ロサンゼルスの浮遊するアメーバ:革新的な新美術館", "summaryJa": "スイスの建築家ピーター・ツォンマーが設計したデビッド・ジェフェンギャラリーが、ロサンゼルス郡美術館(LACMA)の新拠点として開館を控えています。コンクリートとガラスで造られた巨大な建造物は、交通量の多いウィルシャー通り上に浮遊するアメーバのように見えます。20年の歳月をかけて完成したこの美術館は、7億2400万ドルの巨額な費用と大胆な建築が特徴です。5月4日に一般公開される予定です。" } ```

#Tech

PoolQuant

```json { "titleJa": "PoolQuant:プールの状態を記録・分析するツール", "summaryJa": "PoolQuantは、プールの状態を記録するシンプルなツールです。pH、FC(遊離塩素)、TA(アルカリ度)などの測定値、写真、メンテナンス履歴、メモ、質問などを記録し、AIがこれらの情報を解析して、個別のプールの状態に合わせたアドバイスを提供します。利用者は記録を重ねることで、より詳細なアドバイスを受けられ、プールの状態変化を把握できます。現在はα版として無料で利用可能で、Google、Apple、またはパスワードレスメールでサインアップできます。" } ```

#Tech

How Fast Could Robot Production Scale Up?

How Fast Could Robot Production Scale Up?
```json { "titleJa": "ロボット生産はどれだけ急速にスケールアップできるのか?", "summaryJa": "ロボティクス技術が飛躍的に向上し、ヒューマノイドロボットなどが人間の作業を代替する時代を想定し、ロボット生産のスケールアップ速度を分析した結果、2025年にはヒューマノイドロボット16,000台、四足歩行ロボット81,000台、アーム型ロボット570,000台、ホイール型ロボット3300万台、ドローン1600万台の生産が見込まれています。サプライチェーンの制約から、工場建設や部品供給の遅れがスケールアップのボトルネックとなる可能性があります。特に、高精度レデューサーの供給が、ヒューマノイドおよび四足歩行ロボットの生産量を制限しています。" } ```

#Tech

The Fight to Save the Yachats Whale

The Fight to Save the Yachats Whale
```json { "titleJa": "オレゴンの定住クジラを救うための戦い", "summaryJa": "オレゴン州の小さな町ヤハッツ沖で、若いザトウクジラが漂着した。以前、地元住民がテグーネットに絡まり苦しんでいるのを発見し、ロープが胸びれとキテンに巻き付いていた。地元住民がロープを切断したが、クジラは浅い波に押し寄せた。夜が迫り、高潮と濃霧が迫る中、専門家はクジラの状態を評価できず、地元の女性がFacebookで助けを要請した。この投稿を受け、地元の住民やボランティアが集まり、不可能なほどの規模のレスキュー作戦が展開された。専門家は現場に到着するも対応せず、地元住民の努力によって、クジラは最終的に海に帰ることができた。" } ```

#Tech

MooBlock - Chrome Web Store

MooBlock - Chrome Web Store
```json { "titleJa": "MooBlock - 気分転換を妨げるウェブサイトをブロックするChrome拡張機能", "summaryJa": "MooBlockは、ウェブサイトの閲覧を阻害するサイトをブロックするChrome拡張機能です。従来のブロックツールとは異なり、アダプティブ・フリクションと呼ばれる仕組みで、アクセスするたびにタイムアウトを設け、頻度に応じてタイムアウト時間を調整します。また、視覚的に楽しい要素として、画面上に牛を表示し、滞在時間に応じて牛の数を増やします。ウェブ履歴やコンテンツへのアクセス情報を収集しますが、第三者への販売や貸付目的での利用は行いません。" } ```

#Tech

Under the microscope: Pyramid (unreleased Saturn prototype)

Under the microscope: Pyramid (unreleased Saturn prototype)
```json { "titleJa": "未発売セガサターン試作版『Pyramid』の謎が解明", "summaryJa": "セガサターンの未発売ゲーム「Pyramid」について、Sega Retroが詳細な調査を行い、その正体が明らかになった。当初は『Pyramid no Nazo: Ankh 2』のバージョンかと思われたが、実際には1990年代にアメリカで開発されたエドテク(教育エンターテイメント)ゲーム『Pyramid: Challenge of the Pharaoh’s Dream』の試作版であることが判明。開発者のAlexander Ehrath氏によると、コンソールへの移植を試みたものの、技術デモの段階でプロジェクトが頓挫したという。現在はHidden Palaceで体験可能で、開発秘話も語られている。" } ```

#Tech

18 / 19