全网惊了！陶哲轩带AI下场，33分钟「盲证」数学
全网惊了！陶哲轩带AI下场，33分钟「盲证」数学菲尔兹奖得主陶哲轩再放大招，仅数天时间，开源的概念验证工具借助Copilot迭代至2.0版本。而在最新视频中，他甚至用AI在33分钟「盲做」形式化一页证明，效率惊人。
来自主题: AI技术研报
8938 点击 2025-05-12 12:24
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
菲尔兹奖得主陶哲轩再放大招，仅数天时间，开源的概念验证工具借助Copilot迭代至2.0版本。而在最新视频中，他甚至用AI在33分钟「盲做」形式化一页证明，效率惊人。