登录

当前标签：形式化语言

陶哲轩12年前的预言，现在AI帮他兑现了

陶哲轩12年前的预言，现在AI帮他兑现了

陶哲轩12年前预言“未来可用形式化语言写论文”被视为天方夜谭，如今他亲证Lean4与Copilot揪出论文错误，并预言AI将在10年内独立提出数学猜想甚至获得菲尔兹奖。