>>520
問題文をAIに食わせれば答えを教えてくれる（解けてる問題）。後は教科書との差分を埋めて補題を作れば修論の出来上がり。AIに騙されないように。
未解決の方は知らない。