AI正在解决数学难题，但这究竟是真正的推理突破，还是只是一种"更高级的游戏"？

a16z合伙人Martin Casado与Steven Sinofsky深度对谈：AI在数学领域的突破是真正的推理飞跃，还是仅仅擅长解轴对称游戏？从创新者困境到"资本替代工程师"的产业转变，两位技术老兵给出了颇具挑战性的...