Some signal: Daniel Litt, the mathematician who seems most clued-in regarding LLM use, still doesn’t think there have been any instances of LLMs coming up with new ideas.
I’m currently watching this space closely, but I don’t think anything so far has violated my model. LLMs may end up useful for math in the “prove/disprove this conjecture” way, but not in the “come up with new math concepts (/ideas)” way.
Ah, though perhaps our cruxes there differed from the beginning, if you count “prove a new useful conjecture” as a “novel insight”. IMO, that’d only make them good interactive theorem provers, and wouldn’t bear much on the question of “can they close the loop on R&D/power the Singularity”.
Some signal: Daniel Litt, the mathematician who seems most clued-in regarding LLM use, still doesn’t think there have been any instances of LLMs coming up with new ideas.
I’m currently watching this space closely, but I don’t think anything so far has violated my model. LLMs may end up useful for math in the “prove/disprove this conjecture” way, but not in the “come up with new math concepts (/ideas)” way.
Ah, though perhaps our cruxes there differed from the beginning, if you count “prove a new useful conjecture” as a “novel insight”. IMO, that’d only make them good interactive theorem provers, and wouldn’t bear much on the question of “can they close the loop on R&D/power the Singularity”.