AI科学

AnthropicがリリースしたClaude Scienceは、ゲノミクスや計算化学など60以上のプリセットスキルを持つ研究者向けAIプラットフォーム。自動検証エージェントが研究成果の品質を保証する。

高度な厳密性が求められる数学検定で、人間がAIモデルを上回る成績を出したとする実証研究が報じられた。AIが数学領域で人間を凌駕するという楽観論への反証であり、推論の厳密性と検証可能性が依然として人間側に残る競争領域だと示唆している。

フィールズ賞数学者テレンス・タオが、AIによる証明支援を擁護する立場を強めている。自動証明チェッカーで問題を小片に分解し一片ずつ解いて再結合することで、各段階の正しさを保証できると説く。数学の手法そのものをAIが変えうる転換点とみる。

気象・気候科学へのAI導入が「革命」と語られる一方、機械学習には明確な限界があると専門家が指摘する。既存の物理モデルを置き換えるのではなく補助する使い方が現実的で、誇張された期待と実態の差を見極める必要がある。

数学者たちが、AI産業の進出が自らの職業を脅かしているとして警告を発した。国際数学連合がこの警告を支持し、テック業界の影響力拡大への懸念を表明している。専門職がAIにどう向き合うかという問いが、数学という分野から具体的に立ち上がっている。

強化学習の第一人者でチューリング賞受賞者のリチャード・サットンが、現在の生成AIには自らの出力を評価する能力が欠けていると指摘した。検証の仕組みを持たない限り、真の科学的発見は難しいという。生成AIの能力の輪郭をめぐる本質的な論点を投げかけている。

数学者Terence Taoが、AIによって数学研究に史上初めて分業が生まれうると論じた。これまで研究者は問題設定から証明まで全工程を自ら担ってきたが、その前提が変わる。

80年にわたり未解決だったErdősの数学問題について、AIが新たな解法を導き出した。人間の数学者が長年見落としていた経路をAIが提示した形で、研究者の間で解の正当性と意義をめぐる議論が広がっている。