北大董彬谈AI与数学未来，安德森猜想被证伪，数学家应回归提出新问题的初心 北京大学董彬教授指出，AI正深刻改变数学研究范式。其团队研发的Rethlas-Archon系统在无人干预下否定了悬置十余年的安德森猜想，并完成近两万行Lean ... 2026年10月16日 人工智能 #OpenAI #AI数学 分享海报
