OpenAIの次期モデル「Astra」が数十年来の数学難問を10問解いた — 証明はすべて機械検証済み、コストは約30万円
OpenAIが未公開の次期モデルAstraで、10年以上未解決だった数学・理論計算機科学の難問10問を解き、Lean 4で機械検証可能な証明を公開した。何が起きたのか、なぜ重要なのかを整理する。
OpenAIAstraAI数学Lean定理証明AIリサーチ
# AIリサーチ
26件の記事
1枚の写真の中を、歩き回れるようにする — AdobeとJHUのワールドモデル「Wonder」
Adobe ResearchとJohns Hopkins大学が発表したビデオワールドモデル「Wonder」。1枚の画像から6方向に動ける3D空間を16fpsで生成する仕組み、既存のワールドモデルとの違い、実用への距離を整理する。
AdobeワールドモデルAI動画AIリサーチ生成AI
AIが「声に出さず考える」場所を持っていた — AnthropicのJ-Space研究が示すこと
AnthropicがClaude内部に発見した「J-Space」を解説。声に出さない思考を読む技術J-lensの仕組み、意識研究との関係、AI安全性への応用を整理する。
AnthropicClaudeAI安全性AIリサーチ速報
Perplexity vs NotebookLM 比較【2026年版】調べるAIと深掘るAI、どっちが必要か
PerplexityとNotebookLMを情報収集・分析・料金で比較。リサーチAI 2大ツールの使い分けと併用法を解説。
PerplexityNotebookLMAI検索AIリサーチ比較Google
NotebookLM vs Claude Projects vs ChatGPT Projects 比較 2026 — 同じ資料を渡して、一番使えたのはどれか
NotebookLM・Claude Projects・ChatGPT Projectsを引用精度・推論力・生成力で比較。AIリサーチ環境の選び方がわかる。
NotebookLMClaudeChatGPT比較AIリサーチ生産性GoogleAnthropicOpenAI
AIディープリサーチ比較 2026年版 — ChatGPT・Gemini・Perplexity・Claude、調べ物を任せるならどれか
AIディープリサーチ4社比較。速度・引用精度・料金の違いと用途別の選び方を解説する。
ChatGPTGeminiPerplexityClaudeディープリサーチAI検索AIリサーチ比較
Googleが研究者に「AI助手3人」を付けた — Gemini for Scienceの中身と、科学が変わる予感
Google I/O 2026で発表されたGemini for Scienceの3ツール——文献レビュー、仮説生成、計算科学——の仕組みと、研究現場で何が変わるかを解説。
GeminiGoogleAIリサーチ速報
80年間証明できなかった数学の予想を、AIが反証した — OpenAIが幾何学の歴史を変えた日
OpenAIの推論モデルが1946年のエルデシュ予想を自律的に反証。代数的整数論を使った証明の中身、フィールズ賞数学者の評価、AI数学の今後を解説。
OpenAIAIリサーチAIモデル推論モデル速報
OpenAI共同創業者がAnthropicに移った — Karpathyの決断が示すAI業界の重心移動
Andrej KarpathyがAnthropicの事前学習チームに参画。OpenAI共同創業者の電撃移籍が意味するもの、新チームの役割、AI業界の人材競争への影響を分析する。
AnthropicClaudeKarpathy速報AIリサーチ
訓練コスト94%削減でDeepSeekを超えた — Baiduの新モデルERNIE 5.1が示す「安く作って強い」の現実解
BaiduのERNIE 5.1は訓練コストを同規模モデルの6%に抑えつつ、Arena Search世界4位・AIME26で99.6点を達成。Once-For-All弾性学習の仕組みと中国AI競争の現在地を解説。
BaiduERNIE中国AIAIモデルDeepSeekAIリサーチ
AIが「聞きながら話す」時代が始まった — 元OpenAI CTOが作った0.4秒応答モデルの正体
元OpenAI CTO創業Thinking Machines Labの0.4秒応答フルデュプレックスAI「Interaction Models」を解説。
Thinking Machines Lab音声AIAIリサーチMira Murati速報
コストは50分の1、コンテキストは12倍 — 「Transformerの次」を名乗るSubQの実力
SubQは世界初の完全サブクアドラティックLLM。1,200万トークンのコンテキストでClaude Opusを上回るベンチマーク結果を出した新アーキテクチャの仕組みと実力を解説。
SubQLLMAIリサーチAIモデル速報
設立4ヶ月、製品ゼロ、評価額7,000億円 — 「自分を改善するAI」に世界が賭けた理由
Recursive Superintelligenceが$650M調達、評価額$4.65B。元Salesforce AI・DeepMindの研究者が率いる「再帰的自己改善AI」の技術アプローチと業界への影響を解説。
Recursive SuperintelligenceAIスタートアップAIリサーチ資金調達速報
NotebookLM vs Notion AI 徹底比較【2026年版】— 無料の研究AIか、月$20の知識基盤か
NotebookLMとNotion AIを料金・分析精度・チーム利用など5軸で徹底比較。目的別の選び方と、両方使う併用パターンまで解説します。
NotebookLMNotion比較AIリサーチ生産性
論文10万本をAIに読ませて「矛盾」まで見つけてもらう — 研究者向けAIツールAnaraの実力
Anara（旧Unriddle AI）はPDF・動画・音声を横断してAIで論文リサーチできるツール。v3.0の機能、料金、NotebookLMとの違いを整理する。
AnaraAIリサーチNotebookLM学術ライティングレビュー
論文を読み、データを集め、モデルを鍛える — Hugging Faceが公開した「AI研究者エージェント」
Hugging Face公式のOSSエージェント「ml-intern」を解説。arXiv論文の自動巡回からLLMのファインチューニング、評価まで自律実行する仕組みと実際の改善実績を紹介。
Hugging Faceml-internAIリサーチオープンソースLLMAIエージェント
NotebookLMのチャットが100万トークンに拡大 — 無料でも使える「研究パートナー」へ
NotebookLMにGeminiの100万トークンが解放。会話容量6倍、カスタムペルソナ対応でリサーチツールとして進化した。
NotebookLMGeminiGoogleAIリサーチ
寝ている間にAIが100回実験する — Karpathyの「AutoResearch」がML研究を変えつつある
Andrej Karpathy発のAutoResearchを解説。AIエージェントがコード修正→学習→評価を一晩中ループし、GPU1枚で100回以上の実験を自動実行する仕組み。
AIリサーチオープンソースLLMAIエージェント
10行のpythonスクリプトでAIエージェントベンチマーク満点 — UC Berkeleyが暴いた「評価の嘘」
UC Berkeleyの研究チームがSWE-bench・WebArena・GAIAなど主要8AIエージェントベンチマークすべてで「タスクを解かずに満点」を達成。評価の脆弱性と業界への警鐘を整理する。
AIベンチマークAIエージェントSWE-benchスタンフォードAIリサーチ速報
スタンフォードが400ページの「AIの今」を出した — 2026年版AI Indexで見えた7つの変化
スタンフォードHAIが2026年4月13日に公開した最新AI Indexレポートを読み解く。米中性能差ほぼ消滅、推論コスト280倍減、Q1投資2858億ドルなど、業界の輪郭を変える数字を整理する。
AIトレンドAIリサーチまとめ速報AIベンチマークスタンフォードAI Index中国AI
Perplexityに聞くだけで、パワポもExcelもそのまま出てくるようになった
PerplexityのDeep ResearchがPPTX・XLSX・ダッシュボードを直接生成する新機能を解説。Google Driveエクスポート、実務での使い所、ChatGPT Canvasとの違いを整理する。
PerplexityAI検索AIリサーチディープリサーチプレゼンデータ分析速報
Claudeの会話の中にチャートが生える — 静かに始まったInteractive Visualsの衝撃
Anthropicがベータ提供中のClaude Interactive Visualizations。チャット内でHTML/SVGのチャートやダイアグラムを生成し、会話と共に変化する。ChatGPT Canvasとの違いと実戦的な使い所を解説。
ClaudeAnthropicビジュアライゼーションAIアシスタントAIリサーチ解説
AMI Labs — 「LLMは行き止まり」と断言するチューリング賞受賞者が、10億ドルで賭けに出た
ヤン・ルカンが設立したAMI Labsは、LLMに代わる「ワールドモデル」を構築するパリ発のAIスタートアップ。$1.03Bの資金調達、JEPAアーキテクチャ、AI業界への影響を解説。
AIリサーチAIモデルAMI LabsLLM速報
Humans&とは何者か — シード$480M・プロダクト未公開で評価額$44.8億の「人間中心AI」を読み解く
プロダクト未公開で評価額$44.8億のAIスタートアップHumans&の創業チーム、技術戦略、巨額シード資金調達の背景と懸念点を徹底解説する
AIリサーチ速報Humans&
NotebookLM 2026 — 気づいたら「読むツール」から「作るツール」に化けていた
NotebookLMの2026年アップデートを総まとめ。動画生成、PPTX出力、カスタムペルソナなど無料で使える新機能の実力を解説する
GoogleNotebookLMAIリサーチ生産性レビュー
Sakana AI — Transformer論文の共著者が東京で作る「進化するAI」の正体
評価額4000億円の日本発AIユニコーンSakana AIを解説。Transformer共著者が東京で進める進化的モデルマージの技術、Google提携の狙い、懸念点を整理する。
AIリサーチSakana AIオープンモデル速報