OpenAI、GPT-6 Astra超えの未公開AIが現代数学の七大難問「ナビエ・ストークス方程式」の解決証明を生成 先行研究の扱いに数学者が異議も – Ledge.ai
AI・人工知能関連のニュースやトレンドを高頻度で配信！最新ニュースやインタビュー、イベントレポートなどAIに関するさまざまな情報を独自の切り口で掲載
タグ: AI数学証明
数学未解決問題、AI単独で続々解決。フィールズ賞数学者が考えるAI証明の実態を「エルデシュ問題」から読み解く（生成AIクローズアップ） – au Webポータル
1週間の気になる生成AI技術・研究をいくつかピックアップして解説する連載「生成AIウィークリー」から...
DARPAが挑むAI数学証明の最前線――人類と機械の知性はどこへ向かうのか – innovaTopia
DARPAのexpMathプロジェクトが目指す「AIによる数学証明の自動化」とは？科学・軍事・社会に与える影響と、知性の未来を解説。