加载中…
I conjecture a certain explicit determinant evaluation, whose proof would imply the solution of certain enumeration problem that I have been working on, and that I find interesting. I am pledging $500 to the OEIS Foundation (in honor of the prover!) for a proof, and $50 (in honor of the disprover)

生成讲解博客的中文版本

生成AI智能校验的中文版本