标签
Ramanujan Machine 发起的 Ramanujan AI 挑战赛提出了十个关于数学常数显式公式的研究级问题，旨在测试 AI 系统能否生成有效的形式证明或符号推导。该挑战赛持续至 2026 年 8 月 1 日，接受形式证明、基于 CAS 的推导或附带可复现代码的人类可读证明等形式的提交。