> 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.
Found the thread: 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.