标签 > Big Math：当AI成为数学的先知，数学将何去何从？

Big Math 代表的新一代数学推理大模型，已经可以快速生成猜想、构造证明、寻找反例，被不少人称作数学领域的先知，能在短时间批量产出数