『涼宮ハルヒの憂鬱』がきっかけで数学の難問が解決する可能性