Gary Marcus看衰OpenAI Astra：缺少细节和独立验证

Gary Marcus评论OpenAI Astra时承认其演示“显然令人印象深刻”，但认为数学问题比其他问题更依赖形式验证和合成数据。他质疑Astra在开放式真实世界问题中的可靠性，并指出目前不知道其是否使用Lean等工具。Marcus表示尚未看到问题尝试数量等细节，也没有独立验证。他回顾了此前社区对未试用模型的狂热后常出现失望的情况。