これはバート・トタロ氏によるゲスト投稿です。このブログ記事は、当初異なるファイル形式で書かれ、AIによって変換されました。— T. 数学者の皆さん、奇妙な時代です。AI企業がホッジ予想に関する新しい事実を証明するために、莫大なリソースを使い果たす可能性があるようです。私は[...]