[mxfh]

That's the whole point of LLM, connecting all the missing dots no single human could possible keep in working knowledge, even just for a subfield of mathematics alone. The era of polymaths is over for a reason, so we build a new one to tackle that. If LLMs can build on top of that once all remaining ones are found or if this stalls is yet to be proven, but humans stalled out there too.