現代数学の系譜工学物理雑談古典ガロア理論も読む78

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む78 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

865(1): 2019/11/10(日)14:59 ID:GOSepubD(5/10) AAS
今わたしの推しの豊島名人と広瀬竜王が対局しているが
人間の対局は間違いなく面白い。
コンピュータ将棋のトップレベルはもはや人間には理解不能なレベルに達している。
（それはそれで面白いが。）

866: 2019/11/10(日)15:03 ID:U91IZzoD(17/35) AAS
>>865
もし自動証明が発達して計算機による定理証明が行なわれた場合
「証明はできたが人間が読んでも全然理解できない」
ということが起きるんだろうか・・・