ケンブリッジ、AI設計の鳥インフル新ワクチン フェレット全頭を防御
ケンブリッジ大学がAIで設計したH5鳥インフルエンザのワクチン候補が、マウスとフェレットの実験で試験株すべてに防御効果を示した。WHO備蓄ワクチンは約半数にとどまった。
AI研究のニュースと分析
AI研究に関する製品動向と業界分析を全12件掲載しています。
Baidu、自動研究システムで公開記録3件を更新
Baiduの文心(ERNIE)チームが自動研究システム「ERNIE Evolve」を発表。公開された4つの最適化タスクのうち3つで既存の最高成績を上回ったという。
Anthropic、研究会話20万件を分析 データ分析が最多
Anthropicの経済研究チームが研究関連のClaude会話20万7049件を分析。最多用途はデータ分析で、構想や仮説づくりの利用はごくわずかだった。
Ai2が研究レポート生成8Bモデルを公開
Ai2が公開した8BモデルAstaBriefは、引用付き研究レポートをClaudeベースのパイプラインより3.5倍速く生成し、評価もほぼ同水準だった。
テレンス・タオ、良問枯渇に警鐘
テレンス・タオ氏は、AIの計算資源が未解決問題を早い者勝ちで解いてしまい、数学の難易度勾配が失われつつあると指摘した。
テレンス・タオ氏、数学に「証明過剰危機」を警告
フィールズ賞受賞者テレンス・タオ氏が、AIが生成する証明が数学界の査読体制を圧迫すると警告し、発表・教育の新ルールを提案する論文を発表した。
Aureka、生命モデルに1億ドル
Aureka Biotechnologiesは1億ドルのシリーズBを調達し、生物基盤モデルと湿実験フィードバックの閉ループを強化する。
Claude、ゼータ下界を67%へ
Anthropicは未公開研究版Claudeが、リーマンゼータ零点の下界を41.6%から67.2%へ進めたと発表した。
OpenAI、Astraで10本の証明を公開
OpenAIはAstraの初公開シグナルとして、数学と理論計算機科学の10件の成果、249ページの論文、Lean証明書、推論記録を公開した。
GPT-5.6、グラフ理論の証明を提出
GPT-5.6、グラフ理論の証明を提出。確認済みの事実と、その背後にある産業上の意味を簡潔に整理する。
Anthropic、研究室向けClaude Scienceを公開
Anthropic、研究室向けClaude Scienceを公開。発表や報道の要点、主要な数字、企業側の説明、市場への意味を自然なニュース文体で整理した。
Anthropic、監査可能なClaude Scienceを提示
Anthropic、監査可能なClaude Scienceを提示。