Elon Musk
@elonmusk
RT
@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.
@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.
@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.