2 ms·
There's no clean line between a collection of theorems and a theory.
by Davidzheng 2mo ago
There's no clean line between a collection of theorems and a theory.
- artninja1988 2mo agoI mean doing something like Grothendieck when he redeemed algebraic geometry or Galois when he invented group theory. We haven't seen that at all from LLMs.