AI証明の検証力はこの一月で一気に人間を上回ったわ
今後は投稿論文はまずAstraやOpusに食わせるのが常識になるだろうな
過去の研究不正がボロボロ出てきて、数学者はますますピンチにw