RT SuperPlayboy 🇮🇱🇧🇷 (@plato_philos)@PI010101 Do you really think grok 4.20 is good? I've been testing it , Visual ability is flawed. I was looking at logic tests, and I'm not able to create difficult enough. However, proving theorems—with theorem provers—is quite difficult with it; there soo many syntax errors. ...