結果 : can ai solve unsolved math problems reddit