4 ms·

Are you talking about LLMs or symbolic manipulation systems? The latter are certainly very logical, the former... not so much.

• RA_Fisher 3mo ago
  An LLM disproved a famous 80-year-old conjecture.