> The Navier-Stokes proof is 57 pages of very dense math
> how poorly the cutting edge models do with being concise
LLMs solve a Millennium prize problem. People complain the proof is too long, within a week. What a time to be alive!
> how poorly the cutting edge models do with being concise
LLMs solve a Millennium prize problem. People complain the proof is too long, within a week. What a time to be alive!
It is the mechanism the LLMs use to do it. They seem to accel right now at quantity of work over quality of work. I'd be willing to wager there is a much simpler way to achieve the proof.
I've also seen this with code, LLMs do get the job done, but they tend to write 10-100x more code than humans to get the same job done. Still a massive value gain because they can write that much code extremely quickly.