
AI數學能力突飛猛進,數學家面臨存在危機——協作還是被取代?
AI 在數學領域的突破正動搖數學家的職業認同。Google DeepMind 的 Aletheia 系統自主產出可發表的博士級研究,OpenAI 推翻組合幾何難題,大型語言模型與證明助手的結合加速形式化進程。海德堡桂冠論壇上,年輕數學家感受到明顯的「終結感」,而學界分裂為三派:務實的答案優先派、人工智能工具論派,與強調人機協作的未來主義派。數學究竟為何而存在——答案還是理解——成為這場危機的核心問題。
來源:IEEE Spectrum










