@rohanpaul_ai: “我确实看到越来越多大规模生产的数学。” ~ 陶哲轩 AI 让这变得可扩展。将证明写作转…

X AI KOLs Following 新闻
ai-mathematics theorem-proving terry-tao scalable-proofs ai-research

摘要

陶哲轩评论 AI 使得大规模生产数学成为可能，将证明写作转化为可搜索的问题：从目标生成数千个迷你引理，然后用廉价检查器过滤掉大部分，只保留少数有效的。

“我确实看到越来越多大规模生产的数学。” ~ 陶哲轩 AI 让这变得可扩展。将证明写作转化为搜索问题：它会从目标生成数千个迷你引理，然后用廉价检查器杀死大部分，只保留少数有效的。 https://t.co/BHb5jdBpXy
查看原文
查看缓存全文

缓存时间: 2026/05/25 18:42

“我确实看到越来越多大规模生产的数学。”

~ 陶哲轩

AI让这变得可扩展。它将证明写作转化为搜索问题：从一个目标生成数千个小引理，然后廉价的检查器淘汰大多数，只保留少数可行的。 https://t.co/BHb5jdBpXy

相似文章

Terence Tao on How AI Is Changing Mathematics

YouTube AI Channels

数学家陶哲轩认为AI正在降低数学研究中的认知摩擦，使实验和大胆想法成为可能，并有望成为主流工具；他还预测未来数学发表将分享探索路径而非仅最终结果。