猜想:设n为任意正整数。对于m=0,2,4。。。,我们有求和{k=0..n-1}(3k^2+3k+1)*(二项式(n-1,k)*二项式的(n+k,k))^m==0(模n^3);对于m=1,3,5。。。我们有2*Sum_{k=0..n-1}(-1)^k*(3k^2+3k+1)*(二项式(n-1,k)*二项式(n+k,k))^m==0(mod n^3)。
Zeilberger算法可以为a(n)生成复杂的五阶递归。
作者在arXiv:1408.5381的最新版本中证明了这个猜想-孙志伟2014年9月14日