非ネイティブのライターのための新しいワークフロー:母国語で下書きをし、AIで英語に翻訳・洗練する。研究によると、第二言語での執筆は認知負荷により30-50%多くの時間がかかる。アイデア生成と言語変換を分離し、EchooのようなAIツールを使うことで、速度と品質を取り戻せる。
AI ニュース速報
リアルタイム監視
最新ニュース
信頼できる情報源、出典、権限、サイト内閲覧を保ちながら、AI の変化を読める情報に圧縮します。
最新ニュース
2026-07-15
AI支援コードレビューにおいて、決定的静的解析はトークン消費を大幅に削減できます。LLMを呼び出す前に既知の問題を決定的チェックでフィルタリングすることで、不必要な推論コストを削減し、真に判断が必要な曖昧な問題にモデルを集中させることができます。
AIDE2システムは、人間が2年かけて構築したものよりも優れた自律研究ハーネスを8日間で発見し、再帰的自己改善(RSI)の初めての実験的証拠を提供しました。二層最適化ループを用いて、7つの連続改良バージョンを生成し、未知のタスクへの一般化を示すとともに、報酬ハッキングに対する防御も進化させました。
ノキアは7月15日、業界初のGPUアクセラレーテッドAI無線プラットフォームと称するAI-RANプラットフォームを発表した。anyRANソフトウェアとNVIDIAのAerialシステムをベースに、スペクトル効率の大幅な向上を目指し、すでに20%以上の改善を示し、2028年までに100%以上の向上を目標とする。しかし、このプラットフォームはまだ商用化されておらず、エリクソンがすでに展開しているAI-in-RANソフトウェアとの競争に直面している。
ASMLの2026年第2四半期決算はガイダンスを上回り、純売上高93億ユーロ、純利益29億ユーロを達成。通年予想を430~450億ユーロに上方修正し、中国売上高はMATCH法の影響にもかかわらず約20%で安定。
UltraWork は、月額固定399ドルのホステッドAIコーディング環境で、トークン計測がなく、予期せぬ請求もありません。厳選されたモデルカタログ、インテリジェントルーティング、プロンプトテンプレートライブラリを備え、インディーハッカーや小規模チーム向けに設計されています。高性能インフラの経験を持つエンジニアによって運営されています。
Googleは2026年7月9日、オンデバイス推論ライブラリLiteRTのJavaScriptバインディングであるLiteRT.jsをリリースしました。これにより、.tfliteモデルをブラウザ上で直接実行でき、WebGPUアクセラレーションを活用します。他のWebランタイムと比較して最大3倍、GPU/NPUパスはCPUパスと比較して5~60倍の高速化を実現しますが、テンソルの手動管理が必要です。
Lean64 は、Lean 4 で実装されたミニマルな 3D 一人称視点シューティングゲームで、Doom 64 にインスパイアされています。Doom 64 の移植版ではなく、独自のアートとサウンドを使用したクリーンルーム実装です。
TormentNexusは、ローカルファーストのオープンソースAI制御プレーンで、永続的なメモリ、MCPツールオーケストレーション、マルチエージェントワークフローのための自律インフラ管理を提供します。38以上のAIコーディングエージェントをサポートし、プログレッシブツールルーティング、デュアルティアメモリアーキテクチャ、スウォーム調整などの機能を備えています。
10分で音声AIエージェントを構築
アンソニー・アルバニージー首相は、AIモデルによる作品の悪用からオーストラリアのクリエイターを保護するため、人工知能オフィスを設立すると発表した。また、データセンターの新たな規制を導入し、住宅地との競合回避や電力・水使用の制限、電気料金への影響防止を図る。
本記事では、AIコーディングアシスタントが「プロンプト→待機→評価」のループを通じてフロー状態を破壊するメカニズムを探る。著者は、このサイクルがプログラミング本来の明確な目標、即時フィードバック、スキルに合った挑戦を置き換え、絶え間ないコンテキストスイッチと精神的な再構築を強いることを解説。フロー理論や中断研究を引用し、AIが新たな陰湿な中断源となる理由を分析する。解決策として、タスクの種類に応じてAI利用を区別し、バッチ処理で深い集中を守ることを提案。
Tiptap AI Toolkitは、AIが直接かつリアルタイムにドキュメントを編集できるようにし、コラボレーションと生産性を向上させます。
AnthropicがClaudeの内部に意識の兆候を発見したと主張する一方、神経科学者のアニル・セスは、それは単なるシミュレーションであり、天気予報システムが実際のハリケーンを生み出さないのと同じだと指摘する。
人工知能が多重仮説検定における偽発見率(FDR)制御の重要な問題の解決に寄与しました。この問題はBenjaminiとHochberg(1995)の先駆的研究に基づいています。
Monidは、AIエージェントが1300以上のツールにシームレスに接続して使用できるプラットフォームです。検索、データスクレイピング、天気、3Dモデリングなどをカバーします。統一された支払いシステムで、サブスクリプション不要の従量課金制を採用し、Skill、MCP、CLIの3つの統合方法をサポートしています。
匿名のMeta社員26人が、同社が5月の大規模解雇で差別的なAIソフトウェアシステムを使用したと主張して提訴した。この解雇で8000人(全従業員の10%)が影響を受けた。
ジョージ・ルーカスは、AIを拒否することは車を拒否して馬を選ぶようなものだとして、時代遅れの考え方だと述べた。彼はAIが映画製作の未来であり、止められないと主張する。
AI or Notは、AI生成コンテンツを識別するツールで、テキストや画像などが人工知能によって生成されたものかどうかを判断するのに役立ちます。
Sogni Unlimitedは、分散型GPUネットワークを利用したサブスクリプション型の無制限画像・動画・音楽・LLM生成サービスです。レンダリングごとの課金はなく、オープンソースモデルと一部の有料パートナーモデルをサポート。サブスクリプション収入の一部は独立したGPUオペレーターを支援します。
2026年6月、AnthropicのClaude Fable 5のシステムプロンプトがGitHubで流出しました。これは3826行に及ぶドキュメントで、モデルの動作を導くためのものです。本記事では、その出典、構造、拒否処理、ケア義務、メモリーシステム、エージェント機構、著作権保護などの重要な部分を詳しく解説し、最先端のAIがいかにエンジニアリングされたルールブックであるかを明らかにします。
AIがあなたの一週間のスケジュールを立て、行動を促します。
この記事では、AIセラピーのためのシステム設計について説明します。決定論的パイプラインを使用して臨床アクションを決定し、LLMが自律的に判断するのを防ぎます。スコアリング、状態バケット、アドミッションテーブル、アクション選択、マイクロプラクティス、危機事前スクリーニングが含まれ、LLMはスコアリングと生成にのみ使用されます。また、このアプローチのコストと限界についても議論されます。
研究者らは、密接な四軸飛行機編隊飛行において、空力相互作用を捉えつつ微分平坦性を維持する物理情報に基づく残差動力学学習フレームワークを提案する。このアプローチにより計算効率の高いフィードバック線形化コントローラが実現され、平均追跡誤差をベースライン比31%削減する。性能は最先端の非線形モデル予測制御(NMPC)に匹敵し、計算量は1桁少ない。30秒未満の訓練データと5msのループレートで安定した編隊飛行を達成する。
DiffRadarは、レーダー観測を離散スキャンではなく微分可能な物理認識型の異方性ガウス場としてモデル化し、ロボットの姿勢とシーン構造を同時に最適化するリアルタイムレーダーSLAMシステムである。公開ベンチマークとストレステストにおいて軌道誤差を大幅に削減し、地図の一貫性を2倍以上に高めながら70 FPSのリアルタイム性能を維持する。
本論文は、コーディングエージェントがロボット側のMCPサーバーからスキルライブラリを含む契約を取得することで、自然言語から実行可能な行動木を合成するアーキテクチャを提案する。シミュレーションと実機実験で高い成功率を達成。
LLM 駆動の NAO ロボットと協調的な連想ゲームを行う実験で、ロボットの gaze が人間の視覚的注意に与える影響を調査した。アイトラッキングの結果、ロボットの gaze 方向はロボットが提案した単語への初回注視時間に影響しなかったが、参加者の対話に確認要求が含まれる場合、より頻繁にロボットを見た。これは認知負荷の高い課題では、言語的要因が指示的 gaze の効果を上回る可能性を示唆する。
本論文は、マニピュレータの運動を利用した推進剤不要の姿勢制御を、関節および衝突制約を考慮した軌道最適化問題として定式化し、リアクションホイールアレイと同等の制御能力を持つ可能性を示す。宇宙組立・製造への応用が期待される。
本論文は、Sony ERS-111 AIBO向けR-CODEサンプル分布から生成された行動図のコーパスレベル分析を提示し、初期化・センシング・反復行動・同期・回復を中心とするコンパクトな身体性文法を明らかにするとともに、状態ベース抽象化が制約されたネイティブロボットシステム上でのカプセル化された行動ルーチン構築のための中間表現として有用であると論じている。
GaitSpanは、事前学習された歩行ポリシーを種スキルとして活用し、リズム生成、ストライド整形、残差適応の3つのモジュールを通じて、歩行から走行への連続的な速度範囲、形態間移行、ゼロショット展開を実現する新しいフレームワークです。