多項式リトルウッド–オフロード問題で最適なゼロ確率の上界を示す証明(AI が発見) | arXiv News