Comment by iLoveOncall
1 hour ago
Absolutely no proof that any LLM actually found the result, and just a mention of an "internal model". Served to you by one of the biggest liars in the world.
Why would anyone believe this to be true even for a split second?
This has been an unsolved open problem for 80 years. What you're suggesting is that someone at Open AI solved this very hard math problem, but then rather than taking credit for it, falsely attribute it to AI?
The whole point of having an AI solve an unsolved problem, is to make it very clear that the insight must have come from the AI and wasn't in the training data. Sure, it's possible OpenAI had access to some math professors that solved it and then let an AI model make that the credit... but seems unlikely.
The abridged chain-of-thought from the model also serves as some evidence of LLM origin: https://cdn.openai.com/pdf/1625eff6-5ac1-40d8-b1db-5d5cf925d...