points by adamddev1 23 hours ago | 0 comments
This is a really important point. Honest question, have we ever seen LLMs doing or creating something truly novel or innovative? I mean they can patch together proofs (or functions/programs - same thing via Curry-Howard) by broad searching existing lemmas they can piece together, but create something truly novel and insightful? That seems to be the limit?
I like to believe we humans still retain the ability to think completely outside the box and discover new phenomena and understanding aided by these pattern machines. In other words, these models are great at running combinations through patterns and we humans go one level higher and add those new patterns for them to accelerate us even more. We determine what to solve and the LLMs help us solve it faster.