AIが数学研究の成果を公開

開発企業は内部最先端モデルによる数学的成果をGitHubプラットフォームで公開した。公開資料には論文改訂のプロトコルと引用基準が含まれ、学術コミュニティのガイドラインに準拠した配布体制を整備している。成果データと共に、計算機による検証が可能な証明のLean形式化ファイルを提供し、今後さらに多数の形式化データを更新する予定である。透明性向上のため、モデルの推論プロセス概要10件、ChatGPT Pro相当の計算リソースコスト（平均推論時間約3時間）、および解答試行統計などの詳細情報をRepositoryに併記した。 同社は今回の成果公開が数学の知見の最前線を拡張し、科学全体の進歩を加速させることを目的としている。実現に向け、AIが導出した重大成果の理解を促進するワークショップや学術会議、特別プログラムの資金提供を開始する方針であり、詳細は近日中に発表される。また、最先端技術力を研究現場に直接的に還元するため、本モデルの責任あるリリースに向けた準備を着実に進めると表明。数学および関連分野における最先端モデルの評価を継続し、コミュニティフィードバックを反映して将来の科学成果開示基準を強化していく。これにより、AI支援科学の透明性のある研究生態系と新標準の構築を目指す。