[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
976(3): 2022/11/12(土)10:08 ID:UdSkMxqW(1/3) AAS
現状AIに数学が出来るとは言ってないよ。
でも将来の可能性としてはある。
「リーマン予想の証明は意味があるが
四色問題の計算機を使った証明に意味がない」
などは偏見も甚だしい。
将棋は人間がAIに勝てなくなっても
今のところ全然廃れていない。
省2
977(1): 2022/11/12(土)10:10 ID:UdSkMxqW(2/3) AAS
よく「数学者への嫉妬」とか言うけど
あんたは数学者のつもりなのかい？
978(1): 2022/11/12(土)10:12 ID:UdSkMxqW(3/3) AAS
デュドネによる数学者の定義
「自明でない定理の証明を公表したひと」
ここでいう「自明でない」とは
数学者が認める「真に価値がある」くらいの意味。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s