Ask HN: What's the definition of AGI for 2025?