由拉马努金机器团队发起的拉马努金挑战将于2026年7月1日正式启动，参赛作品提交截止至同年8月1日23时59分（UTC）。该挑战旨在系统性评估当前人工智能系统在基础数学常数公式推导与研究级数学问题上的求解能力。面对传统数学证明中非显而易见的逻辑跳跃与高验证成本，本次活动引入结构化验证机制，要求参赛者提供形式化证明、基于计算机代数系统的可复现推导，或附完整注释的直观数学证明。参赛代码须使用2026年7月前已公开的工具，严禁依赖未公开接口或黑盒服务，所有解题脚本需附带清晰文档以供核查。 组织方表示，此项挑战不仅致力于测试人工智能在纯数学领域的认知边界，更试图建立一套高效、可追溯的验证范式。针对尚未证明的开放猜想，任何经审核通过的证明均将被视为重要数学贡献，并将按提交顺序署名公示。该机制有望为人工智能辅助数学研究提供标准化基准，推动该领域从模式识别向严密逻辑推理的纵深发展。