The LLM did not solve it. It's not intelligent. Humans did, using a statistics-based computational tool (the LLM). We don't even know all the details of how the tool was used, we haven't been allowed to use the exact tool they used ourselves, we don't know much it really cost in dollars, energy, or time, etc. etc.
Because it's mostly not true. It is likely that it used the professors work, but the professor did not have a solution. It came up with new insights that solved the problem. Even the humans from the professors side said so.
rahidz · · focus · HN ↗
Also >July 4th, 2023
krupan · · focus · HN ↗
claytongulick · · focus · HN ↗
tripledry · · focus · HN ↗
pixl97 · · focus · HN ↗
claytongulick · · focus · HN ↗
These two statements appear contradictory.
I simply said that it may have trained on a NYU professor's work.
Work that the professor did not believe he was releasing for model training purposes. That feels worthy of mention.