AIと数学

昨年、Gemini DT IMOやDS Math V2が格安で提供された時に
既にこうなってたんだけどね
認識が数学界隈に広まるのは遅かった

ＡＩ以前から大学で数学を研究する方が、在野で個人で研究するよりも有利だったからね。
よほどの財力を持っていれば話は別だろうけれども。何しろ過去のジャーナルの論文への
アクセスをちょっと前まで一般人では持てなかった。

引用で済ますべきことまでだらだら書いて
「完全な証明」にしようとするのは何とかならんのかこれ
剽窃だろ

>>436
Open AIが叩かれてるのてそういう側面もあるんよね
ぶっちゃけGoogleやAlibabaなんかもこういうの出来たけど、AIコーディング1本足打法じゃないし、目的違うし、みっともないしでやらんかっただけで

>>427

AI未満の意見では？

AIで作った証明をarXivに投稿するなら、AIが作らない証明もセットで出せよ

略証を説明するだけで細部が綺麗な文章になるのは楽しい
勝手に何か書かれるのは気分最悪

arxivが本数制限をすれば、それをビジネスチャンスだと思ってbrxiv とか crxiv などが台頭してきて、ますます混乱を深めるかもしれない。

https://www.ox.ac.uk/news/2021-12-01-machine-learning-helps-mathematicians-make-new-connections-0

ようはこういう風な使用法が数学界の発展にとって重要なんだろ、と
単純に解くだけなら、意味不明なジャーゴン並べてる可能性かてあるし、将来新たな数学へつながらんじゃないかという
AI使用に肯定的な人もOpenAIの発表には否定的なのもそのため、まあアルトマンが金周りやばすぎて起きた悲劇ともいえようｗ