Apparently GPT-4 can't yet solve Bongard problems: https://twitter.com/programaths/status/1622324503182249985
a Schelling point for those who seek one