純粋・応用数学・数学隣接分野（含むガロア理論）19

[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）19 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

607: １３２人目の素数さん [] 2025/03/18(火) 16:21:00.92 ID:HdIebqJ1

>>591 補足
(引用開始)
1）数学でも過去に、コンピュータの活用が起きた
　古くは数値計算で、πの少数点以下 数十年かけて500桁計算した人がいたが
　いま、コンピュータで1兆桁以上
　偏微分方程式も 数値解法が進歩
2）証明で、昔 一松信先生が 4色問題の証明がコンピュータを使ったことを指して
　これから、コンピュータを使う証明が出てくるだろうと予言したが
　その後、有限単純群の分類、ケプラー問題（3次元最密充填）などが出ている
　数式処理や、群論ソフトなどなども出た
3）そしていま、AI数学革命が始ったのです
おサルさんを 遙かに超える AI数学 “考える”AI、o1とo3-mini”
おサルさんみたいな 中途半端のオチコボレさんは、要らないってよｗｗｗ　；ｐ）
(引用終り)

＜補足＞
・過去、神戸大数学科が熱心に数学ソフトの研究をしていた、高山先生とか
　一方で、商業ソフトで MathematicaとかMATLABとかいろいろあって
　また、Pythonとかフリーソフトなどもいろいろと・・・
・で、例えば Mathematica に ”o1とo3-mini”などGPT AI系を組み込めば
　おそらくは、いま学部で教えている教科の練習問題くらいは、いますぐにでも解けるだろう
（論理構造としては、学部教科の練習問題より 東大入試の方がヒネリが入っている）
・もちろん、人間が院試を受ける場面とは違う。院試の場面は、カンニングなしだが
　”o1とo3-mini”などGPT AI系は、ネットに繋がっているから、岩波数学辞典とMathematicaとを
　使って、解答しているみたいなものだ
（3以上の高次の代数方程式とか、微分方程式、偏微分方程式とか、なんでも解いてくれるだろうさ）

つまり、おサルさんみたく「おれ数学科！ おれ 落ちコボレだがｗ、おまいら非数学科より上」ってセリフ
それだけじゃあ”通用しない時代が来ました！！”ってことじゃね？ｗｗｗ ；ｐ）

(参考)
https://www.math.kobe-u.ac.jp/home-j/index7-1-2.html
高山 信毅
神戸大学理学部数学科
研究テーマ：数学ソフトの開発、超幾何関数の研究
https://www.wolfram.com/mathematica/
Wolfram Mathematica
https://jp.mathworks.com/products/matlab.html
MATLAB
https://ja.wikipedia.org/wiki/Python
Python

http://rio2016.5ch.net/test/read.cgi/math/1725190538/607

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 3.058s*