Har precis slutat jobbet och provat Grok-4 på ett grundutbildning topologi problem. Det tog 9 minuter att tänka och sedan gav jag självsäkert ett rent, plausibelt, men helt felaktigt svar 😅 Tro inte att den här kvalificerar sig som "skickligt kontradiktorisk". AI-modeller krossar riktmärken – men ligger fortfarande långt fram för verklig matematisk AGI.