There's no clean line between a collection of theorems and a theory. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

Davidzheng 52 days ago | parent | context | favorite | on: Ten advances in mathematics and theoretical comput...

There's no clean line between a collection of theorems and a theory.

artninja1988 52 days ago [–]

I 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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact