全网惊了！陶哲轩带AI下场，33分钟「盲证」数学
全网惊了！陶哲轩带AI下场，33分钟「盲证」数学
菲尔兹奖得主陶哲轩再放大招，仅数天时间，开源的概念验证工具借助Copilot迭代至2.0版本。而在最新视频中，他甚至用AI在33分钟「盲做」形式化一页证明，效率惊人。
数学大神陶哲轩携手ChatGPT，打造了开源项目——数学概念验证工具，专攻任意正参数的不等式证明。
没想到，才几天的时间，这款工具迎来2.0版本惊艳升级！
18
0
2025-09-04
