Comment Comment by NitpickLawyer > The Navier-Stokes proof is 57 pages of very dense math> how poorly the cutting edge models do with being conciseLLMs solve a Millennium prize problem. People complain the proof is too long, within a week. What a time to be alive! parent NitpickLawyer 1 month ago
> 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!