3 ms·A mathematician's experience proving a new theorem with AI5 points by hackinthebochs 2y agothrowaway29303 2y agohttps://arxiv.org/abs/2410.00315 https://arxiv.org/abs/2410.00315