数学でAIは終わったと言われるけど

人文系とか実験系とかの方がやばくね？

AIと親和性の高い分野のほうがAIで終わる可能性は低い

数学の場合
素人がAIに丸投げしようが、プロが自力で解こうが同じ価値
内容が正しいかどうかは機械的に検証可能

人文社会科学の場合
素人がAIに丸投げしたものに、ほとんど価値は無い
論文数が爆発的に増えて誰も読めないし、読んでも価値があるか判断不可能
プロが書いた論文も、AIに丸投げして量産しただけかも知れない

生命系とか捏造論文のオンパレードだろ

20年で1本しか論文を書いてない教授が、どういうわけか今年になって急に20本も論文を書き出す。それが世界中で起こる
数学ならそれをやられても何のダメージも無いが、人文や生命系では学問のエコシステムそのものが崩壊する

小林秀雄とか今評論書いたらAI丸投げゴミ認定だろ

糞スレも終わったな

芸術なんか情報食ってるだけ
佐村河内とか見れば明らか

スレタイ数学とAI逆では

ｗｗｗ

どっかのスレにも書いてあったが、AIが数学の問題を無尽蔵に解いても、単に「命題は正しいけど証明が理解できない」という研究課題が増えるだけ。人体のしくみなどと同じ

抽象化し過ぎた現代数学は、本当はそれを扱っている数学者の心のなかにだけは物理現象や工学現象があったとしても、
あるいは抽象化する前の問題の起源が物理や工学などから由来していたとしても、ひたすら抽象化して記号で塗り固めて、
理解の手がかりとなりうる記述の冗長性を極限まで削り、図もグラフも極力避け、論理といろんなジャーナルの論文に
散らばっている定理やレンマに言及するだけでそれらの利用をどんどんと重ねて書かれた理論や論文は、もはや他分野
（物理や工学）の人間にとってはまるで意味がとれない暗号文章のような状況で、ディスコミュニケーションに陥って
いる。そうして抽象数学を推進する側は、異分野からの雑音や関与を無視して（しばしば数学的定式化は理想化が極度
に達していて物理や工学などから来る現実性を無視していたりもするので）どんどんと論文の数を量産しやすいことを
重視して推進されてきた。

今後にAIたちがどんどんと、なぜそんなものを考えるのか人間（数学者に）さっぱり判らないし、記号の羅列で膨大過ぎて
読みほどけないけれども、正しいと証明される定理やそのような論文が膨大に人間の理解可能な速度を超えて濫造されるの
だとしたら、その状況はこれまでの数学側が異分野の人間とは縁を切ってどんどんと抽象化と理想化を進めて、異分野の人
間には内容の意図が読めなかったり何が書いてあるのかさっぱり判らない状況で疎遠になっていったのと同じ状況が反復さ
れるだけなのかもしれない。かくしてサイエンスの歴史は再演す。

プログラマは昨日自分が書いたコードの意図が他人より理解しがたいことがある。
別に再帰的なアルゴリズムに限らずセルフ難読化された他者性なのだ。

チャイティン的な見方だと

エレガントにプログラムすればするほどランダム列と見分けがつかなくなる。

全ての証明は有限長の記号列で記述できるとする。それは記号を文字コードで表すコーディングをすれば、
一つの巨大な二進整数になる。
また、ある命題Pに対する証明が存在するとすれば、それもまた非負の整数であるから、
非負整数の集合N＋から、その要素である整数ｎであってそのｎがPに対する証明の記述と
なっているものを取り出せば良い。数学命題に対する証明行為はそれで終わりになる。
そのようなｎが存在するならば、整数0から始めて1ではどうか2ではどうか3ではどうかと
1つずつｎを増やしてそれに対応する証明記述が存在して、Pの証明になっているかを
調べて行けば、Pの証明が存在するならばいつか必ずそれに到達できる。
しかしこれは猿にタイプライターを叩かせて、ハムレットの原稿ができてくるのを
待つような話である。しかし有限ステップで証明ができそうだろう。
証明の記述にはLEANによる表現を使っても良いわけだ。

>>1
AIで数学は終わったと言われるけど

AIが解いたかもしれない「ナビエストークス方程式の解の存在とその滑らかさ」について【ミレニアム懸賞問題】
https://youtu.be/-KXaJ9SW4QA?si=KToi76ubu1Jv6-UZ

>>14
長い文章にはアブストラクトを添えよ

>>14
長い文章にはアブストラクトを添えよ

AIは証明は出来るけど人間と同じ証明ルートとは限らない。より圧縮したルートを取りたがる傾向がある

人工知能が囲碁や将棋、チェスで人間が築いてきた美しいとされてきた定跡を
悉く破壊して人間の知能を凌駕した理解に苦しむルートで最強の道を発見してきてる

数学IA（チャート式）

数学はIAに始まりAIに終わる

>>20
こういうこと言ってるやつ根本的に学問や研究に向いてないよな

Lean習得ってこれからの数学科では必須になってくるんだろうか
TeX習得と同じようなかんじで

LeanももうAIで自動化されてるから

終わったのはタオみたいな処理能力学習能力が高くて問題解くのが得意だった人たちだけだろ
数オリ型の数学者は今後評価されなくなるだろうね

AIが問題を解くだけでなく
新たな問題を見つけて研究を進めることができるようになったなら
AIが意思を持ったと言っていいのではなかろうか

>>27
つまりそのインパクトは数学界だけにとどまらないだろうということだ