3 ms·
I've seen one Twitter thread from a mathematician who used an llm to come up with a new math result. Both coming up with the theorem statement and a unique proo
by edanm 2y ago
I've seen one Twitter thread from a mathematician who used an llm to come up with a new math result. Both coming up with the theorem statement and a unique proof,iirc.
Though to be clear, this wasn't a one shot thing - it was iirc a few months of back and forth chats with plenty of wrong turns too.
- Jensson 2y agoThen he used it as a random text generator, LLM is by far the most configurable and best random test generators we have. You can use that to generate random theorem noise and then try to work with that to find actual theorems, still doesn't replace mathematicians though.
- edanm 2y agoI think we should let the professional mathematician who says the llm helped him be the judge of how and why it helped. Found the thread: https://x.com/robertghrist/status/1841462507543949581?s=46&t=e9Ot77YCywByrF_RWUnwnA https://x.com/robertghrist/status/1841462507543949581?s=46&t... From the thread: > AI assisted in the initial conjectures, some of the proofs, and most of the applications it was truly a collaborative effort > i went back and forth between outrageous optimism and frustration through this process. i believe that the current models can reason – however you want to interpret that. i also believe that there is a long way to go before we get to true depth of mathematical results.