ブニャコフスキー予想だと、
2m+1と2m^2+2m+1のどちらも素数になるようなmが無限に存在することまでは言及してないような。