OpenAI的Astra解决了10个数学难题 — 为何Gary Marcus称其为炒作？
openai内部astra模型解决了数学和理论计算机科学领域的10个开放问题，但批评人士认为这一突破被过分夸大。
openai's 'astra' model generated proofs for ten major open problems in fields like quantum complexity and theoretical computer science, with researchers estimating the cost at around $2000 in api credits. while figures like noam brown tout this as a major step for scientific reasoning, commentators such as gary marcus and dean ball suggest the implications are being exaggerated. marcus argues that the capability to solve theoretical math problems does not inherently translate to general intelligence or ability to solve mundane tasks. the debate highlights a persistent disconnect between benchmark performance on specialized tasks and the broader expectations for agi.