AIと数学

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

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

>>427

AI未満の意見では？

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

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

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