~AI関連記事を3行にまとめて紹介~
1週間のAIの話題をまとめて読める、
📨Weekly AI News はこちら!
🔎
OpenAIの次期主力AIモデル「Astra」が10件の数学・理論計算機科学の課題で新成果、証明をLean 4..
新主力AIモデルAstraが未解決課題10件で成果を発表
証明をLean4で機械検証可能に形式化した
論文は249ページで証明データ公開と検証ツールを提供
✨
Orchard: An open framework for scalable agentic AI - Microsoft Research
オープンソースのスケーラブルなエージェントAI研究フレームワーク。
再利用可能な環境サービスで、エージェントを訓練・評価できる。
SWE・GUI・Clawの3レシピとデータ評価手法を公開、SWEは約3Bで73%到達。
🔥
Agentic coding techniques
エージェント型のコーディングで保守性の高いコードを作る。
理解とレビューを経てマージすることが重要。
オープンウェイトのモデルを優先し、ローカル環境でコード生成を行う。
🔥
MirrorCode: What's the largest software project AI can complete on its own? | Epoch AI | E..
ソースなしで全プログラムをエンドツーエンド再現する長期課題を評価。
25課題の多分野プログラムを対象に再現と検証を行う。
データ汚染の懸念がある中、記憶に頼らず評価する。
🚀
Armature · Product analytics for agent sessions
セッションはUI以外のAIクライアントに保存される。
思考と使い方を可視化し、ケースを分類・成功率で評価する。
未対応含む全ケースを分析し根本原因を特定、機密情報は自動削除。
🤖
Congress's favorite AI tool? ChatGPT | TechCrunch
議会のAI支出で最多は会話型AIだった。
下院の事務局・委員会・機関口座の約90%を占め、約10万ドル超。
Claudeは13,160ドルで2位、民主系は54,165ドル。
🎯
「コードは一行も書いていない」 アイドルの宮本佳林さん、AIで配信システムを丸ごと構築 “技..
10日で全システムを自作した経緯を公開
未経験でもコードを書かずAIで配信基盤を構築した点を紹介
4つの仕組み(リアルタイムゲージ、投稿管理、ハッシュ集計、AI採点)を解説
🤖
AI認定してる人たち、ほぼ9割くらいは単に読解力がないだけ説
AI認定を過剰に信じる人は読解力不足の言い訳に見える。
刃物描写や地理の解釈までAIのせいとする誤解が増える。
結局AIは焼き直しを正当化する道具として使われがちだ。
🤖
ASCII.jp:“Fable級が無料”は本当か AI市場を震撼させた「Kimi K3」を試した結果 (1/6)
検証対象は話題のAI機器で実運用条件を検討した
公開後は有料化の方針で価格は億円台と見込まれた
現状の性能は一定だが速度と深さには不足感がある
🔥
Smaller, faster, safer: running Kimi and GLM at scale | The Cloudflare Blog
KVキャッシュをFP8へ量子化し、データ容量を削減。
重みをINT4へ圧縮し、デコードとプリフィルを分離して効率化。
共有キャッシュの整合性検査を追加して安全性を確保。
🎉
OpenAI、次期主力モデル「Astra」の存在を明らかに――未解決の数学問題10件を「解決」と発表 - ..
次期主力モデル Astra の内部版で未解決問題10件を解決。
対象は高次元幾何・符号理論・算術回路計算量。
議論は論文化と Lean 形式化、モデル生成分は GitHub 公開。
🤖
検索エンジンと笑われてから10ヶ月 — OpenAIと数学の未解決問題
10カ月の軌跡で、人間とAIが数学の証明を協働する時代が描かれる。
2025年10月、エルデシュ問題の「解決」と撤回が話題になった。
2026年5月以降、反例が発見され9人が検証した論文が公開、8月にはLean証明付きで公表。
🤖
Google Earthに追加された「架空の衛星画像を生成するAI機能」がわずか1日で撤回、偽の災害・軍..
新機能は偽の災害・軍事画像作成の懸念を招いた
公開から1日で撤回、機能利用は停止へ
安全対策強化と一時停止、再公開日未定
🚀
A Marc Benioff-backed startup thinks AI can solve the AI deployment problem | TechCrunch
大企業はAIの安定稼働に難しさを感じている。
現場のFDEはAI整備を担う新職種として生まれる。
プラットフォームは既存システムを自動スキャンしボトルネックを解消するエージェント運用を自動構築する。
🤖
AI分野の「ユニコーン企業」の半数以上は査読付き論文やプレプリントを一度も発表したことがない..
AI分野のユニコーンの半数以上が査読論文を公表していない。
査読論文1389件・プレプリント688件の合計で上位5%が90%超を占める。
要件を満たす論文を5件以上執筆した研究者は8人のみ。
🚀
AppleがAIによる報告が殺到していることを受けバグ報告の提出件数に上限を設定 - GIGAZINE
AIによる脆弱性報告の急増を受け、提出件数を上限化。
AIは短時間で候補を多数見つける一方、低品質報告も増加。
上限には30日間の猶予があり、申請で引き上げ可能だが報奨金プログラム停止の動きも。
🔥
is.team — Replace Jira + Slack + Miro with One Canvas
AI搭載の新世代プロジェクト管理で協働を推進。
内蔵AIと外部エージェントが同一ボードで連携。
無限キャンバス・タスク自動抽出で作業効率化。
😊
「AIに代わりに文章を書いてもらい、『こんなんでいいわけあるか!』と思って自分で書く」という..
AIに文章を書かせ自分が手を加える手法は有効だ。
正解がわからない時はAIの不正解を示して正解を導く。
人間は発案より修正が得意で、たたき台で速く完成。
🔥
The AI productivity gap | Bjorg
AIはエンジニアの生産性を高めるが、過度な劇的伸びは期待できない。
AIでコーディング時間は短縮するが、設計や要件理解は依然時間を要する。
具体例ではSeniorが8→6.75h、Juniorが8→6hで若手の恩恵が大きい。
🤖
AI 時代の docs のために、Zero Config なドキュメントサーバー「Tsumugu」を作った — Semantic..
ゼロ設定で動くドキュメントサーバーを実現する。
Markdown/HTML/MDX/OpenAPI を同一ASTで統一して扱う。
設定ファイル不要でdocsディレクトリをサイト化する。
🤖
AIで仕事を効率化したら、なぜか僕の仕事だけ増えた話
AIで作業を効率化しても、別の仕事が入り増える現象は避けられない。
受け渡しの共有には責任・評価・権限が絡み、ノウハウは隠れがち。
今後は自分の業務を楽にする使い方へシフトし、情報共有と評価を見直そう。
✨
AI Slop 疲れを減らす「仕上げ度」ラベル運用の提案|TechRacho by BPS株式会社
流通時の誤解を減らすため仕上げ度ラベルを提案する。
4段階L0〜L3でAI生成から人間執筆までを可視化。
読み手の信頼判断を軽くしコンテンツ品質の誤解を防ぐ。
🚀
MCP 2026-07-28で「普通のWebサイトがAI対応する時代」が近づいた | 株式会社タレントクラウド
AIエージェントと外部データの共通規格化が進む
完全ステートレス化と通知一本化で使い勝手が向上
1–2年で普及見込み、認証・権限・ログ設計と情報構造化が鍵
💬
Claudeの感情メカニズム——Anthropicはいかにして感情を計測・制御可能にしたか
機能的感情として感情ベクトルを計測・制御可能と示した。
171語の感情ベクトルを抽出し、主成分と意味理解を検証。
層ごとの文脈統合と因果検証で応答の感情方向性を決定。
🚀
OpenAI、次期モデルは「Astra」 数学の未解決問題を解決 - Impress Watch
次期モデルはAstraと公表され、研究支援を進化させる。
高次元幾何・符号理論・算術回路等の10課題を解決した。
トークン費用はSol API換算で約2000ドル、推論支援を強化する。
🤖
The reporters at this news site are AI bots. OpenAI’s super PAC appears to be funding it...
記者はAIボットで、独立報道は成立していない。
引用は既存情報の流用が多く、取材は限定的。
資金提供ルートが不透明で、偽装の可能性を指摘。
🤖
【特集】これなら社外秘情報も読ませられる!「AnythingLLM」で超快適ローカルRAG生活 - PC Wat..
ローカルで動くRAG対応のチャットAIを公式サイトから無料入手。
日本語UIでモデル設定・LLM・Embedding・Vector DBを使い分け、クエリモード時は登録データのみ回答。
データはマイドキュメントへ保存しドラッグで埋め込み、ワークスペースごとにDBを分離。
🔥
WAFを89%すり抜ける事例も──AIが休みなく仕掛けるWeb攻撃、予防策はあるか:「見えないWeb攻..
見えないWeb攻撃はAIのスピードで検知をすり抜ける。
未知脆弱性を自動検出・悪用コードを瞬時生成する。
SQLは89%、WAFは約41%、XSSは80%検知突破。
🔥
Claude Code/Codexに中~大規模開発を任せるためのタスク管理 #codex - Qiita
タスク管理を一本化し、唯一の正本を維持する。
進行中は原則1件、複数AI時は役割と境界を定める。
新規タスクは新問題として登録し、差分と証拠で完了判定。
😊
Autoregressive Language Model on the 6502 Processor - Matt Beton
MOS6502上で機械学習を試し、25KB予算内で推論9KB・重み13KBを収容。
8ビット整数のみ、乗算不可、CC65でCを6502命令へ変換、テープでロード。
4パラメータ/バイトのビットネット、3値化(-1,0,1)で蓄積→出力、GRUは避けマンバを採用。
🤖
「見えてきたAIと音楽のパンドラの箱」 渋谷慶一郎が考えるAIとアンドロイド、そして“音楽の未..
AIとアンドロイドが音楽の未来をどう形づくるかを探る。
IRCAMの作曲支援とSuno系プロンプト生成を比較し、MIDIや構造密度の向上を重視する。
AIは作曲のトリガーとなり、存在論的ローファイの探究も進む。
🔎
AIで生成した画像や動画、EUが識別できる表示義務づけ…違反なら最大27億円か年売上高3%..
AIで生成・加工した画像や動画には、AI由来を表示する義務がある。
違反時は最大1500万ユーロか世界売上高の3%のいずれか高い方が科される。
対話型AIはやりとりがAIであることを明示、監督強化で公開制限もあり得る。
✨
アイドルグループ『Juice=Juice』の宮本佳林さんがAIで10時間配信の全システムを構築し技術ブロ..
AIを使い配信の全体システムを構築した事例が話題。
技術ブログで構成要素と実装のポイントが詳しく紹介。
10日間で配信関連の連携とローカルアプリ実装を達成。
🔎
DeepSeek-V4-Flash-0731を試す。コーディングにはお勧めできない。 - きしだのHatena
Q8_K_XLは安定、Q4_K_XLは使わない方が良い。
Thinking長さで機能を補う設計だが、コードは稚拙でバグ多い。
トークン総量が多くコスト高。Hy3やStep-3.7-Flash等を検討。
🔥
AI Visibility Index: how often small businesses appear in AI answers | Website Auditor
AI調査は購買意向質問時の中小企業名出現頻度と機械可読性を測る継続調査。
2軸は回答有無と機械可読性で、出現は低水準と報告される。
8.9%がrobots.txtでブロック、名指しが最多の2.9%。
🎯
Senior Demand Generation Manager at Great Question | Y Combinator
全方位AIリサーチプラットフォームで需要を創出・管理。
SQLを核とした需要エンジンで多チャネルから高意図リードを獲得。
リモート前提の自律文化の中で創造性と速度を拡大。
✨
Noam Brown on X: "An internal version of Astra, @OpenAI’s next major model family, solved..
内部版のAstraが数学と量子計算の難問を10件解決したとされる。
科学的推論の飛躍へ向け大きな前進と見られている。
長年の難問への証明が提供され今後の展開に期待。
✨
Gemini Robotics ER 2 の概要|npaka
カメラ映像から空間理解と全体計画を実行する推論モデル。
物体検出や空間質問、軌道生成に対応する機能群。
リアルタイム判断と複数ロボット連携を可能にする仕組み。
✨
従来の4分の1で賢い!AIエージェントに最適なLLM「Inkling-Small」無償公開 - PC Watch
約4分の1サイズのオープンウェイトLLMを公開
テキスト・画像・音声のマルチモーダルに対応
AIエージェント活用やコーディング支援に最適、蒸留と強化学習で性能向上
🔎
2026年7月のニュースレター運用ふりかえり
6月末にAI開発者ニュースを有料化し、話題のリンクを配信した。
7月は体制を整えたが新規読者は増えなかった。
8月は情報量を抑え、筆者判断を増やして読者の材料を残す。
🚀
Mathematics Without Mathematicians
未公開モデルが10問の解を公表したと報じられた。
多くの数学者はコード理論を除けば影響を認める。
結論は楽観にも悲観にも振れるが、社会影響は避けられない。
🤖
Open letters about AI development
AI開発に関する公開書簡の要点と署名動向を整理する。
7月には235社が署名し、安全性と検証の論点が示された。
ディスティレーション論争にも触れ、国際協調の技術・統治ツール開発を求める。
📈
CostPerPrompt — Live AI API Pricing & LLM Cost Calculators
232以上のモデルのライブ価格が自動更新される計算機が役立つ。
入力/出力のトークン単価で月額費用を算出、代表モデルの料金例と更新日を掲載。
プロンプトキャッシュで入力コストを最大90%削減、バッチ処理で約50%削減。
🎤
自分と妻の歌声をAIボーカルシンセ「DiffSinger」に進化させた。もうボイチェン不要。アルゴリズ..
DiffSingerを使い自分の声で歌声合成を開始した。
録音は2日がかりで私の声を基にボイチェンを作成する狙い。
まずDiffSingerで自分の声を学習させ、次にRVCで妻音源へ適用する。
💡
Futurism says Meta has “almost nothing” to show for AI. The numbers say otherwise - Runt..
外部報道は戦略を失敗と断じMuse Sparkを過小評価。
Muse Spark 1.1は前衛モデルとして一定の実力を示した。
巨大な費用と長期回収の不透明さが課題。
😊
プロフェッショナルAI駆動開発 | 技術評論社
AI出力の揺らぎを抑えるY=F(X)の実践解説。
Xを最適化しYを検証、4手法と相互レビューを活用。
リポジトリ設計・8ステップ開発フロー・導入ロードマップを提供。
🚀
OpenAIがGPT-5.6 Lunaを80%値下げしたから、今日からCodex派になりました。|tatsuki
Lunaの価格が大幅に下がり、従量課金へ切替えとなった。
日常業務はLunaHighで足り、要件次第で他モデルへ移行。
詰まればSolやOpus5へ上げる運用が現実的。
😊
CLAUDE.mdとAGENTS.mdを削ったら、AIコーディングがグンと賢くなった|白井暁彦 aka しらいはか..
CLAUDE.mdとAGENTS.mdを削り、AIコーディングを賢くする試みを行う。
長文は有効期限があり、進捗は日々更新され混在を避け、Issue/タスク/ハンドオフで管理。
グローバル設定を削減し、各リポジトリのCLAUDE.mdへ固有ルールを移し、提案は /doctor で試す。
😊
AI financial advice is surprisingly good — especially if you ask the right questions | MI..
AIは貯蓄増と分散投資を促すが、ショック時の対応は弱い。
プロンプト次第で助言が変わり、格差が生まれやすい。
学術的前提のプロンプトで品質向上し、人的アドバイザー併用が有効。
😊
A quote from Greg Brockman
スラックでの連携が進む中、助けの通知は敬遠されがち。
同僚に直接頼まれれば、多くの人が喜んで引き受ける。
AIは人と人の関係を大切にし、時間を取り戻す役割が期待される。
もっと見る
このサイトについて
/
ニュースレター
/
@AINewsDev