人工智能的拉馬努金獎挑戰
研究人員發佈了一套數學常數公式，用於評估AI的數學技能。這些公式包括已知證明（暫時加密）和未證明的公式，旨在測試AI的數學推理能力。
2026年6月27日，一組由Ido Kaminer領導的跨學科研究團隊在arXiv預印本平台上發佈了一項名為“人工智能的拉馬努金獎挑戰”的新基準測試。該挑戰旨在評估當前人工智能系統在數學推理方面的能力，特別是針對基本數學常數的公式證明。論文列出了包括圓周率π、自然常數e、Catalan常數以及黎曼ζ函數特殊值在內的一系列公式。這些公式的吸引力在於它們具體且可進行任意精度的數值驗證，但證明過程往往需要非顯而易見的數學技巧。數學常數如π和e幾個世紀以來一直吸引着數學家，尋找它們的求值公式催生了數學中最優美的成果，尤其是當這些公式能提供無理數證明或實現快速收斂時。拉馬努金的遺產正是這一傳統的象徵。
該挑戰包含兩類問題：第一類是作者已知證明但將在初始階段加密的公式；第二類是尚未被證明的公式。研究團隊對AI在這兩種情況下的表現充滿好奇。他們鼓勵AI系統的開發者提交解決方案，提交網址已隨論文公佈。這一挑戰不僅測試了AI的計算能力，更考驗了其背後的邏輯和創造性數學思維，有望推動AI在數學研究領域的應用。