Net van mijn werk gekomen en heb Grok-4 geprobeerd op een onderbouw topologieprobleem. Het duurde 9 minuten om na te denken en toen gaf het zelfverzekerd een schoon, plausibel, maar totaal verkeerd antwoord 😅 Denk niet dat dit kwalificeert als "vaardig vijandig." AI-modellen verpletteren benchmarks — maar er is nog een lange weg te gaan voor echte wiskundige AGI.