AI 向けラマヌジャン・チャレンジ（1 分読了）
本文の状態
日本語全文を表示中
詳細モードで約1分の本文を読めます。
同じ出来事の情報源
この情報源を基点に整理
TLDR AI
TLDR AI が、AI の数学的推論能力を評価する「ラマヌジャン・チャレンジ」を発表した。この挑戦は、AI が高度な数理論理や未解決問題の解決を試みることを目的としている。
Source Article
元記事を日本語で読む
本文に関係しない購読案内、埋め込み通知、サイト内プロモーションは除いています。
ラマヌジャン・チャレンジ
イド・カミナーは、私に「AI 向けラマヌジャン・チャレンジ」に関する以下の情報を共有してくれました。私はこれをこのブログの読者の方々と共有できることを嬉しく思います。チャレンジのページは ramanujanmachine.com/ramanujan-challenge にあります。また、完全なチャレンジ論文 と、イドからのメールの引用も掲載しています。
*「本チャレンジは本日開始され、2026 年 8 月 1 日まで実施されます。これは数学定数の明示的公式に関する [10] の研究レベルの問題から構成されており、AI システムが具体的な数式から有効な証明や記号的導出へと移行できるかをテストするために設計されています。
本チャレンジのルールは、形式検証システムやコードベースのシステムとの互換性を確保するように設計されました。受理される提出物は、形式証明、CAS（Computer Algebra System: 数式処理システム）に基づく導出、または再現可能なコードを伴う人間が読みやすい証明です。目的は単に AI が答えを見つけられるかどうかを試すだけでなく、構造化された方法で検証可能な導出を生み出せるかどうかも試すことにあります。」*
2 番目の問題
原文を表示
The Ramanujan challenge
Ido Kaminer shared with me the following information about* The Ramanujan Challenge for AI*, and I am happy to share it with the readers of this blog. The challenge page is at ramanujanmachine.com/ramanujan-challenge; Here is the The full challenge paper, and a quote from Ido’s email.
“The challenge launched today and will run until August 1, 2026. It consists of [ten] research-level problems on explicit formulas for mathematical constants, designed to test whether AI systems can move from a concrete formula to a valid proof or symbolic derivation.
We designed the rules to make the challenge compatible with formal and code-based systems. Accepted submissions may be formal proofs, CAS-based derivations, or human-readable proofs accompanied by reproducible code. The goal is not only to test whether AI can find answers, but whether it can produce derivations that can be checked in a structured way.”
##
The second problem
関連記事
今日のまとめ
AIデイリーブリーフで今日の重要ニュースをまとめ読み