当前标签：陶哲轩
陶哲轩在菲尔兹颁奖现场：数学迎来百年新危机
数学界正面临前所未有的“消化不良”危机：菲尔兹奖得主陶哲轩警告，AI几分钟就能生成博士级论文证明，导致数学从“证明稀缺”时代骤然进入“证明过剩”时代，人类数学家成为知识体系的最大瓶颈。
陶哲轩12年前的预言，现在AI帮他兑现了
陶哲轩12年前预言“未来可用形式化语言写论文”被视为天方夜谭，如今他亲证Lean4与Copilot揪出论文错误，并预言AI将在10年内独立提出数学猜想甚至获得菲尔兹奖。
陶哲轩First Proof二期结果出炉，最低8美元1题，AI烧出7道论文级解法
陶哲轩主导的First Proof二期评测结果揭晓，AI系统以最低8美元一道题的成本，成功解出7道达到论文发表标准的世界级数学难题。