コンテンツへスキップ
AI関連の最新情報をいち早くお届けします。
trendnews

数学

AI・テクノロジー

OpenAIがミレニアム懸賞問題「ナビエ・ストークス方程式」をAIで解決と発表、数学界からは反発の声

米OpenAIは、社内の未公開モデルがミレニアム懸賞問題の1つ「ナビエ・ストークス方程式の存在と滑らかさ」を解決する証明を生成したと発表しました。しかし、この発表の経緯をめぐり、数学界からは反発の声が上がっています。
2026.09.10
AI・テクノロジー
AIテクノロジー

Claudeがフェルマーの最終定理を機械検証で証明、11日間で1300万行のLeanコードを生成

AnthropicのAI「Claude」が、フェルマーの最終定理における初のコンピュータによる機械検証済み証明を達成しました。11日間という短期間で約1300万行のLeanコードを自律的に生成した、数学とAIにおける重要な成果を解説します。
2026.09.08
AIテクノロジー
trendnews
© 2026 trendnews.
  • ホーム
  • トップ