Didn't see a way to try Grok 4 for free, so tried Chat GPT:

Given triangle ABC, by Euclidian construction find D on AB and E on BC so that the lengths AD = DE = EC.

Chat GPT grade: F.

At X, tried Grok 3: Grade F.