原文中文,约2700字,阅读约需7分钟。
📝
内容提要
ChatGPT三个月内连干翻三个百年数学猜想,人类数学家是不是该收拾东西回家种地了? AI工具在2026年夏天狂飙突进,从推翻厄尔多斯单位距离猜想,到解决格罗滕迪克60年群论难题,再到反杀雅可比猜想,数学家们从震惊到麻木只用了三周。大语言模型加定理证明器这套组合拳,正在把数学发现变成流水线作业,而你还在用手算微积分? 反例轰炸机已经起飞,人类还在停机坪上发呆...
🏷️