盲证

全网惊了！陶哲轩带AI下场，33分钟“盲证”数学

陶哲轩的这次实验，远不止一个证明的完成。它让我们看到，AI正在重塑研究范式。参考资料：GitHub - teorth/estimates: Code to automatically prove or verify estimates in analysish

菲尔兹奖得主陶哲轩再放大招，仅数天时间，开源的概念验证工具借助Copilot迭代至2.0版本。而在最新视频中，他甚至用AI在33分钟「盲做」形式化一页证明，效率惊人。