[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
976(3): 2022/11/12(土)10:08 ID:UdSkMxqW(1/3) AAS
現状AIに数学が出来るとは言ってないよ。
でも将来の可能性としてはある。
「リーマン予想の証明は意味があるが
四色問題の計算機を使った証明に意味がない」
などは偏見も甚だしい。
将棋は人間がAIに勝てなくなっても
今のところ全然廃れていない。
なぜか女性ファンが増えていたりする。
謎である。
980: 2022/11/12(土)18:02 ID:r4QYDURa(12/17) AAS
>>976
「四色問題の計算機を使った証明に意味がない」は君の誤読
ただ、複雑性を計算機の馬鹿力でねじ伏せる証明が数学者の興味を惹かないのは事実
981: 2022/11/12(土)18:02 ID:r4QYDURa(13/17) AAS
>>976
「四色問題の計算機を使った証明に意味がない」は君の誤読
ただ、複雑性を計算機の馬鹿力でねじ伏せる証明が数学者の興味を惹かないのは事実
985(1): 2022/11/12(土)18:07 ID:r4QYDURa(17/17) AAS
>>976
＞なぜか女性ファンが増えていたりする。
それは棋士ファンであって将棋ファンではない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s