数学的に厳密に答えてくれと言って
そう出来るAIはどのくらいいるのだろうか