OpenAI's Astra solved 10 math problems — so why is Gary Marcus calling it hype?
openai's internal astra model solved 10 open problems in math and theoretical computer science, but critics argue the breakthrough is being oversold.
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.