Tag
4 件の関連記事
OpenFrontiersは2026年10月27日(現地時間)、Jiarui Yao氏らによる論文として、オープンな研究問題の構造化されたコーパスと、数学分野における最近解決された問題の遡及的ベンチマークを組み合わせた学際的なリソース「OpenFrontiers」を発表した。これは、大規模言語モデル (LLMs) の研究レベルでの問題解決能力評価が直面する既存の課題、特に包括的な問題集の欠如に対応し、その解決能力を客観的に測定するための基盤を構築することを目的としている。
OpenAIは2026年10月6日(現地時間)、内部フロンティアモデルが生成した新たな数学的成果を公開しました。同社は、数学コミュニティへの成果共有方法を改善するため、インスティテュート・フォー・アドバンスト・スタディ (Institute for Advanced Study) のアドバイザリー・グループ・オン・マセマティクス・アンド・アーティフィシャル・インテリジェンス (Advisory Group on Mathematics and Artificial Intelligence) からの助言に基づき、GitHubリポジトリで詳細を共有。証明の形式化も進めています。
Anthropic は2026年8月9日(現地時間)、開発中のAIモデル「Claude」が、数学の未解決問題であるリーマン仮説 (Riemann hypothesis) に関連する研究で、リーマンゼータ関数 (Riemann zeta function) のゼロ点に関する下限を、従来の41.6%から67.2%に向上させたと発表した。この成果は、AIモデルが数学分野において新たな発見を促す可能性を示している。
OpenAIは2026年8月2日(現地時間)、次期主要モデルAstraの内部版が、数学および理論計算機科学における長年の未解決問題10件でブレークスルーを達成したと発表した。同モデルは、発見した各問題の証明をLeanで形式化し、定理証明システムによる検証を可能にした。