[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋4 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
963: 2022/11/11(金)23:01 ID:y1xng6Rh(1/2) AAS
解法は成立してるし、出題列が定数であれば「自明」
とは初期の頃から言われている通り。
でも、1か月程前に考えているとふと「ん？」というスポットに入った。
それだけのことです。
964(1): 2022/11/11(金)23:36 ID:y1xng6Rh(2/2) AAS
セタぼんはどうせ将棋もヘボなんだろう。
AIに将棋を教えて貰っていると、人間の思考なんて
穴だらけだというのは分かる。
読んでると思っても読めてない。
仮に1手で3種類の有力変化があるとして
2手で9通り=大体10通りと考えて
16手程度の変化でも1億に達してしまう。
だから、読み切れるわけがない。
「名人は最善手を読んでるから、省略できるんだ」
という説はあったが、それも只の伝説だった。
省3
965: 2022/11/12(土)09:49 ID:r4QYDURa(1/17) AAS
>>964
そもそも将棋の駒の動かし方も知らなそうｗ
966: 2022/11/12(土)09:51 ID:r4QYDURa(2/17) AAS
AIとか性懲りもなく書き続ける時点で
数学のこと何もわかってない白痴とわかる
967: 2022/11/12(土)09:51 ID:r4QYDURa(3/17) AAS
数学の何たるかを分かってたら
そもそもAIの話なんか絶対しない
無意味だから
968: 2022/11/12(土)09:52 ID:r4QYDURa(4/17) AAS
ヒトが理解するために行う学問で
AIによる証明とかやっても無意味
969: 2022/11/12(土)09:52 ID:r4QYDURa(5/17) AAS
AIにやらせる意味があるのは
なんでできるか理解する必要がないものｗ
970: 2022/11/12(土)09:53 ID:r4QYDURa(6/17) AAS
例えば人がなぜ自転車に乗れるか理解する必要はない
だからAIにやらせる意味がある
971: 2022/11/12(土)09:55 ID:r4QYDURa(7/17) AAS
リーマン予想はもし成り立つとすればなぜ成り立つのか理解したいもの
だからAIが訳の分からん大量の推論の結果証明に成功したとしても
その証明がヒトが読めるものでなければ意味がない
972: 2022/11/12(土)09:56 ID:r4QYDURa(8/17) AAS
四色定理の証明に拒否反応を示す数学者が多々いたのは
その証明が理解する意味があると思えるものでなかったからだろう
973(1): 2022/11/12(土)09:57 ID:r4QYDURa(9/17) AAS
将棋は、人がAIに勝てなくなったら
児戯としてはともかく
競技としては廃れそうな気がする
馬鹿馬鹿しいから
974: 2022/11/12(土)09:58 ID:r4QYDURa(10/17) AAS
という意味で、数学板でAIの話をするのは大体馬鹿素人ｗ
975: 2022/11/12(土)09:58 ID:r4QYDURa(11/17) AAS
素人は数学でオチコボレたから、
数学者に嫉妬し憎悪してる
サルってみっともないなｗ
976(3): 2022/11/12(土)10:08 ID:UdSkMxqW(1/3) AAS
現状AIに数学が出来るとは言ってないよ。
でも将来の可能性としてはある。
「リーマン予想の証明は意味があるが
四色問題の計算機を使った証明に意味がない」
などは偏見も甚だしい。
将棋は人間がAIに勝てなくなっても
今のところ全然廃れていない。
なぜか女性ファンが増えていたりする。
謎である。
977(1): 2022/11/12(土)10:10 ID:UdSkMxqW(2/3) AAS
よく「数学者への嫉妬」とか言うけど
あんたは数学者のつもりなのかい？
978(1): 2022/11/12(土)10:12 ID:UdSkMxqW(3/3) AAS
デュドネによる数学者の定義
「自明でない定理の証明を公表したひと」
ここでいう「自明でない」とは
数学者が認める「真に価値がある」くらいの意味。
979(1): 2022/11/12(土)13:53 ID:Wt6BYOwg(1/6) AAS
>>973
チェスはとっくの昔に勝てなくなってるが廃れてない
980: 2022/11/12(土)18:02 ID:r4QYDURa(12/17) AAS
>>976
「四色問題の計算機を使った証明に意味がない」は君の誤読
ただ、複雑性を計算機の馬鹿力でねじ伏せる証明が数学者の興味を惹かないのは事実
981: 2022/11/12(土)18:02 ID:r4QYDURa(13/17) AAS
>>976
「四色問題の計算機を使った証明に意味がない」は君の誤読
ただ、複雑性を計算機の馬鹿力でねじ伏せる証明が数学者の興味を惹かないのは事実
982(1): 2022/11/12(土)18:04 ID:r4QYDURa(14/17) AAS
>>977
ボクは数学者ではない
ここでいう数学者とは
数学の専門雑誌（ただし捕食学術誌を除く）に論文を掲載した人
を指す
上下前次1-新書関写板覧索設栞歴
あと 20 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.010s