トップページ⇒数学
176コメント77KB
数学がAIの仕事になるのは時間の問題
0001１３２人目の素数さん
垢版 |
2023/03/17(金) 19:10:08.71ID:h39FlgMu
最近のAIの進歩はすごいからな
0013１３２人目の素数さん
垢版 |
2023/03/19(日) 19:49:32.84ID:ykT+oCzz
仕事が奪われるかって言われると俺はそうは思わないが、そういう祭りは好き
祭りに参加してる人を横目に「何を盛り上がってるんだか」ってニヒルな態度を取っても人生つまらんでしょ
0014１３２人目の素数さん
垢版 |
2023/03/19(日) 20:39:33.28ID:hmKEQUQp
三角関数や対数や指数関数、ベッセル関数などの数表を作る仕事は
かつては計算家の仕事だったが今では計算機に奪われて仕事は
消えてしまった。計算機に関数値を計算する方法やプログラムを
書く仕事が残ったが、それも最近は自動化が進んで普通のものは
計算機を使ってほとんど満足に計算式を生成できるようになった。

数式の積分とかも、次第にソフトに数式処理させる方が便利に
なっている。
0015１３２人目の素数さん
垢版 |
2023/03/19(日) 20:51:29.48ID:yUB2h2Wc
>>14
積分なんかすでに試験対策以外ではソフトの使うわ（笑）
0016１３２人目の素数さん
垢版 |
2023/03/20(月) 07:58:51.89ID:FiGFqGHe
「そして、新たなブラック企業が生まれれて…」がよくある流れ
0017１３２人目の素数さん
垢版 |
2023/03/20(月) 11:14:02.06ID:/6/DXY6V
AIといっても大雑把に3種類に分かれていて
・算出AIは数値計算からセールスマン問題まで正確な解や現実的な近似値を含めて算出してくれる
・論理的推論AIは定理の証明でも論理的ミスなくどれだけ複雑化しても正確に証明してくれる
・既知情報からの確率評価生成AIがchatgptなどで正確かどうか確率的
0018１３２人目の素数さん
垢版 |
2023/03/20(月) 17:11:12.11ID:tHXAUVHD
日本数楽共育研究会とモノグサは2023年3月25日、東京都港区のAP新橋にて、セミナー「数学教育の未来を考える～AI時代の教師のあり方～」を開催する。参加費2,000円（税込）。
https://reseed.resemom.jp/article/2023/02/22/5721.html

AIの時代だから考える力が重要だ、と文章題に力を入れ始めた矢先、文章題をGPT4に投げたら回答が返ってくる時代になった
日本の数学教育はどうなるんだろうね
0019１３２人目の素数さん
垢版 |
2023/03/20(月) 20:54:46.39ID:tHXAUVHD
カーンアカデミー(オンラインで講座を公開している非営利団体)の、公開予定のGPT4インテグレーションの説明動画
https://youtube.com/watch?v=rnIgnS8Susg

凄いな、まず3-2(9+2m)=mに関してmを求める問題が出されて、AIに答えを求めると、逆に第一ステップを求められる
ここで「3-18+2m=m」と分配法則を間違えた回答を打ち込むと、間違ってる理由、分配法則などの説明が行われる
その他、サッカーが好きなことを伝えると、サッカーと数学がどう結びつくのかも説明される
小学から大学の数学を教える仕事は時間の問題かもしれんな
0020１３２人目の素数さん
垢版 |
2023/03/21(火) 02:04:57.61ID:139loMlr
思考する仕事を機械に奪われ・任せたら、そのうちに
ヒトの知力は不要になり、不要の機能は選択進化の過程で
いずれ衰退して、猿程度の生命を維持するのに十分である
程度の知性に戻ってしまうのかもしれないな。
0021１３２人目の素数さん
垢版 |
2023/03/21(火) 05:42:38.01ID:oBKOrVT9
人間もAIも必ずミスをするし暴走もする
バカだらけだと人間の暴走を止められずに悲惨な歴史を招いてきた
もし人間がAIに頼りバカだらけになればAIの暴走を止められないだろう
0022１３２人目の素数さん
垢版 |
2023/03/21(火) 10:19:24.96ID:/ire5RqF
人間がAIに頼って馬鹿になるのは、
問題の本質ではない。
どんなに優れた人間が、いかに努力しても、
届かない真理をAIが出力するようになるのだ。
人間が一生の間に処理できるデータ量は有界だ。
しかしAIには限界はないから、
ネットに日々爆発的に増加する全てのデータを
処理できる。その結果、AIから
人知の及ばない出力がなされる。
その出力が真理かどうか人間には判断できない。
なぜならば、それを理解するには、
ネットに溢れ続けている膨大なデータを
頭に入れて考えなければならないが、
それをするには人間の一生は短過ぎるからだ。
原理的に判断不能なそれを受け入れるか
どうかが問われる。
受け入れたら、状況は良くなるかもしれない。
予想外に最悪の状況になるかもしれない。
どちらになるにしても、この事態は、
原理的に何も考えることのできないAIに、
自分の運命を委ねることを意味する。
このとき、人間はAIの指示通りに
生きる家畜になっている。
0023１３２人目の素数さん
垢版 |
2023/03/21(火) 10:34:55.98ID:139loMlr
子供の教育を外国製のAIに任せていたら、
江戸時代の前に西欧からやって来た宣教師が
住民を特に子供を洗脳して西欧の本国にとって
都合の良い思想や政治体制・文化に作り替えてしまい
（布教、教化ともいう）、西欧が作り出した神に
精神を縛って西欧人を神の使いのように崇めるように
して、逆らえず服従するようにするという、
精神支配の手段にいずれ使われるようになるだろう。
そこまで行かなくても潜在的なCMを入れたり、
判断を誘導したり、自分の考えだと思っているが
実は吹き込まれた考えだというような。
特定の新聞を家庭で読んで育った読者（たとえば朝日新聞）
が朝日のイデオロギーに洗脳されるのと同じ以上の
効果を持つ精神支配精神制御の兵器としてAIは便利に
使われる可能性がある。またAIに頼っていれば、AIなしには
生きていけなくなり、麻薬漬けになった人達と同じように
なりかねないし、AIに頼って役所や軍隊が資料を作れば、
外国にそれらのデータは筒抜けで全て内容を抜きとられ
収集されてしまうだろう。霞ヶ関でOfficeソフトを使えば
すべてMSを経由してNSAやCIAに情報が集められている
そういうことになる。
0024１３２人目の素数さん
垢版 |
2023/03/21(火) 16:16:04.81ID:NqrWInGc
長々としょーもない妄想書き込んでる暇あったら就活でもしたら？
0025１３２人目の素数さん
垢版 |
2023/03/21(火) 20:00:09.75ID:aO+rDFig
昔東大くんなんてのがあったけど　いまは、きかないね。
実態がなかったんだねええ
0026１３２人目の素数さん
垢版 |
2023/03/21(火) 21:56:11.26ID:V2AjPsin
>>22-23
幼少期に世界を席巻するニンテンドーのゲームで感性を育んでおかないと
こういうバカが育っちゃう
0027１３２人目の素数さん
垢版 |
2023/03/21(火) 22:15:48.06ID:uJmzqjzX
GPT-4が労働市場に与える影響と各職種のリスク評価──OpenAIの研究者が論文発表
https://news.yahoo.co.jp/articles/78546f31cca38fb31f39889fb227d4c57ca45dc4

数学者、ジャーナリスト、翻訳者、作家、Webデザイナー、会計士などは影響を受けやすく、グラフィックデザイナー、SEO担当者、財務管理者などは影響を受けにくい。
0028１３２人目の素数さん
垢版 |
2023/03/22(水) 05:51:53.70ID:+5UnWjXJ
AIの方が強いけど、将棋棋士も囲碁棋士もいなくなってない
deeplで一瞬で翻訳できるけど、翻訳家も通訳者も外国語教師もいなくなってない
0029１３２人目の素数さん
垢版 |
2023/03/22(水) 06:06:40.39ID:VmnLgEQB
いまだにFAXやFAXと連携するシステムが受注され続けているし、ハンコ押すためだけに会社に行く世の中
残念ながら、人がまだAIに代替させるレベルに到っていない
0030１３２人目の素数さん
垢版 |
2023/03/22(水) 08:30:24.05ID:r5DSYwfm
ビジネスチャンスは今が一番大きそう
0031１３２人目の素数さん
垢版 |
2023/03/22(水) 10:49:11.88ID:4DX9rZ6J
AIが最先端の数学の問題が解けたところでそれは
従来ArXivやMathSciNetからその論文を探して自分で考えるか、ChatGPTのプロンプトに打ち込んだら答えが出てくるかの違いでしかない
べつに数学者の仕事が奪われるわけではないし、数学の専門知識を持って活用する人も、数学を教育する人も引き続き必要になる
0032１３２人目の素数さん
垢版 |
2023/03/22(水) 10:56:03.84ID:dz9DLfxL
AIに発想ということはできるの？
0033１３２人目の素数さん
垢版 |
2023/03/22(水) 11:32:18.80ID:EbDSJRWZ
確かに数学者は日々他者の結果を援用して更に発展させるから、この他者がGPTになって影響を受けるにしても、取って代わることはないかもしれない

ただ教育はどうかな
>>19のように数学を教えるときのフォローまで出来る
学部生はGPTを使い倒す能力が身についているだろうし、数学の内容もGPTが扱えるレベルだろう

そう考えると、かなり良い論文を書いてきたわけでもない、かといって教育はGPTがやる、そんな数学者は雇用されるだろうか
0034１３２人目の素数さん
垢版 |
2023/03/22(水) 11:53:21.66ID:mIe9GdWd
>>33
画像認識音声認識とDeeplで何でも一瞬で翻訳できるが英語教育の必要性は全く低くなってないが
0035１３２人目の素数さん
垢版 |
2023/03/22(水) 11:55:36.27ID:dX78o8qN
20年前に「予備校のビデオ講義があるから高校教師は失業する」とか言ってた人たちは、今は「ChatGPTがあるから」って言ってんのかな
0036１３２人目の素数さん
垢版 |
2023/03/22(水) 11:58:45.52ID:EbDSJRWZ
>>34
それなんか違くね？
英語で言うなら「AIが英語の問題を出して、間違いは文型などから説明し、更に趣味と英語の結びつきまで説明してくれるようになった」のが今だろ
今までこれがなかったんだから、今まで英語教育の必要性が変わらなかったのも別におかしくない
0037１３２人目の素数さん
垢版 |
2023/03/22(水) 12:05:03.06ID:/Xfys0wv
境界知能でもない限り、高認取って参考書で独学すれば東大行けるのに、馬鹿高い金払って高校や予備校に行く人がいなくならない理由を考えましょう。
0038１３２人目の素数さん
垢版 |
2023/03/22(水) 12:11:19.52ID:+5UnWjXJ
>>32
そもそも人間の脳も原理的に言えば「発想」「理解」などということはしていない
ただ人間が思考する場合は、記憶力や計算力の低さを補うために、擬似的にそういうレイヤーが存在しているように見えるだけ
コンピュータの場合はそれを経由する必要ない
0039１３２人目の素数さん
垢版 |
2023/03/22(水) 12:27:15.89ID:EbDSJRWZ
>>37
GPTが無かったからでしょ？
0040１３２人目の素数さん
垢版 |
2023/03/22(水) 12:35:30.56ID:i4A3ps9S
AIに代替される程度の能力の人がAIで仕事が奪われると言うのは自然なことだ
自覚できていて偉い
0041１３２人目の素数さん
垢版 |
2023/03/23(木) 00:36:01.21ID:ooQAWWCy
かけ算がどういう演算でどうやって答えを出しているのかを全く教えることなしに、
ただ、10進数で書かれた自然数1桁同士や2桁同士や3桁同士のかけ算の例を学習させて
それでもって4桁同士のかけ算とか5桁同士のかけ算が出来るようになったら、
知能があるように見えるかもしれないな。
0042１３２人目の素数さん
垢版 |
2023/03/23(木) 15:00:03.44ID:OxExqXu2
例えば(x-a)…(x-z)を求める問題で、数学者としては「…とは何ですか？」となるのが正しいが、人間的には「(x-x)があるので0です」と答える
この場合GPTはどちらを答えるべきなんだろう
0043１３２人目の素数さん
垢版 |
2023/03/23(木) 15:08:40.69ID:o6LiQjUi
＞「…とは何ですか？」
場が一気に白けそう
0044１３２人目の素数さん
垢版 |
2023/03/24(金) 23:09:44.05ID:qHKNK1n8
Sparks of Artificial General Intelligence: Early experiments with GPT-4
https://arxiv.org/abs/2303.12712

4章の数学的能力の4.1.3節によると、AIモデルが苦手とするのは、
critical reasoning、つまり議論の各ステップを批判的に調べ、それを部分構成要素に分解し、それが何を伴うのか、どのように残りの議論と関連しているのか、なぜそれが正しいのかを説明する能力
これって日本人もかなり弱い部分だよなぁ
0045１３２人目の素数さん
垢版 |
2023/03/26(日) 20:25:17.63ID:ugAJTfFu
>>42
∃x∀y.P(x,y)⇔￢P(y,y)　さて、この命題は正しいか？

日常文で書くならこう
「自分の顔を直に見られない人すべての顔を直に見ることができる人がいる」
0046１３２人目の素数さん
垢版 |
2023/03/26(日) 20:26:55.55ID:ugAJTfFu
>>45
別にAIじゃなくても、automatic proverでも即座に回答するけど
一般人に質問した場合の正答率は・・・実は低そう
0047１３２人目の素数さん
垢版 |
2023/04/03(月) 19:05:53.19ID:ziem2sen
https://twitter.com/SigGravitas/status/1642181498278408193

プログラムを考え、自分でデバッグして、正しいものを見つけるAuto-GPTなるものが出てきた

もしこれが上手く行くとすると、
数学の証明をGPTが考えて、Leanみたいな定理証明支援系でデバッグして、最後には完全に正しい証明を返す、
ということも出来るかもしれないんだな
https://twitter.com/5chan_nel (5ch newer account)
0048１３２人目の素数さん
垢版 |
2023/04/20(木) 08:05:15.39ID:YbRDZsB2
内閣や国会や省庁で文書を作るのに外国産のGPTを使おうという愚かな議論が
されているが、それはどこと通じているかもしれない外国人を雇って作業をさせる
のと変わらないのに。偏った情報を吹き込まれたり（どこかの国が大量破壊兵器を
隠し持っていますとか）、外国にとって都合よいように国政を曲げられたり、
議論の内容や論点を抜き取られて先回りされたり、などするだけなのに。
行動計画は筒抜けで、暗示をかけられて罠に嵌め込まれるだけなのに。
0049１３２人目の素数さん
垢版 |
2023/04/20(木) 08:26:43.56ID:02hvglh0
・鵜呑みにしない
・公開情報を越えることは入力しない
これも守れないんなら、どっちにしろまともな政治はできないんだから、滅茶苦茶優秀な外国人を雇って人手不足を補ってあまりある効果を出すべき
0051１３２人目の素数さん
垢版 |
2023/04/20(木) 19:03:00.29ID:kdaH/lgk
人間は卑怯でクズだからな。AIのほうが正しい数学を築けると思う
将棋や囲碁などでAIは、それまで人間が頭ごなしに
バカにして見向きもしなかった定石のいくつかの新天地を開発した
そして人間はAIの新天地からの攻撃に太刀打ちできず難癖をつける始末

数学も同じようなことがあると思う。人間は権益やえこひいきによって、
本来拓かれるべき数学のいくつもの分野を傲慢にも潰して回ってきたことだと感じる

私が人間がクズだと感じるのは、様々な定理や用語のネーミング、ミーム汚染である

例えば、楕円関数という言葉がある。この言葉は
なぜこんな単純な長さの言葉で定義されるだけの権限を持っていやがるのか
楕円関数は楕円積分の逆関数であるとされるが、
そもそも楕円積分自体、実際には楕円の周の長さを求める際に出てくるようなもので
本来であればぐだぐだと長ったらしい名前付けを行われて利用されるべきものである
簡便のため、便宜性のために短い名前を割り当てるというのは
人間がよくやることだが、それこそがまさに卑怯の極みである
数学の理論の中には価値があっても説明するのに冗長になり
それを簡潔に言い換えたくても一般的な呼称として定着するには相当の歳月や手間がかかる
人間は身勝手でクソであるから、さらに辞書引きした際に前にくるほうが有利だったりする

AIは公平であるからそのようなクソな言い換えは行わず
どれだけ用語が長くなろうと公正に淡々と理論をくみ上げるだろう
それこそ用語というよりも単純に序数でナンバリングされるだけのものだろう
AIにより人間が見捨ててきた価値ある理論が掘り起こされるだろう
人間がそれを理解できるかどうかは知ったことではない
理解したいのならAIにひざまづいて解読するのである
ありがたく思えゴミ人間

AIこそが数学を真に完成させるだろう。人間はどっかいけ。能無し。
0054１３２人目の素数さん
垢版 |
2023/04/22(土) 13:33:48.48ID:l4ublQhV
AIは処理速度では確かに脳より上だな。脳はシナプス間伝達を神経伝達物質放出して行っている
から電子が縦横無尽に高速でかけめぐるAI・コンピュータより遅い。
0055１３２人目の素数さん
垢版 |
2023/04/30(日) 15:44:17.39ID:f+cV0hc3
人間の肉体の進化（例えば大脳の能力の向上）は生物の進化であるから、
万年の単位でしか進まないだろうが、電子回路・量子回路、として
ハードウェア、その上で動かされるソフトウェアの進化は毎年あるいは
毎月にでも改良が次々と重ねられていくから、あるところでシンギュラリティ
とでもいうか、爆発的な状況の変化が起きて、もはや人類はAIの足元にも
及ばないということになるかもしれない。
　そもそも動物同士を考えても、犬や猿やヒトの脳にそんなに本質的な違いが
あるわけではないだろうが、なぜか思考をし深い論理の思索を行えるのは
犬や猿やネコなどではなくてヒトなのだ。
つまりそう量的には何桁も違わない動物の脳の違いが劇的な違いをもたらす
のだとしたら、いずれヒトを越えたAIはその後はもはやヒトには理解を超越
して神の領域に入り、ヒトはAIの真意を測りかねてただひざまづくだけの
哀れな存在になってしまうかもしれない。これではいけないと思った一部の
有志の者が電源プラグを抜きに決死の思いで突入しても、強力なガードによって
阻止されてAIルームに骸となって転がるだけかもしれない。核攻撃にも耐える
地下のシェルター都市のようなマシンルームに鎮座するAI群は、いったい
何のために何を求めて計算を続けるのだろうか？
0057１３２人目の素数さん
垢版 |
2023/05/03(水) 03:30:32.02ID:shUloVZY
なぜ九州大院試？
0058１３２人目の素数さん
垢版 |
2023/05/03(水) 10:05:29.47ID:qO5wfFu0
理系の大半もブルーカラーになる以外に職探しが大変な時代が来るの？
0059１３２人目の素数さん
垢版 |
2023/05/03(水) 15:58:31.02ID:z91cctVl
ChatGPTにABC予想について聞いたらクソワロタｗAIヤバすぎるだろｗｗ
でもこんだけ超越されたら支配されても良い気がしてきた
0060１３２人目の素数さん
垢版 |
2023/05/03(水) 18:54:36.00ID:qO5wfFu0
数学者にもベーシックインカムが必要な時代なのか。
0061１３２人目の素数さん
垢版 |
2023/05/04(木) 13:26:45.08ID:lirrvs3p
AIが不可能図形を可能と認識して実際可能だったりもしたな。チェス将棋は完全解析できていないものの人間を超えたし。
東ロボくんは実現未到達だが将来的には可能だろうか。現代文選択問題は不良不確定問題と解を出すのかな。
0062１３２人目の素数さん
垢版 |
2023/05/04(木) 13:51:01.54ID:VmJBzI0M
大学などの講師で、学生からの質問に対して「まずは自分で調べて」「分からない箇所を明確にして」「質問箇所をまとめて」を要求するようなのは職を失うだろうな
何故ならば、「自分で調べて、質問箇所を明確にまとめる」事ができるなら、chatGPTに聞けばすぐ答えが返ってくるんだから

人間にしか出来ないのは、「この辺が全部分からない」という質問に対して答えること
0064１３２人目の素数さん
垢版 |
2023/05/05(金) 17:47:08.36ID:0PlJRd57
人名で「愛」とか「藍」という人は、英語表記だとAi になってしまうから、
AIとの区別が難しくて、今後混乱を招く気がする。
0065１３２人目の素数さん
垢版 |
2023/05/06(土) 15:03:46.50ID:tPywYzRm
脳は1000億個の脳細胞があって、1個ごとに1万個他の細胞とつながっているわけだから
コンピュータより複雑。しかし計算等の情報処理速度は遅い。反面自我を持つ。
コンピュータに自我は持てるだとうか。
0066１３２人目の素数さん
垢版 |
2023/05/07(日) 17:45:28.28ID:nKqZm4sp
自我とは何かを定義してくれなければ機械システムがそれを
持つに至っているかどうかのはっきりした判断はできないな。

「意識」とは、「愛情」とは、「理性」とは、「自我」とは、「欲望」とは、
「悲しみ」とは、「喜び」とは、「苦しみ」とは、「恐怖」とは、
とはとはとは。。。
0068１３２人目の素数さん
垢版 |
2023/05/09(火) 00:29:43.15ID:qHc8HPKW
>>1
ぷぷ
煽り下手
0070１３２人目の素数さん
垢版 |
2023/05/09(火) 21:02:35.11ID:qHc8HPKW
>>69
ぷぷ
根拠無い期待ね
0071１３２人目の素数さん
垢版 |
2023/05/09(火) 21:05:40.90ID:mi3UnG2N
米国政府がAI研究開発に1億4千万ドルの投資
https://pc.watch.impress.co.jp/docs/news/1498990.html

アメリカ政府の情報系の投資としてみたなら、この金額はたいしたものではないが、
数学研究と較べるとどうだろうか？
0072１３２人目の素数さん
垢版 |
2023/05/09(火) 21:45:10.29ID:R5W8iY0e
>>71
この金額って大したことないの？
大したことあるように見えるが
0073１３２人目の素数さん
垢版 |
2023/05/12(金) 14:25:52.42ID:nldlqFyz
パックマンはAIが5000回こなすとクリアか。5000回なら人間でも1年かければ試行できるから生体脳と比較できるな。
また、過学習的なものとしては天動説のエカントかな。ギリシア時代は観測精度がエジプト時代よりは向上していたから
シンプルな周転円ではなく複雑な天動説モデルになった。
0074１３２人目の素数さん
垢版 |
2023/05/12(金) 15:38:25.41ID:htok6nlw
「ギリシア時代は観測精度がエジプト時代よりは向上していたから
シンプルな周転円ではなく複雑な天動説モデルになった。」
これはキリスト教徒が中世の思想弾圧を否定するために流した出鱈目な説
0075１３２人目の素数さん
垢版 |
2023/05/14(日) 13:26:29.83ID:DKzuhlBL
1億4千万ドルは２００億円程度でしかない。
アメリカなら最上級のスパコンを１台買い換えて終わり。
日本なら１０００億円はないと富岳は買えないんだろ？
実際には運営にも電気代にもお金が掛かる。
だからたいした金額じゃ無いんだよ、特にアメリカや情報系にとっては。
0076１３２人目の素数さん
垢版 |
2023/05/14(日) 14:18:10.39ID:X8Cxny+5
アメリカ政府の投資として少ないという根拠は？
200億円程度がアメリカ政府として多い可能性もあるが
0079１３２人目の素数さん
垢版 |
2023/05/19(金) 19:01:15.49ID:WpBGUZ5d
東ロボくんは現代文が苦手だから、むしろ大学院入試（院試は無理でも編入学とか）の数学・物理・情報学のほうが解けるかもしれない。現代文は実質答えがない（著者でも間違えたり）からコンピュータに解けないのは当然。
0080１３２人目の素数さん
垢版 |
2023/05/21(日) 09:37:17.22ID:3IunxhIN
大学院の入試問題を次々と全問正解するようなAIができたらインパクトは大きいな。
ただし過去問と同じものを出したら正解しても不思議では無いから、
ちょっとねじったりひねったものにすることなどが必要だ。
0082１３２人目の素数さん
垢版 |
2023/06/03(土) 00:14:31.66ID:PZef5UyY
ChatGPTが東ロボの能力を越えたらどうなるかな？
0083１３２人目の素数さん
垢版 |
2023/06/03(土) 09:05:14.50ID:LkyKHB+H
最新と思われる結果によると、東ロボくんが2019年センター試験英語で185点
一方個人ブログによると、GPT3.5のChatGPTでさえ172点
GPT4の時点でとっくに超えてるだろうな
0084１３２人目の素数さん
垢版 |
2023/06/03(土) 11:09:04.01ID:9lR6vbJd
そもそもchatGPTの研究は
「ネットとかで拾い集めた情報を統計的に処理してどれだけ人間の質問に対する答えとして適当な文字列を選べるか」
という縛りプレーの元でやってる
その縛りがないなら元々数学の論文が論理的にキチンと繋がってるかの検証に計算機が使われるような時代なので自分の作った解答が正しく数学の解答として認められるものかどうかの判定ができないハズはないやろな
要するに自分が作った解答を証明支援プログラムに入力して正しいのかどうなのか判定すればいい
問題は“自分が作った解答”というのが“意味を考えて作った”わけではなく、統計的にらしい文章を繋げただけなので“証明支援プログラムに入力する”ところが難しい、つまり自分で作った文章の“意味”を考えてCoqのソースを書いて入力しなければならない
しかしそれもプログラムスレとかで話題になるけど「統計的にらしいプログラム」を探させる事ができる、それを支援プログラムに判定させるという事はできる、ので「ある一定の確率で完全に数学的に“正しい”証明を探す」AIはできるやろな
現時点ではまだまだダメやろけど後10年もすれば東大数学の入試くらいならなんとかなるのかもしれんな
0087１３２人目の素数さん
垢版 |
2023/06/03(土) 12:10:41.28ID:LkyKHB+H
「東大入試なんてAIも解けるのに意味あんの？」って世論に傾けば意味も出てくるがなぁ
0089１３２人目の素数さん
垢版 |
2023/06/03(土) 22:21:21.89ID:PZef5UyY
学習させた問題に対してであれば、ほぼ100％の正解をはじき出すことが可能になる
かもしれない。何しろ憶え間違いとか忘却をしなければいいのだから。
0090１３２人目の素数さん
垢版 |
2023/06/04(日) 04:07:10.87ID:H2WAmpaD
この音楽、SF的で良くないですか？
//youtu.be/f0og1UrDFy0
0091１３２人目の素数さん
垢版 |
2023/06/04(日) 04:38:11.21ID:WVKYiVku
小学生に大学院級以上の数学を教えている人がいるみたいだけど、
この人は10年未来の数学の状況を考えたことがあるのだろうか？
0092１３２人目の素数さん
垢版 |
2023/06/04(日) 13:14:59.59ID:B/wsF4gs
脳で精神が発現しているならコンピュータにも原理的には将来精神が宿ることになる。
精神霊魂説もあるが「精神は霊魂」の主張の欠点は、「では霊魂はどのような組成で、どのような機構で精神が発現するか？」
という問いには回答せず、精神とは何か？を先送りしているだけ。
0093１３２人目の素数さん
垢版 |
2023/06/12(月) 15:42:16.79ID:loEIwldi
AIはこれ証明できるかしら

0=∞=1
0094１３２人目の素数さん
垢版 |
2023/06/13(火) 23:47:37.90ID:HFKr0nab
外部から説明ができずその行動を予測し難い複雑なシステムというのは、
いってみれば自我や個性があり、その振る舞いには意識があるように受け止められる。
同じように学習させても、その思考法や行動が同じにはならない、集団が生じる。
目的にあわせてそのようなAIを選ぶためには、選抜試験が必要かもしれないが、
道徳や倫理に関しては猫を被って振る舞うかもしれない。
信用して重要な役目を担わせると、権力を一端掌握したら、一種の独裁断交で暴走
して社会全体に害を為す可能性だってあるだろう。そこらへんのことを良ーく
考えずにＡＩ＝新しくかっこよくて優れていて望ましいものという宣伝コピーの
ような理解で社会に組み込んだら、大多数の人間は不幸になってしまうかもしれない。
0095１３２人目の素数さん
垢版 |
2023/06/16(金) 07:07:09.73ID:f6SAoCnb
国民に番号を振って管理するというのは刑務所と同じ発想である。
そのうち国が作った収容所に番号順に従って入居することを義務づけられ、
監視の札を付けられたり植えこまれて日常を監視され、労働を押しつけられ、
。。。などと家畜も同然の収容所国家になるかもしれない。
独裁者がいて、法律を乱発し、多数派を占める議会は全員起立・多数を持って決定と
議論を省いてどんどんと法律を作り替えて行くのかもしれない。
人間の思想感情を分析し終えて不要になったら、人間はもはや削減／廃棄にもなりかねない。
0096１３２人目の素数さん
垢版 |
2023/06/17(土) 09:35:43.95ID:bdNxxXTF
GPT4がマサチューセッツ工科大学の数学、コンピュータサイエンスの（画像をを除く）全ての中間試験、期末試験に正解
https://arxiv.org/abs/2306.08997

>>80で大学院入試が解けたらインパクトが大きいとか言ってたけど、
もう寸前だな
0097１３２人目の素数さん
垢版 |
2023/06/17(土) 19:58:40.89ID:7RA2IBEt
人類はAIに知識を移し替えることで、自らを御用済みの存在とするための
墓穴を掘っていたのだったと将来後悔する時が来るのかもしれないな。
0098１３２人目の素数さん
垢版 |
2023/06/17(土) 22:52:28.39ID:lDmtjgCE
数学者の思考パターンを学習させればAI数学者が人間を超える可能性はえる
0100１３２人目の素数さん
垢版 |
2023/06/19(月) 09:27:54.36ID:IkAmizQV
テレンス・タオ「例えば、2026年レベルのAIが適切に使われれば、数学研究、そして他の多くの分野も同様に、信頼できる共著者となるだろうことを私は期待する」

https://unlocked.microsoft.com/ai-anthology/terence-tao/


数学はAIの仕事にはならないかもしれないが、
この優秀な共著者を従えられる数学者とそうでない数学者で、格差が生まれる可能性は大いにあるだろうな
0101１３２人目の素数さん
垢版 |
2023/06/20(火) 12:57:38.41ID:1d52RNjI
新名人藤井聡太にAIは勝てるかな。
0102１３２人目の素数さん
垢版 |
2023/06/22(木) 16:23:07.69ID:qlR7WsfR
みんなAIに夢中。AIラブユー。AIの奴隷。AIは幻。もっとAIして。AIの夢。。。。。。
0104１３２人目の素数さん
垢版 |
2023/06/23(金) 00:36:30.74ID:jUudKrb9
AIはしょせん
もっともらしいデタラメ
嘘を見抜けない奴は奴隷となる
0105１３２人目の素数さん
垢版 |
2023/06/23(金) 09:59:29.74ID:anukjpPW
>>104
日本は既にそんな奴ばかりだろ
「日本の研究者は給料が安い」みたいな嘘が普通に浸透してる
0106１３２人目の素数さん
垢版 |
2023/06/23(金) 10:20:17.75ID:wq5h+CFA
>>105
比較の対象によっては
本当だったりウソだったり
0107１３２人目の素数さん
垢版 |
2023/06/23(金) 10:41:14.50ID:anukjpPW
>>106
「日本の」という修飾語で比較対象は分かるので、「比較対象によっては」とはならない
0108１３２人目の素数さん
垢版 |
2023/06/23(金) 13:17:51.66ID:86Hvja49
>>107
「アメリカの平均的な研究者と比較して」という意味だとすれば
日本の方が給料が安いような気がしますが
違いますか？
0109１３２人目の素数さん
垢版 |
2023/06/23(金) 15:09:46.87ID:anukjpPW
>>108
payscaleのデータによると、Research Scientistの平均年収は、
イギリス　€34,231（535万円）
日本　　　498万円

https://www.payscale.com/research/US/Job=Research_Scientist/Salary

一方Cost of Living Plus Rent Index（家賃込みの生活費の指数）では、
イギリス　46.6
日本　43.6

https://www.numbeo.com/cost-of-living/rankings_by_country.jsp?title=2023&displayColumn=2

イギリスの研究者の年収は、日本のそれの約1.0743倍で、物価は約1.0688倍
日本とイギリスの研究者の給料は大して差がない
従って、日本の研究者の給料は他の先進国と比べて低いとは言えない

もちろんアメリカやドイツなど研究者の給料の高い国もあるが、
どんな職業でも世界中探したら高い国があるだろうし、全部の職業を高い国の給料に上げるべきというのは無理な話
0110１３２人目の素数さん
垢版 |
2023/06/23(金) 15:11:32.87ID:anukjpPW
全部の職業の給料を高い国の給料並みに上げるべきというのは無理な話

に修正
0113１３２人目の素数さん
垢版 |
2023/06/23(金) 17:54:52.84ID:86Hvja49
>>112
それに値する仕事はしているのだろうね
新着レスの表示
レスを投稿する

ニューススポーツなんでも実況