1241人間は4万回のゲーム実行でAIエージェントのコマンドを承認する際、3つの脅威のうち1つを見逃したAIコーディングエージェント のコマンド承認を人間が監督するブラウザゲームの分析 4万回以上のプレイデータ から人間の判断精度や課題を調査 脅威コマンドの見逃しや誤ブロック の傾向を可視化 許可疲れや...76日前|原文(scalex.dev)
1242GCC運営委員会がAI政策を発表GCC Steering CommitteeがAI貢献ポリシーを承認 LLM生成コンテンツの「法的に重要な貢献」を拒否 「法的に重要」の基準は15行以上 テストケースには例外あり ポリシーは今後も見直...83日前|原文(lwn.net)
1243Show HN: みんながAIアプリを作る中、私のスプレッドシートは2,300ユーザーに達しましたWrite-It-Down.com は、Google Sheets上で動作する 個人向けファイナンストラッカー。 サブスクリプション不要、 一度の購入 で永続利用可能。 シンプルで初心者にも使いやすい...380日前|原文(write-it-down.com)
1244GLM 5.2と今後のAIマージン崩壊AI経済の転換点として 推論コスト の重要性を指摘 DeepSeek R1事件 を例に市場の誤解を解説 GLM5.2 などのオープンウェイトモデルの実力と課題を分析 移行コストの低さ やデータプライバ...107日前|原文(martinalderson.com)
1245StemDeck、無料のオープンソースでローカルなAIステム分離器StemDeck はローカルで動作する無料の ステム分離ツール YouTubeや音声ファイル を最大6つのステム（ボーカル等）に分離 DAW風の マルチトラックミキサー で再生・編集・エクスポート可能...54日前|原文(github.com)
1246AIクレジット再販経済Token brokers の台頭とクレジット転売市場の実態解説 AIサービス利用クレジット の非公式売買ネットワークの拡大 主要な マーケットプレイス やディスカウント手法の紹介 市場規模 や不正リ...66日前|原文(vectoral.com)
1247パーソナルAIファクトリーの構築AIエージェントを工場のように組み合わせて、コード生成・検証・改善を自動化する手法の紹介。 出力（生成コード）は使い捨て とし、プランやプロンプト（入力）を改善して品質向上を図る考え方。 複数のAIモ...477日前|原文(john-rush.com)
1248LM Studio Bionic: オープンモデル向けのAIエージェントLM Studio Bionic は、オープンモデル対応のAIエージェントとして登場 コーディングやドキュメント作業など、実務に特化した機能を搭載 ローカル・クラウド双方でモデルを柔軟に利用可能 プラ...97日前|原文(lmstudio.ai)
1249MeshCore開発チームが商標問題とAI生成コードを巡って分裂MeshCore開発チームは、85以上のファームウェアバージョンと75種類以上のハードウェアに対応した高品質なソフトウェアを人力で開発。 Andy KirbyがAIコード生成を多用し、MeshCore...181日前|原文(blog.meshcore.io)
1250Launch HN: RunAnywhere (YC W26) – Apple Siliconでの高速AI推論RCLIはApple Silicon向けの高速オンデバイス音声AI。 STT（音声認識）、LLM（大規模言語モデル）、TTS（音声合成）が完全ローカルで動作。 MetalRTエンジンによる圧倒的な推論...225日前|原文(github.com)
1251Show HN: LocalGPT – Rustで構築されたローカルファーストのAIアシスタント、永続メモリ付きLocalGPTは Rust製のローカルAIアシスタント で、 単一バイナリ ・ 永続メモリ ・ 自律タスク を実現 Node.js、Docker、Python不要 で、完全にローカルデバイス上で動作...256日前|原文(github.com)
1252Launch HN: Issen (YC F24) – 個人向けAI言語チューターISSENは、個人の興味や目標に合わせてカスタマイズ可能な外国語音声チューターアプリ。 従来の高額・不便なマンツーマンレッスンの課題を解決。 独自AI音声パイプラインでリアルな会話練習を実現。 ゲーミ...482日前
1253AIエージェント用の一時的なCloudflareアカウントCloudflare がAIエージェント向けの Temporary Accounts 機能を発表 サインアップ不要で 即時デプロイ が可能 一時アカウントは 60分間有効、その間に引き継ぎも可能 エー...123日前|原文(blog.cloudflare.com)
1254Clawdbot - オープンソースのパーソナルAIアシスタントClawdbotは、ローカル実行型のパーソナルAIアシスタント。 主要なメッセージングサービスと連携し、高速かつ常時稼働。 セットアップはCLIウィザード推奨、Node.jsベースでクロスプラットフォ...269日前|原文(github.com)
1255数学者が知っておくべき「Lean定理証明器」について：信頼性とAI数学の一貫性と信頼性が文明と科学を支える基盤であることを強調 数学の形式化と証明支援システム（Leanなど）の発展経緯を解説 AIによる自動形式化（autoformalization）の現状と急速な進...12日前|原文(terrytao.wordpress.com)
1256arXivにおけるAIライティングの測定方法とその限界12,750本のarXiv論文を分析し、約3分の1が機械生成と判定 ChatGPT登場以降、機械生成と判定される論文が急増 検出器の誤検出率は0.4%に調整し、信頼性を確保 分野による差が大きく、数学...93日前|原文(unslop.run)
1257Launch HN: Morph (YC S23) – AIによるコード編集を4,500トークン/秒で適用MorphはAI生成コードの編集を高速かつ信頼性高く既存ファイルへ適用するモデルを開発。 従来のフルファイル書き換えや検索置換に比べ、圧倒的なスピードと正確性を実現。 独自のFast Applyモデル...471日前
1258クロード 4Claude Opus 4とClaude Sonnet 4が発表され、コーディング・推論・AIエージェント分野で新基準を確立。 Opus 4は世界最高性能のコーディングモデルで、長時間・複雑タスクにも...517日前|原文(anthropic.com)
1259Perplexityは、クローリング禁止指示を回避するために、隠密の未申告クローラーを使用しています。Perplexity によるステルスクローリング行為の観測 robots.txt やWAFルールを回避するための偽装行動 Cloudflareによる 検出・ブロック の実施状況 善良なボット運用 の基...443日前|原文(blog.cloudflare.com)
1260DevstralDevstral は、ソフトウェア開発向けのエージェント型LLMであることを発表 Mistral AI と All Hands AI の協力で開発され、SWE-Bench Verifiedで高い性能を...518日前|原文(mistral.ai)