OpenAI Astra explained..
OpenAI's new model, Astra, reportedly solved 10 open problems in mathematics and theoretical computer science, producing a 26-page lean-certified proof for high-dimensional sphere packing. This challenges criticisms that LLMs are just stochastic parrots and highlights a shift where humans guide and verify AI-generated work, with OpenAI spending about $2,000 in compute to solve these problems. The video discusses implications for AGI, noting that while impressive, these achievements are within well-defined domains and still require human involvement in problem selection and verification.