推文
@tonnyzhou · 2026-10-12 02:03
数学证明要烂大街了。陶哲轩今天发文：AI 让数学证明变得泛滥，建立在“证明稀缺”上的数学 1.0 时代即将落幕。导火索是 OpenAI 宣布解出了纳维-斯托克斯——千禧年七大难题之一。当机器一天能产出无数证明、人类验证都跟不上，数学的价值就从“做出证明”转向“提出好问题”。#AI科普
曝光 26 · 评论 1 · 点赞 0 · 书签 0 · 曝光/时 5.442851298854745
@tonnyzhou · 2026-10-12 02:03
数学证明要烂大街了。陶哲轩今天发文：AI 让数学证明变得泛滥，建立在“证明稀缺”上的数学 1.0 时代即将落幕。导火索是 OpenAI 宣布解出了纳维-斯托克斯——千禧年七大难题之一。当机器一天能产出无数证明、人类验证都跟不上，数学的价值就从“做出证明”转向“提出好问题”。#AI科普
曝光 26 · 评论 1 · 点赞 0 · 书签 0 · 曝光/时 5.442851298854745