証明支援系とLLM が手を取ることで、たとえば、リーマン予想を証明することが出来る時代は近いと思う
一方で、19世紀中頃までの数学の知識を与えられたAI が、「素数の法則を教えて」という類いの問いに対して、リーマン予想を生み出せるようになる時代は極めて遠いと思う
証明支援系とLLM が手を取ることで、たとえば、リーマン予想を証明することが出来る時代は近いと思う
一方で、19世紀中頃までの数学の知識を与えられたAI が、「素数の法則を教えて」という類いの問いに対して、リーマン予想を生み出せるようになる時代は極めて遠いと思う