コンピュータは数学者になれるのか？ (52ﾚｽ)
上下前次1-新
1(1): 01/25(土)22:18 ID:/BZASPKI(1/2) AAS
記号論理の処理系 + ディープラーニングで、相当数の数学の問題は自動で解けると思うんだが、いまだに実用化されてないってことは、やはり技術的に難しいの？
2: 01/25(土)22:20 ID:/BZASPKI(2/2) AAS
少なくとも、囲碁や将棋のAIがいまや人間よりも圧倒的に強いように、人間よりも圧倒的に強い数学AIを作ることは可能だと思うのだけど、誰もやろうとしないの？
3: 01/25(土)22:25 ID:dFvrcu6F(1/4) AAS
働け獄潰し
4: 01/25(土)22:26 ID:dFvrcu6F(2/4) AAS
数学辞典写経したら数学者になれる？
2chｽﾚ:math
5: 01/25(土)22:26 ID:dFvrcu6F(3/4) AAS
微積極めたら最強になれる？
2chｽﾚ:math
6: 01/25(土)22:27 ID:dFvrcu6F(4/4) AAS
位相やったら最強になれる？
2chｽﾚ:math
7(2): 01/25(土)23:21 ID:ATJBQ1/0(1) AAS
データ入力がクソめんどい
囲碁将棋ならAIの出力を棋譜や盤面で表現できるけど、実用的な数学の証明を論理記号の列の形式見せられても人間には解読不能
8: 01/26(日)14:36 ID:iwQ8aJvT(1) AAS
>>7
めんどくさがらずにやれ
数学者なぞ科学の発展のための歯車のひとつでしかない
9: 01/26(日)15:40 ID:FoJIvMvb(1/19) AAS
ミジンコがそういっている
10(1): 01/26(日)15:57 ID:kZ+paBAL(1/2) AAS
たいていの数学者なんて歴史に残らないしょうもない論文しか書けないのだから、人類の発展のためにAIのトレーニング作業のために低賃金でこき使われるべき
11: 01/26(日)15:57 ID:FoJIvMvb(2/19) AAS
歯車のにもなれないウンコの主張
12: 01/26(日)15:59 ID:FoJIvMvb(3/19) AAS
ウンコ製造機は働くべき
13: 01/26(日)16:04 ID:kZ+paBAL(2/2) AAS
>>10に反発をする理由がわからない
科学技術が必要ないならアフリカにでも移住すればいいじゃないか
14: 01/26(日)16:12 ID:7CBsdXNZ(1) AAS
お前が思いつく程度のことは、すでにOpenAIやMicrosoftやGoogleがやってる
いずれにせよ、金出す連中に学問の知識の無い日本じゃ実現不可能
15: 01/26(日)16:59 ID:FoJIvMvb(4/19) AAS
「数学」をプログラミングするには
2chｽﾚ:tech
16: 01/26(日)17:00 ID:FoJIvMvb(5/19) AAS
How to do Math in programming
2chｽﾚ:tech
17: 01/26(日)18:06 ID:FoJIvMvb(6/19) AAS
マジレスすると噛みつかれるスレ
18: 01/26(日)18:09 ID:FoJIvMvb(7/19) AAS
まったく関係ない
>数学者なぞ科学の発展のための歯車のひとつでしかない
>コンピュータは数学者になれるのか？
19: 01/26(日)18:23 ID:FoJIvMvb(8/19) AAS
ハイ論破
20: 01/26(日)18:59 ID:FoJIvMvb(9/19) AAS
コンピュータは物理者になれるのか？
21: 01/26(日)19:00 ID:FoJIvMvb(10/19) AAS
コンピュータは化学者になれるのか？
22: 01/26(日)19:00 ID:FoJIvMvb(11/19) AAS
コンピュータは生物者になれるのか？
23: 01/26(日)19:01 ID:FoJIvMvb(12/19) AAS
コンピュータは経済者になれるのか？
24: 01/26(日)19:01 ID:FoJIvMvb(13/19) AAS
コンピュータは社会者になれるのか？
25: 01/26(日)19:50 ID:sGw9V4+7(1) AAS
>>7
藤井聡太は、盤面を脳裏に描かずに符号を直接処理してるらしいから、数学でもそういうのが出てくる可能性がある
26: 01/26(日)20:14 ID:FoJIvMvb(14/19) AAS
コンピュータは計算者になれるのか？
27: 01/26(日)20:22 ID:FoJIvMvb(15/19) AAS
コンピュータは者になれるのか？
28: 01/26(日)20:27 ID:Kpj5JyBQ(1) AAS
>>1
多分今のモデルでlean食わせたら部分的には数学者超える
もうそういう段階
29: 01/26(日)20:33 ID:w487CVHy(1/3) AAS
それ国家プロジェクトとしてやるべき
目の前に100%成果出る課題あるのに金注ぎ込まない馬鹿
30: 01/26(日)20:34 ID:w487CVHy(2/3) AAS
大学院生を奴隷のように使えばいい
どうせ99%は数学者にはならないんだし、leanに訓練させる過程で数学の知識と実力が身につくやも知れぬ
31: 01/26(日)20:38 ID:FoJIvMvb(16/19) AAS
イキルミジンコ
32: 01/26(日)20:38 ID:w487CVHy(3/3) AAS
既存の枠組で推論して解けるなら、んなもん自動で解けるべき。それは英語の翻訳みたいなものであって、AIがそれを完璧に出来たからって数学者の立場を脅かすものにはならない。
33: 01/26(日)20:46 ID:FoJIvMvb(17/19) AAS
劣等感の塊
34: 01/26(日)20:52 ID:FoJIvMvb(18/19) AAS
落ちこぼれに嫉妬は醜い
35: 01/26(日)21:02 ID:CsAEzBaB(1) AAS
いつもより威勢がいい
よほどこの話題が気に障るみたいだ
36: 01/26(日)23:09 ID:FoJIvMvb(19/19) AAS
マジレスするだけ無駄
37: 01/27(月)06:35 ID:+onU+WIq(1/2) AAS
ここまで反論無し、終了
38(1): 01/27(月)07:30 ID:B4RCfLDZ(1) AAS
学部の数学をLeanのライブラリにするのさえ一大プロジェクトなので、その先はまだ夢だな
39: 01/27(月)11:05 ID:LfIGD5Yp(1) AAS
ID:FoJIvMvb
こいつなに？障害でもあるのかね
40: 01/27(月)11:22 ID:+onU+WIq(2/2) AAS
自己紹介乙
41: 01/27(月)21:07 ID:txaulU2J(1) AAS
>>38
住所とかも正規化せずに自然言語処理に任せるみたいだし、
数学も、正攻法ではなくただの文章生成で終わりそう
ネットで学習できる情報しか生成できない
42: 01/27(月)21:12 ID:c8yni1a0(1) AAS
Googleは地図作るのに世界中を撮影して回ったのに
そういう地道な努力を厭うからいけないんだよ
43: 01/28(火)06:24 ID:eZbjyZVs(1) AAS
>ネットで学習できる情報しか生成できない
ガロア理論までくらいなら
高校生がネットで学習できるらしい
44: 01/28(火)17:22 ID:OxuTGZqt(1/2) AAS
性能はChatGPTよりも上…無料の中国製AI「DeepSeek」がヤバすぎる！東大の入試問題を解かせてわかった「驚異の実力」
外部ﾘﾝｸ:news.yahoo.co.jp
45: 01/28(火)17:59 ID:OxuTGZqt(2/2) AAS
数オリの問題でOpenAI o1 vs DeepSeek(R1)
外部ﾘﾝｸ:zenn.dev
46: 02/19(水)08:08 ID:MZjBwc7x(1) AAS
てん
47: 02/22(土)13:05 ID:w0spfxwz(1) AAS
日本の大学の数学研究の国際的な評価は近年やや下降気味だと言われています。これは、研究資金の減少、人材流出、大学の研究環境の変化などが影響していると考えられます。
1. 研究資金の減少
日本の研究費（特に基礎研究への投資）は、1990年代や2000年代と比べて減少傾向にあります。大学の運営費交付金も削減されており、研究者が安定した資金を得るのが難しくなっています。その結果、長期的な視野での数学研究が困難になっている面があります。
2. 若手研究者の減少と人材流出
日本国内で数学の研究を志す若手研究者が減少しており、また、優秀な研究者が海外（特にアメリカやヨーロッパの大学）に移るケースが増えています。海外の方が研究環境や待遇が良いため、国内に優秀な研究者を留めるのが難しくなっています。
省4
48: 02/22(土)13:20 ID:IxyM9NUv(1) AAS
日本の大学の環境と、優秀な人材が海外流出してることが問題なら、
イランのテヘラン大学学士からイギリスに渡ってフィールズ賞を得たコーチェルビルカーのような日本人がいないのはなぜ？
49: 02/22(土)14:36 ID:LdjAGbly(1/2) AAS
今の数学は3年生のころから、（人によってはもっと前から）、特定の分野にだけ焦点を絞って
そればかりを勉強してほかの分野になるべく関心を持たずに、大学院に行って論文をさっさと
数こなして書いて博士号をとることが職を得る為に必要となるようだ。
50: 02/22(土)17:56 ID:VPPt4ZQg(1/2) AAS
いい傾向ではないが、こういう見方はありうる
51: 02/22(土)17:56 ID:VPPt4ZQg(2/2) AAS
いい傾向ではないが、こういう見方はありうる
52: 02/22(土)19:34 ID:LdjAGbly(2/2) AAS
代数は代数ばかりをやる。解析は解析だけをやる。。。あるいはもっと狭く特定の領域だけを。
流行りのテーマだと関心を持っている人が多かったり、掲載されやすかったり、引用されやすい
ので、みなが流行り物に向かう。大勢が参加して金鉱を掘ると掘り尽くすのも早い。それまでに
パーマネントで良い職位を得ていれば、かつての華やかだった分野がほとんど廃れていても、
停年までは居られる。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.374s*