关于OpenAI Astra数学结果的八个常见误解

Gary Marcus 发文指出，OpenAI 的 Astra 在数学上的成功并不代表通用能力。数学依赖符号验证和合成数据，容易刷分，但现实世界无法模拟。Astra 只擅长某些数学题，并非全领域领先，其证明写作能力也不及题目求解。他质疑 Astra 能解决 PDF 数字提取等现有模型难题。Marcus 强调，Astra 不是奇点，也不意味着自动化科学发现时代到来。