北京大学 on Text Matrixhttps://txtmix.com/tags/%E5%8C%97%E4%BA%AC%E5%A4%A7%E5%AD%A6/Recent content in 北京大学 on Text MatrixHugozh-cnTue, 21 Jul 2026 20:06:14 +0800数学还能学吗？北大董彬与 AI 时代的无尽前沿——甲小姐对话反写https://txtmix.com/posts/video/dongbin-pku-ai-for-math-infinite-frontier/Thu, 02 Jul 2026 16:40:00 +0800https://txtmix.com/posts/video/dongbin-pku-ai-for-math-infinite-frontier/<blockquote> <p><strong>阅读目标</strong>：在国际 AI for Math 的真实坐标系里（AlphaProof / AlphaGeometry / AlphaEvolve、Axiom、Lean），读懂董彬这段访谈抛出的&quot;无尽前沿&quot;——国内&quot;AI 自主证明&quot;站在哪、数学家会不会沦为&quot;鉴赏家&quot;、以及机器能自证猜想的年代普通人还要不要学数学。</p>