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