AIと数学

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

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

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

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