AI正在"接管"数学领域

OpenAI近日宣布，其内部模型Astra成功解决了10个长期悬而未决的数学难题，涵盖球体堆积、纠错码、网络结构、量子博弈论等多个领域。这一突破令数学界既兴奋又忧虑：AI或将加速数学发现，但也可能冲击学术就业、压缩研究生...