これは何？
科学分野のAIとは、発見そのものを加速するモデルのことだ：仮説の提案、定理の証明、天気予報、新材料の発見、そして全文献を数分で読むこと。多くの研究者は、AIが世界を最も変えるのは——チャットボットではなく——ここだと考えている。
主要ツールとプレイヤー
- DeepMind — AlphaFold、GNoME（材料）、GraphCast（天気）、AlphaProof（数学）
- OpenAI — 研究向けフロンティアモデル；10万人の研究者に無料アクセスを提供するプログラム（当誌報道）
- Anthropic — 科学的推論とセキュリティ研究のためのClaude
- FutureHouseや「AI共同科学者」プロジェクト — 自律型研究エージェント
節目
- 2020 — AlphaFold2：AI初のノーベル級科学的ブレークスルー
- 2023 — GNoMEが220万の新結晶を予測；GraphCastが気象機関を上回る
- 2024 — AlphaProofが数学オリンピックで銀メダル水準に到達
- 2025 — LLMがIMO金メダル水準に；「AI共同科学者」エージェントが実験室で検証された仮説を生成
- 2026 — Claudeが専門家の見逃した暗号の弱点を発見；OpenAIがフロンティアモデルを10万人の研究者に開放（いずれも当誌報道）
- 2026年8月 — OpenAIのAstraプレビュー：エージェントチームが数学と理論計算機科学の未解決問題10問を解決、証明はLeanで機械検証可能（当誌報道）
- 2026年8月 — 実名の数学者らがそれらの証明の一部について出典を問題視、OpenAIは「10年間進展なし」との主張を後退（当誌報道）
- 2026年8月 — AIが設計した初の完全なゲノム：機能するバクテリオファージ16種、Scienceに掲載（当誌報道）
- 2026年8月 — ネイチャー誌に掲載されたDeepMindのWeatherNextサイクロンモデルが米国立ハリケーンセンターで実運用され、Apache 2.0でオープンウェイト公開（当誌報道）
- 2026年8月 — 未公開のClaudeがリーマン予想の零点下界を41.6%から67.2%へ引き上げ、記録上最大の一回あたりの跳躍、機械検証可能な証明つき（当誌報道）
- 2026年8月 — Palomarが投稿受付を開始：数学に、Lean証明を機械検証し、平易な言葉の主張が一致するかを言語モデルに確認させる登記所ができた（当誌報道）
ミニ用語集
- 共同科学者：仮説を提案し検証を助けるAIエージェント
- 基盤モデル：多くの科学タスクに適応される単一の大規模モデル
- ベンチマーク：モデルの能力を比較する標準化テスト