最近,某人工智能(AI)企业发布大量由AI开展的数学研究成果——700多篇数学论文,涉及300多个数学问题的证明研究,覆盖代数、几何、概率等众多领域。一场大讨论随之而来:这些成果算谁的?都能得到验证吗?AI的边界在哪里?数学家还能做什么?