AI科学

AIモデルが計算や公式検索、演繹といった推論ステップを書き出すとき、モデル内部の状態にも対応する特徴的なパターンが現れるという研究結果が出た。特に中間層で明確に分離でき、AI安全性の監視につながる可能性がある。

Quanta Magazineによると、OpenAIの数学者らは、流体の運動を記述するナビエ・ストークス方程式について、3次元で「特異点」を発見し、100万ドルの賞金が懸かるミレニアム問題の一つを解決したと発表した。結果は証明検証言語Leanで形式検証済みだが、学界では論争も起きている。

Anthropicは、Claudeが数学の証明支援システム「Lean」でフェルマーの最終定理の証明を形式化する作業を、11日間にわたり「ほぼ自律的に」進めたと発表した。コンピューターで検証できる形に証明を書き換える形式化を、AIエージェントが長期にわたり自律で遂行した事例として注目されている。