AI 影响之一是让业余数学家也能做出贡献。 数学下一次文化转变在于 AI 生成的证明是否会被接受。 很快会有个 AI 聊天机器人坐在你旁边。当你完成证明时,他可以回答问题,帮你解释每一步。 ...
【新智元导读】历时三周,陶哲轩成功地用 AI 工具完成了形式化多项式 Freiman-Ruzsa 猜想证明过程的工作。 ...

关注我们的公众号

微信公众号