#Mathematics 関連記事

AnthropicのClaude、リーマン仮説関連研究で数学的下限を大幅更新

Anthropic は2026年8月9日(現地時間)、開発中のAIモデル「Claude」が、数学の未解決問題であるリーマン仮説 (Riemann hypothesis) に関連する研究で、リーマンゼータ関数 (Riemann zeta function) のゼロ点に関する下限を、従来の41.6%から67.2%に向上させたと発表した。この成果は、AIモデルが数学分野において新たな発見を促す可能性を示している。

OpenAIのAstraモデル、10件の未解決数学問題にブレークスルー

OpenAIは2026年8月2日(現地時間)、次期主要モデルAstraの内部版が、数学および理論計算機科学における長年の未解決問題10件でブレークスルーを達成したと発表した。同モデルは、発見した各問題の証明をLeanで形式化し、定理証明システムによる検証を可能にした。