午夜#学术新闻#
一项受 FirstProof 启发的全新人工智能基准数学挑战赛：拉马努金挑战赛 http://t.cn/AXoGOkSU ，该挑战旨在征集针对10个拉马努詹型数值恒等式的AI生成的证明。这些恒等式的证明虽已被挑战发起者掌握，但目前尚未公开。
提交截止日期为2026年8月1日。
发布于 黑龙江
午夜#学术新闻#
一项受 FirstProof 启发的全新人工智能基准数学挑战赛：拉马努金挑战赛 http://t.cn/AXoGOkSU ，该挑战旨在征集针对10个拉马努詹型数值恒等式的AI生成的证明。这些恒等式的证明虽已被挑战发起者掌握，但目前尚未公开。
提交截止日期为2026年8月1日。