对谈 Bartosz Naskrecki：深挖 AI 在数学中的当前能力边界

播客访谈 Bartosz Naskrecki，围绕 AI 在数学领域的当前能力边界展开深度对话，他被认为是当今最了解 AI 数学能力现状的人之一。访谈者称从这场对话及其会议演讲中学到很多，内容适合想了解 AI 数学推理能力前沿的读者。