alt Hacker News> All of the latest big proofs were driven by professional human mathematicians steering and priming the models, yes.
False, navier stokes was solved in one shot without steering
> All of the latest big proofs were driven by professional human mathematicians steering and priming the models, yes.
False, navier stokes was solved in one shot without steering
According to OpenAI, but they haven’t exactly been transparent about what information the prompt entailed.
The bigger question is to what extent did expert mathematicians metaprompt the model with fruitful solution strategies through their sessions finding their way into training data. Answering that question definitively is kind of important for understanding the models contribution/capability. But I feel like people want to turn this into a debate about priority and credit which is sort of secondary