如何看待 Tsimerma 认为不到两年 ai 的数学能力就彻底超越人类数学家？

摘要

近期Tsimerma提出一个引发热议的观点，认为不出两年AI的数学推理能力就会全面碾压人类数学家。这个判断基于当前大模型在定理证明和符号计算上的爆发式进步，比如AlphaProof已在IMO竞赛中接近金牌水平。尽管短期内彻底超越还存在争议，但该预测迫使学界重新思考数学研究的方式以及人类在创造性领域的独特价值。对科研人员而言，这既是对职业前景的警醒，也预示着AI辅助证明工具可能重塑未来的数学教育。