Gary Marcus：Astra虽惊人，真实可靠性仍待验证

Gary Marcus对OpenAI Astra的演示表示惊艳，但指出数学问题与其他问题不同，更适合形式化验证和合成数据。他认为该模型在开放式真实世界任务中的可靠性尚未可知，且未知是否依赖Lean等正式工具。Marcus质疑目前缺少具体实验细节，例如尝试了多少问题、成功多少，也没有独立验证。他提醒，过去社区多次对未亲测模型狂热，随后出现分歧或失望。