AIと数学

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

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

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