暇つぶし2chat NEWSPLUS

- 暇つぶし2ch578:ニューノーマルの名無しさん
21/01/13 23:06:39.03 cMPd0liO0.net
>>562
確かに、証明に必要な定理が揃ってる前提なら、だったな。
あと、もしAIが証明したとしても人間に理解できる言語で記述しないかもしれないな。