视频目录 / 数学导览与专题

热度排名 #1743

凯文·巴扎德：人工智能能做数学吗？

Can AI Do Mathematics? | Kevin Buzzard

把找到解题思路和交出能验证的证明分开。听巴扎德讨论时，可以追问语言模型、证明助手和数学家分别做了哪一步。

Pietro Monticone · 1 串讨论 · 热度 1.723

在此播放

讨论出处

• Hacker News · 原讨论 ↗2025-01-15 · 帖子分数 2