Právě jsem odešel z práce a vyzkoušel Grok-4 na vysokoškolském problému topologie. Trvalo mu 9 minut přemýšlet a pak jsem s jistotou dal čistou, věrohodnou, ale zcela špatnou odpověď 😅 Nemyslete si, že se tento případ kvalifikuje jako "dovedně nepřátelský". Modely umělé inteligence drtí benchmarky – ale pro skutečnou matematickou AGI jsou stále daleko vpředu.