[過去ﾛｸﾞ]
Inter-universal geometry とABC 予想57 (1002ﾚｽ)
Inter-universal geometry とABC 予想57 http://rio2016.5ch.net/test/read.cgi/math/1723187304/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
730: １３２人目の素数さん [] 2025/06/07(土) 16:52:05.67 ID:+WCMz8Rw >>729 IUT一派の罵倒か AIを振り回して恥ずかしいかぎり >715 http://rio2016.5ch.net/test/read.cgi/math/1723187304/730
731: １３２人目の素数さん [sage] 2025/06/07(土) 16:57:55.84 ID:7dNqVJgc >>730 バカすぎる 716 １３２人目の素数さん[sage] 2025/06/07(土) 12:24:52.50 ID:7dNqVJgc >>715 今のAIってのは大規模言語モデルだから言葉しか読めるわけないのだが なぜか全く教えてない数学をある程度最初から出来ちゃったりする 計算規則を少しだけ学べるわけね でもかなり不正確だから 今のChatGPTは計算問題を聞かれたらその計算をするPythonプログラムを生成して実行することで数値を得るようにして計算ミスを回避してる つまり言語モデルは数学を直接理解しにくいが 数学を操る記号システムを言語として操ることなら可能なんだよ だからPythonと算数の関係みたいに 自動証明支援系を生成して別システムで証明させるみたいな複合システムにすればかなりの事が出来るようになる http://rio2016.5ch.net/test/read.cgi/math/1723187304/731
732: １３２人目の素数さん [sage] 2025/06/07(土) 16:58:21.17 ID:7dNqVJgc >>730 知能が存在してない 714 １３２人目の素数さん[sage] 2025/06/07(土) 12:08:44.91 ID:7dNqVJgc 「既存の数学とまるで違う」というのが逆に大規模言語モデルにとって有効だった まるで違うので必要なことは全て論文中に書かなきゃならないから 書いてあることだけから真偽を確定できるわけだ これが普通の自然科学や数学の論文だと 「論文には書いてない多数のこと」の正確な理解が問われるから大規模言語モデルはまるでダメ 例えば量子計算の論文を正しく理解させるには量子情報の教科書PDFと同時に与える必要があったりする 望月論文は教科書的な基礎もセットだからそこがたすかる http://rio2016.5ch.net/test/read.cgi/math/1723187304/732
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s